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的更多內容!
推薦閱讀:
- C/C++函數的調用約定的使用
- C語言系統調用約定
- C語言三種函數調用約定_cdecl與_stdcall及_fastcall詳細講解
- VisualStudio 制作Dynamic Link Library動態鏈接庫文件的詳細過程
- C++ 如何將Lambda轉換成函數指針