C/C++函數調用的方式

來源:文萃谷 8.35K

調用函數時,計算機常用棧來存儲傳遞給函數的參數。下面是小編為大家整理的C/C++函數調用的方式,歡迎參考~

C/C++函數調用的方式

棧是一種先進後出的數據結構,棧有一個存儲區、一個棧頂指針。棧頂指針指向堆棧中第一個可用的數據項(被稱為棧頂)。用户可以在棧頂上方向棧中加入數據,這個操作被稱為壓棧(Push),壓棧以後,棧頂自動變成新加入數據項的位置,棧頂指針也隨之修改。用户也可以從堆棧中取走棧頂,稱為彈出棧(pop),彈出棧後,棧頂下的一個元素變成棧頂,棧頂指針隨之修改。函數調用時,調用者依次把參數壓棧,然後調用函數,函數被調用以後,在堆棧中取得數據,並進行計算。函數計算結束以後,或者調用者、或者函數本身修改堆棧,使堆棧恢復原裝。

在參數傳遞中,有兩個重要的問題必須要明確説明:

1. 當參數個數多於一個時,按照什麼順序把參數壓入堆棧;

2. 函數調用後,由誰來把堆棧恢復原狀。

在高級語言中,就是通過函數的調用方式來説明這兩個問題的。常見的調用方式有:

stdcALl

cdecl

fastcall

thiscall

thiscall

naked call

下面就分別介紹這幾種調用方式:

  1. stdcall

stdcall調用方式又被稱為Pascal調用方式。在Microsoft C++系列的C/C++編譯器中,使用PASCAL宏,WINAPI宏和CALLBACK宏來指定函數的調用方式為stdcall。

stdcall調用方式的函數聲明為:

int _stdcall function(int a, int b);

stdcall的調用方式意味着:

(1) 參數從右向左一次壓入堆棧

(2) 由被調用函數自己來恢復堆棧

(3) 函數名自動加前導下劃線,後面緊跟着一個@,其後緊跟着參數的尺寸

上面那個函數翻譯成彙編語言將變成:

push b 先壓入第二個參數

push a 再壓入第一個參數

call function 調用函數

在編譯時,此函數的名字被翻譯為_function@8

  2. cdecl

cdecl調用方式又稱為C調用方式,是C語言缺省的調用方式,它的語法為:

int function(int a, int b) // 不加修飾符就是C調用方式

int _cdecl function(int a, int b) // 明確指定用C調用方式

cdecl的調用方式決定了:

(1) 參數從右向左依次壓入堆棧

(2) 由調用者恢復堆棧

(3) 函數名自動加前導下劃線

由於是由調用者來恢復堆棧,因此C調用方式允許函數的參數個數是不固定的,這是C語言的一大特色。

此方式的函數被翻譯為:

push b // 先壓入第二個參數

push a // 在壓入第一個參數

call funtion // 調用函數

add esp, 8 // 清理堆棧

在編譯時,此方式的函數被翻譯成:_function

  3. fastcall

fastcall 按照名字上理解就可以知道,它是一種快速調用方式。此方式的函數的第一個和第二個DWORD參數通過ecx和edx傳遞,

後面的參數從右向左的順序壓入棧。

被調用函數清理堆棧。

函數名修個規則同stdcall

其聲明語法為:

int fastcall function(int a, int b);

  4. thiscall

thiscall 調用方式是唯一一種不能顯示指定的修飾符。它是c++類成員函數缺省的調用方式。由於成員函數調用還有一個this指針,因此必須用這種特殊的調用方式。

thiscall調用方式意味着:

參數從右向左壓入棧。

如果參數個數確定,this指針通過ecx傳遞給被調用者;如果參數個數不確定,this指針在所有參數壓入棧後被壓入棧。

參數個數不定的,由調用者清理堆棧,否則由函數自己清理堆棧。

可以看到,對於參數個數固定的情況,它類似於stdcall,不定時則類似於cdecl。

  5. naked call

是一種比較少見的調用方式,一般高級程序設計語言中不常見。

函數的聲明調用方式和實際調用方式必須一致,必然編譯器會產生混亂。

  函數名字修改規則:

  1. C編譯時函數名修飾約定規則:

__stdcall調用約定在輸出函數名前加上一個下劃線前綴,後面加上一個“@”符號和其參數的字節數,格式為_function@8。

__cdecl調用約定僅在輸出函數名前加上一個下劃線前綴,格式為_function。

__fastcall調用約定在輸出函數名前加上一個“@”符號,後面也是一個“@”符號和其參數的字節數,格式為@function@8。

它們均不改變輸出函數名中的字符大小寫,這和PASCAL調用約定不同,PASCAL約定輸出的函數名無任何修飾且全部大寫。

  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--表示指針,後面的代號表明指針類型,如果相同類型的.指針連續出現,以“0”代替,一個“0”代

表一次重複;

(4)參數表的第一項為該函數的返回值類型,其後依次為參數的數據類型,指針標識在其所指數據類型前;

(5)參數表後以“@Z”標識整個名字的結束,如果該函數無參數,則以“Z”標識結束。

其格式為“?functionname@@YG*****@Z”或“?functionname@@YG*XZ”,例如

int Test1(char *var1,unsigned long)-----“?Test1@@YGHPADK@Z”

void Test2() -----“?Test2@@YGXXZ”

__cdecl調用約定:

規則同上面的_stdcall調用約定,只是參數表的開始標識由上面的“@@YG”變為“@@YA”。

__fastcall調用約定:

規則同上面的_stdcall調用約定,只是參數表的開始標識由上面的“@@YG”變為“@@YI”。

VC++對函數的省缺聲明是"__cedcl",將只能被C/C++調用。

熱門標籤