我们知道,一个C程序由若干个函数组成,C程序的执行实际上就是函数之间的相互调用。请看下面的代码:

1 #include <stdio.h>
 2 void funcA(int m, int n){
 3     printf("funcA被调用\n");
 4 }
 5 void funcB(float a, float b){
 6     funcA(100, 200);
 7     printf("funcB被调用\n");
 8 }
 9 int main(){
10     funcB(19.9, 28.5);
11     printf("main被调用\n");
12     return 0;
13 }

main() 调用了 funcB(),funcB() 又调用了 funcA()。对于main() 调用 funcB(),我们称 main() 是调用方,funcB() 是被调用方;同理,对于 funcB() 调用 funcA(),funcB() 是调用方,funcA() 是被调用方。

函数的参数(实参)由调用方压入栈中供被调用方使用,它们之间要有一致的约定。例如,参数是从左到右入栈还是从右到左入栈,如果双方理解不一致,被调用方使用参数时就会出错。

以 funcB() 为例,假设 main() 函数先将 19.9 入栈,后将 28.5 入栈,但是 funcB() 在使用这些实参时却认为 28.5 先入栈,19.9 后入栈,那么就一定会产生混乱,误以为19.9 是传递给 b、28.5 是传递给 a 的。

所以,函数调用方和被调用方必须遵守同样的约定,理解要一致,这称为调用惯例(Calling Convention)。

一个调用惯例一般规定以下两方面的内容:
1) 函数参数的传递方式,是通过栈传递还是通过寄存器传递(这里我们只讲解通过栈传递的情况)。

2) 函数参数的传递顺序,是从左到右入栈还是从右到左入栈。

3) 参数弹出方式。函数调用结束后需要将压入栈中的参数全部弹出,以使得栈在函数调用前后保持一致。这个弹出的工作可以由调用方来完成,也可以由被调用方来完成。

4) 函数名修饰方式。函数名在编译时会被修改,调用惯例可以决定如何修改函数名。

在C语言中,存在多种调用惯例,可以在函数声明或函数定义时指定,例如:

1 #include <stdio.h>
 2 int __cdecl max(int m, int n);
 3 int main(){
 4     int a = max(10, 20);
 5     printf("a = %d\n", a);
 6     return 0;
 7 }
 8 int __cdecl max(int m, int n){
 9     int max = m>n ? m : n;
10     return max;
11 }

 

函数调用惯例在函数声明和函数定义时都可以指定,语法格式为:

返回值类型  调用惯例  函数名(函数参数)

在函数声明处是为调用方指定调用惯例,而在函数定义处是为被调用方(也就是函数本身)指定调用惯例。

__cdecl是C语言默认的调用惯例,在平时编程中,我们其实很少去指定调用惯例,这个时候就使用默认的 __cdecl。

注意:__cdecl 并不是标准关键字,上面的写法在 VC/VS 下有效,但是在 GCC 下,要使用 __attribute__((cdecl))。

除了 cdecl,还有其他调用惯例,请看下表:

调用惯例

参数传递方式

参数出栈方式

名字修饰

cdecl

按照从右到左的顺序入栈

调用方

下划线+函数名,

如函数 max() 的修饰名为 _max

stdcall

按照从右到左的顺序入栈

函数本身

(被调用方)

下划线+函数名+@+参数的字节数,

如函数 int max(int m, int n) 的修饰名为 _max_@8

fastcall

将部分参数放入寄存器,

剩下的参数按照从右到左的顺序入栈

函数本身

(被调用方)

@+函数名+@+参数的字节数

pascal

按照从左到右的顺序入栈

函数本身

(被调用方)

较为复杂,这里不再展开讨论