函式呼叫的幾個概念

2021-05-21 18:43:44 字數 3851 閱讀 8484

簡介

__fastcall、__cdecl和__stdcall都是函式呼叫規範,規定了引數出入棧的順序和方法。

被這些修飾關鍵字修飾的函式,其引數都是從右向左通過棧傳遞,被呼叫的函式在返回前清理傳送引數的記憶體棧,但不同的是函式名的修飾部分。

如果通過vc++編寫的dll欲被其他語言編寫的程式呼叫,應將函式的呼叫方式宣告為__stdcall方式,winapi都採用這種方式,而c/c++預設的呼叫方式卻為__cdecl。

如:在lib.h中,這樣宣告add函式:

int __stdcall add(int x, int y);

在應用工程中函式指標型別應定義為:

typedef int(__stdcall *lpaddfun)(int, int);

若在lib.h中將函式宣告為__stdcall呼叫,而應用工程中使用typedef int (* lpaddfun)(int,int),執行時將發生錯誤(因為型別不匹配,在應用工程中仍然是預設的__cdecl呼叫)

下面詳細說明函式呼叫的五種概念(以下內容為網路上收集,暫時未完全驗證。)

1、__stdcall 呼叫約定相當於16位動態庫中經常使用的 pascal 呼叫約定。在32位的 vc++5.0 中pascal 呼叫約定不再被支援(實際上它已被定義為__stdcall。除了__pascal 外,__fortran 和__syscall也不被支援),取而代之的是 __stdcall 呼叫約定。兩者實質上是一致的,即函式的引數自右向左通過棧傳遞,被呼叫的函式在返回前清理傳送引數的記憶體棧,但不同的是函式名的修飾部分(關於函式名的修飾部分在後面將詳細說明)。

_stdcall是pascal程式的預設呼叫方式,通常用於win32 api中,函式採用從右到左的壓棧方式,自己在退出時清空堆疊。vc將函式編譯後會在函式名前面加上下劃線字首,在函式名後加上"@"和引數的位元組數。

2、c呼叫約定(即用__cdecl關鍵字說明)按從右至左的順序壓引數入棧,由呼叫者把引數彈出棧。對於傳送引數的記憶體棧是由呼叫者來維護的(正因為如此,實現可變引數的函式只能使用該呼叫約定)。另外,在函式名修飾約定方面也有所不同。

_cdecl是c和c++程式的預設呼叫方式。每乙個呼叫它的函式都包含清空堆疊的**,所以產生的可執行檔案大小會比呼叫_stdcall函式的大。函式採用從右到左的壓棧方式。vc將函式編譯後會在函式名前面加上下劃線字首。是mfc預設呼叫約定。

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

_fastcall方式的函式採用暫存器傳遞引數,vc將函式編譯後會在函式名前面加上"@"字首,在函式名後加上"@"和引數的位元組數。

5、naked call採用1-4的呼叫約定時,如果必要的話,進入函式時編譯器會產生**來儲存esi,edi,ebx,ebp暫存器,退出函式時則產生**恢復這些暫存器的內容。naked call不產生這樣的**。naked call不是型別修飾符,故必須和_declspec共同使用。

關鍵字 __stdcall、__cdecl和__fastcall可以直接加在要輸出的函式前,也可以在編譯環境的setting.../c/c++ /code generation項選擇。當加在輸出函式前的關鍵字與編譯環境中的選擇不同時,直接加在輸出函式前的關鍵字有效。它們對應的命令列引數分別為/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++呼叫.

cb在輸出函式宣告時使用4種修飾符號

//__cdecl

cb的預設值,它會在輸出函式名前加_,並保留此函式名不變,引數按照從右到左的順序依次傳遞給棧,也可以寫成_cdecl和cdecl形式。

//__fastcall

她修飾的函式的引數將盡肯呢感地使用暫存器來處理,其函式名前加@,引數按照從左到右的順序壓棧;

//__pascal

它說明的函式名使用pascal格式的命名約定。這時函式名全部大寫。引數按照從左到右的順序壓棧;

//__stdcall

使用標準約定的函式名。函式名不會改變。使用__stdcall修飾時。引數按照由右到左的順序壓棧,也可以是_stdcall;

函式呼叫的幾個概念

左通過棧傳遞,被呼叫的函式在返回前清理傳送引數的記憶體棧,但不同的是函式名的修飾部分 關於函式名的修飾部分在後面將詳細說明 stdcall是pascal程式的預設呼叫方式,通常用於win32 api中,函式採用從右到左的壓棧方式,自己在退出時清空堆疊。vc將函式編譯後會在函式名前面加上下劃線字首,在...

函式呼叫的幾個概念 stdcall, cdecl

fastcall呼叫約定在輸出函式名前加上乙個 符號,後面也是乙個 符號和其引數的位元組數,格式為 functionname number。它們均不改變輸出函式名中的字元大小寫,這和pascal呼叫約定不同,pascal約定輸出的函式名無任何修飾且全部大寫。b c 編譯時函式名修飾約定規則 stdc...

ALV呼叫的幾個函式

轉alv的呼叫主要由以下幾個標準函式實現,所有函式的輸入輸出引數必須大寫,否則系統會出現異常中止,相關函式如下 1 reuse alv fiendcatalog merge 根據內錶結構返回fieldcat欄位結構資訊,其常用輸入輸出引數如下 exporting項 1.i program name ...