關於函式壓入棧的幾種方式

2021-04-23 14:37:40 字數 2902 閱讀 1888

被這些修飾關鍵字修飾的函式,其引數都是從右向左通過堆疊傳遞的(__fastcall的前面部分由ecx,edx傳),

函式呼叫在返回前要清理堆疊,但由呼叫者還是被呼叫者清理不一定。

1、_stdcall是pascal程式的預設呼叫方式,通常用於win32 api中,函式採用從右到左的壓棧方式,

自己在退出時清空堆疊。vc將函式編譯後會在函式名前面加上下劃線字首,在函式名後加上"@"和引數的位元組數。 int f(void *p) -->> _f@4(在外部組合語言裡可以用這個名字引用這個函式)

2、c呼叫約定(即用__cdecl關鍵字說明)(the c default calling convention)按從右至左的順序壓引數入棧,由呼叫者把引數彈出棧。對於傳送引數的記憶體棧是由呼叫者來維護的(正因為如此,實現可變引數vararg的函式(如printf)只能使用該呼叫約定)。另外,在函式名修飾約定方面也有所不同。 _cdecl是c和c++程式的預設呼叫方式。每乙個呼叫它的函式都包含清空堆疊的**,所以產生的可執行檔案大小會比呼叫_stdcall函式的大。函式採用從右到左的壓棧方式。vc將函式編譯後會在函式名前面加上下劃線字首。

是mfc預設呼叫約定。

3、__fastcall呼叫的主要特點就是快,因為它是通過暫存器來傳送引數的(實際上,它用ecx和edx傳送前兩個雙字(dword)或更小的引數,剩下的引數仍舊自右向左壓棧傳送,被呼叫的函式在返回前清理傳送引數的記憶體棧),在函式名修飾約定方面,它和前兩者均不同。__fastcall方式的函式採用暫存器傳遞引數,vc將函式編譯後會在函式名前面加上"@"字首,在函式名後加上"@"和引數的位元組數。

5、naked call。 當採用1-4的呼叫約定時,如果必要的話,進入函式時編譯器會產生**來儲存esi,edi,ebx,ebp暫存器,退出函式時則產生**恢復這些暫存器的內容。

(這些**稱作 prolog and epilog code,一般,ebp,esp的儲存是必須的).

但是naked call不產生這樣的**。naked call不是型別修飾符,故必須和_declspec共同使用。

關鍵字 __stdcall、__cdecl和__fastcall可以直接加在要輸出的函式前。它們對應的命令列引數分別為/gz、/gd和/gr。預設狀態為/gd,即__cdecl。

要完全模仿pascal呼叫約定首先必須使用__stdcall呼叫約定,至於函式名修飾約定,可以通過其它方法模仿。還有乙個值得一提的是winapi巨集,windows.h支援該巨集,它可以將出函式翻譯成適當的呼叫約定,在win32中,它被定義為__stdcall。使用winapi巨集可以建立自己的apis。

2)名字修飾約定

1、修飾名(decoration name)

「c」或者「c++」函式在內部(編譯和鏈結)通過修飾名識別。修飾名是編譯器在編譯函式定義或者原

型時生成的字串。有些情況下使用函式的修飾名是必要的,如在模組定義檔案裡頭指定輸出「c++」過載函式、建構函式、析構函式,又如在彙編**裡呼叫「c」」或「c++」函式等。

修飾名由函式名、類名、呼叫約定、返回型別、引數等共同決定。

2、名字修飾約定隨呼叫約定和編譯種類(c或c++)的不同而變化。函式名修飾約定隨編譯種類和呼叫約定

的不同而不同,下面分別說明。

a、c編譯時函式名修飾約定規則:

__stdcall呼叫約定在輸出函式名前加上乙個下劃線字首,後面加上乙個「@」符號和其引數的位元組數,

格式為_functionname@number。

__cdecl呼叫約定僅在輸出函式名前加上乙個下劃線字首,格式為_functionname。

__fastcall呼叫約定在輸出函式名前加上乙個「@」符號,後面也是乙個「@」符號和其引數的位元組數,

格式為@functionname@number。

它們均不改變輸出函式名中的字元大小寫,這和pascal呼叫約定不同,pascal約定輸出的函式名無任何修飾且全部大寫。

b、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++呼叫.

6 用法舉例

bool _declspec(dllexport)_stdcall installhook()

printf 函式壓棧方式

c語言,c 函式呼叫壓棧方式取決與編譯器。但是一般編譯器是右序壓棧的。下面介紹一下c 語言是如何右序壓棧的 如下函式 include int main 一般人會認為輸出結果是 3,4 5 可是實際結果卻是 4,3 5 為什麼呢,原因就取決於c 語言的函式壓棧方式是右序的。在比如有 int x 2 y...

棧的壓入壓出

何海濤 劍指offer 名企面試官精講典型程式設計題 九度oj 題目描述 輸入兩個整數序列,第乙個序列表示棧的壓入順序,請判斷第二個序列是否為該棧的彈出順序。假設壓入棧的所有數字均不相等。例如序列1,2,3,4,5是某棧的壓入順序,序列4,5,3,2,1是該壓棧序列對應的乙個彈出序列,但4,3,5,...

包含min函式的棧 棧的壓入 彈出序列

劍指offer 兩道關於 資料結構 棧 的題目 1.包含min函式的棧 簡要分析一下這道題,這道題做了3遍才過,踩了一些小坑 看看示例 得到了規律,那麼關鍵部分的 實現,就在於 兩個棧 rawstack 和 minstack 和 push 方法 stackrawstack new stack sta...