在高階語言中,就是通過函式的呼叫方式來說明這兩個問題的。常見的呼叫方式有:
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 // 清理堆疊 。。。。。需要熟悉一下esp暫存器的功能,建議看一下彙編有關的書,基本都有講
在編譯時,此方式的函式被翻譯成:_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++呼叫。
函式呼叫方式
cdecl 是c declaration的縮寫,表示c語言預設的函式呼叫方法 所有引數從右到左依次入棧,這些引數由呼叫者清除,稱為手動清棧。被呼叫函式不需要求呼叫者傳遞多少引數,呼叫者傳遞過多或者過少的引數,甚至完全不同的引數都不會產生編譯階段的錯誤。stdcall 是standard call的縮...
函式呼叫方式
現代的程式語言的函式竟然有那麼多的呼叫方式。這些東西要完全理解還得通過彙編 才好理解。他們各自有自己的特點 其實這些呼叫方式的差別在主要在一下幾個方面 1.引數處理方式 傳遞順序,訪問 利用盞還是暫存器 2.函式的結尾處理方式 善後處理 如 棧的恢復由誰恢復?函式內恢復 還是呼叫後恢復 以下是理論 ...
函式呼叫方式
所謂的呼叫方式是指 在呼叫乙個函式時,約定的傳遞引數方式和平衡堆疊方式,例如 有乙個函式,它有兩個引數 xyz first,second 當我們使用stdcall呼叫方式時,也就是windows呼叫api的常見方式 又幾個函式例外 它的呼叫方式如下 x1 push second x2 push fi...