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.參數表以代號表示:

代號 類型
X void
D char
E unsigned char
F short
H int
I unsigned int
J long
K unsigned long
M float
N double
_N bool
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;
}

在這裡插入圖片描述

總結

本篇文章就到這裡瞭,希望能夠給你帶來幫助,也希望您能夠多多關註WalkonNet的更多內容!  

推薦閱讀: