C和C++的函数调用约定你知道多少

调用方式

C/C++函数有多种调用约定。

C语言：

• __cdecl
• __stdcall
• __fastcall
• naked
• __pascal

C++比C语言多了一种：

__thiscall

1. __cdecl

__cdecl调用约定又称为C调用约定，时C/C++语言缺省的调用约定。参数按照从右向左的方式入栈，函数本身不清理栈，此工作由调用者负责，返回值在EAX中。
由于由调用者清理站，所以允许可变参函数存在。

图示：

int __cdecl add(int a, int b)
{
	int c = a + b;
	return c;
}
int main(void)
{
	int x = 1, y = 2;
	int z = add(x, y);
	return 0;
}

函数本身不清理栈，此工作由调用者负责

2. __stdcall

参数按照从右至左的方式入栈，函数自身清理堆栈，返回值在EAX中。

示例：

int __cdecl add(int a, int b)
{
	int c = a + b;
	return c;
}
int main(void)
{
	int x = 1, y = 2;
	int z = add(x, y);
	return 0;
}

3. __fastcall

顾名思义，__fastcall 的特点就是快，因为它通过CPU寄存器来传递参数。他用ECX和EDX传送前两个双字(DWORD)或更小的参数，剩下的参数按照从右至左的方式入栈，函数自身清理堆栈，返回值在EAX中。

4. naked

naked是一个很少见的调用约定，一般不建议使用。编译器不会给这种函数增加初始化和清理代码，更特殊的是你不能用return返回返回值，只能用插入汇编返回结果，此调用约定必须跟_declspec同时使用。例如定义一个求和程序，如:_declspec (naked) int add(int a，int b) ;

5. __pascal

这是pascal语言的调用约定，跟_stdcall一样，参数按照从右至左的方式入栈，函数自身清理堆栈，返回值在EAX中。VS 中已经废弃了这种调用方式，因此在写VS程序时，建议使用_stdcall 代替。

6. __thiscall

这是C++语言特有的一种调用方式，用于类成员函数的调用约定。如果参数确定，this 指针存放于ECX 寄存器,函数自身清理堆栈;如果参数不确定,this 指针在所有参数入栈后再入栈，调用者清理栈。_thiscall 不是关键字，程序员不能使用。参数按照从右至左的方式入栈。

示例：

class Object
{
private:
	int value;
	int nums;
public:
	Object(int x = 0, int y = 0)
	{
		value = x;
		nums = y;
	}
	~Object() {}
	void Print()const
	{
		cout << value << endl;
	}
};
int main(void)
{
	Object obj(10, 20);
	obj.Print();
	return 0;
}

函数自身清理堆栈

对象地址放入寄存器 ECX中

名字修饰约定

1.修饰名

“C”或者“C++”函数在内部(编译和链接）通过修饰名识别。修饰名是编译器在编译函数定义或者原型时生成的字符串。有些情况下使用函数的修饰名是必要的，如在模块定义文件里头指定输出“C++”重载函数、构造函数、析构函数，又如在汇编代码里调用“C””或“C++”函数等。

修饰名由函数名、类名、调用约定、返回类型、参数共同决定 。

2.名字修饰约定随调用约定和编译种类(C或C++)的不同而变化。

1.C编译时函数名修饰约定规则

_stdcall调用约定在输出函数名前加上一个下划线前缀，后面加上一个“@”符号和其参数的字节数，格式:_functionname@number;如:_fun@4;

_cdecl调用约定仅在输出函数名前加上一个下划线前缀，格式: _functionname。

_fastcall调用约定在输出函数名前加上一个“@”符号，后面也是一个“@”符号和其参数的字节数，格式: @functionname@number。

示例：

extern "C"
{
	int __stdcall fun1(int a, int b) { return 0; }
	int __cdecl fun2(int a) { return 0; }
	int __fastcall fun3(int a) { return 0; }
}
int main(void)
{
	fun1(1, 1);
	fun2(2);
	fun3(3);
	return 0;
}

2.C++编译时函数名修饰约定规则

__stdcall调用约定：

1.以"?""标识函数名的开始，后跟函数名;

2.函数名后面以"@@YG"标识参数表的开始，后跟参数表;

3.参数表以代号表示:

PA表示指针，后面的代号表明指针类型，如果相同类型的指针连续出现，以"o"代替，一个"O"代表一次重复;

4.参数表的第一项为该函数的返回值类型，其后依次为参数的数据类型,指针标识在其所指数据类型前;

5.参数表后以"@Z"标识整个名字的结束，如果该函数无参数，则以"Z"标识结束。

示例：

extern "C++"
{
	void __stdcall fun(int a) { return 0; }
	int __cdecl fun(int a, int b) { return 0; }
	int __fastcall fun() { return 0; }
}
int main(void)
{
	fun(1);
	fun(2, 3);
	fun();
	return 0;
}

总结