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

这篇文章主要为大家详细介绍了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调用约定在输出函数名前加上一个“@”符号,后面也是一个“@”符号和其参数的字节数,格式: 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.参数表以代号表示:

代号类型
Xvoid
Dchar
Eunsigned char
Fshort
Hint
Iunsigned int
Jlong
Kunsigned long
Mfloat
Ndouble
_Nbool
PA指针

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;
}

总结

本篇文章就到这里了,希望能够给你带来帮助,也希望您能够多多关注编程学习网的更多内容!  

本文标题为:C和C++的函数调用约定你知道多少

基础教程推荐