C語(yǔ)言函數(shù)調(diào)用方式的區(qū)別

通常在使用VC進(jìn)行函數(shù)定義時(shí)會(huì)指定該函數(shù)調(diào)用方式，諸如：

int __stdcall max(int a, int b)

{

return a>b?a:b;

}

int __cdecl min(int a, int b)

{

return a

}

bool __fastcall equal(int a, int b)

{

return a=b?true:false;

}

首先，讓我們來(lái)分個(gè)類(lèi)，調(diào)用方法分為兩大類(lèi)另加一個(gè)較特殊的__thiscall.

第一類(lèi)：__stdcall類(lèi) 別名：WINAPI,CALLBACK,PASCAL。該類(lèi)特點(diǎn)是：主調(diào)函數(shù)負(fù)責(zé)參數(shù)入棧，由函數(shù)本身負(fù)責(zé)棧的恢復(fù)。

第二類(lèi)：__cdecl類(lèi) 別名：C/C++中默認(rèn)調(diào)用方式，若你定義函數(shù)未指定函數(shù)調(diào)用約定(Calling Conventions)，例如在VC6中下面兩個(gè)函數(shù)的調(diào)用約定是等價(jià)的：

int max(int a, int b)

{

return a>b?a:b;

}

int __cdecl min(int a, int b)

{

return a

}

該類(lèi)調(diào)用約定的特點(diǎn)是：由主調(diào)函數(shù)負(fù)責(zé)參數(shù)入棧，并由主調(diào)函數(shù)負(fù)責(zé)線(xiàn)的恢復(fù)。

第三類(lèi)：__thiscall 該類(lèi)比較特殊，只用于類(lèi)成員函數(shù)調(diào)用，你甚至不能強(qiáng)制指定這個(gè)函數(shù)調(diào)用約定。它是由C/C++編譯器自動(dòng)添加的。在C/C++中類(lèi)成員函數(shù)會(huì)默認(rèn)傳入一個(gè)this指針，對(duì)于此，在默入情況下，C/C++中類(lèi)成員函數(shù)通過(guò)此類(lèi)調(diào)用約定來(lái)指定this指針。

接著介紹一下__thiscall，__thiscall是關(guān)于類(lèi)的一種調(diào)用方式。

它與其他調(diào)用方式的最大區(qū)別是：

__thiscall對(duì)每個(gè)函數(shù)都增加了一個(gè)類(lèi)指針參數(shù)

class aa

{

void bb(int cc);

};

實(shí)際上bb的函數(shù)原形是void bb(aa &this, int cc);

__cdecl的調(diào)用方式介紹： C和C++缺省調(diào)用方式

例子：

void Input( int &m,int &n);/*相當(dāng)于void __cdecl Input(int &m,int &n);*/

以下是相應(yīng)的匯編代碼：

00401068 lea eax,[ebp-8] ;取[ebp-8]地址(ebp-8)，存到eax

0040106B push eax ;然后壓棧

0040106C lea ecx,[ebp-4] ;取[ebp-4]地址(ebp-4)，存到ecx

0040106F push ecx ;然后壓棧

00401070 call @ILT+5(Input) (0040100a);然后調(diào)用Input函數(shù)

00401075 add esp,8 ;恢復(fù)棧

從以上調(diào)用Input函數(shù)的過(guò)程可以看出：在調(diào)用此函數(shù)之前，首先壓棧ebp-8,然后壓棧ebp-4,然后調(diào)用函數(shù)Input,最后Input函數(shù)調(diào)用結(jié)束后，利用esp+8恢復(fù)棧。由此可見(jiàn)，在C語(yǔ)言調(diào)用中默認(rèn)的函數(shù)修飾_cdecl，由主調(diào)用函數(shù)進(jìn)行參數(shù)壓棧并且恢復(fù)堆棧。

下面看一下：地址ebp-8和ebp-4是什么? 在VC的VIEW->debug windows->Registers,顯示寄存器變量值，然后在選debug windows->Memory,輸入ebp-8的值和ebp-4的值(或直接輸入ebp-8和-4)，看一下這兩個(gè)地址實(shí)際存儲(chǔ)的是什么值，實(shí)際上是變量"n "的地址(ebp-8)，m的地址(ebp-4)。

由此可以看出：在主調(diào)用函數(shù)中進(jìn)行實(shí)參的壓棧并且順序是從右到左。另外，由于實(shí)參是相應(yīng)的變量的引用，也證明實(shí)際上引用傳遞的是變量的地址(類(lèi)似指針)。

總結(jié)：在C或C++語(yǔ)言調(diào)用中默認(rèn)的函數(shù)修飾_cdecl，由主調(diào)用函數(shù)進(jìn)行參數(shù)壓棧并且恢復(fù)堆棧，實(shí)參的壓棧順序是從右到左，最后由主調(diào)函數(shù)進(jìn)行堆棧恢復(fù)。由于主調(diào)用函數(shù)管理堆棧，所以可以實(shí)現(xiàn)變參函數(shù)。另外，命名修飾方法是在函數(shù)前加一個(gè)下劃 線(xiàn)(_)。

_stdcall調(diào)用約定介紹：實(shí)際上就是PASCAL，CALLBACK,WINAPI

例子：

void WINAPI Input( int &m,int &n);

看一下相應(yīng)調(diào)用的匯編代碼：

00401068 lea eax,[ebp-8]

0040106B push eax

0040106C lea ecx,[ebp-4]

0040106F push ecx

00401070 call @ILT+5(Input) (0040100a)

從以上調(diào)用Input函數(shù)的過(guò)程可以看出：在調(diào)用此函數(shù)之前，首先壓棧ebp-8,然后壓棧ebp-4,然后調(diào)用函數(shù)Input,在調(diào)用函數(shù)Input之后，沒(méi)有相應(yīng)的堆棧恢復(fù)工作(為其它的函數(shù)調(diào)用，所以我沒(méi)有列出)下面再列出Input函數(shù)本身的匯編代碼：(實(shí)際此函數(shù)不大，但做匯編例子還是大了些，大家可以只看前和后，中間代碼與此例子無(wú)關(guān))

39: void WINAPI Input( int &m,int &n)

40: {

00401110 push ebp

00401111 mov ebp,esp

00401113 sub esp,48h

00401116 push ebx

00401117 push esi

00401118 push edi

00401119 lea edi,[ebp-48h]

0040111C mov ecx,12h

00401121 mov eax,0CCCCCCCCh

00401126 rep stos dword ptr [edi]

41: int s,i;

42:

43: while(1)

00401128 mov eax,1

0040112D test eax,eax

0040112F je Input+0C1h (004011d1)

44: {

45: printf(" Please input the first number m:");

00401135 push offset string " Please input the first number m"… (004260b8)

0040113A call printf (00401530)

0040113F add esp,4

46: scanf("%d",&m);

00401142 mov ecx,dword ptr [ebp+8]

00401145 push ecx

00401146 push offset string "%d" (004260b4)

0040114B call scanf (004015f0)

00401150 add esp,8

47:

48: if ( m= s )

004011B3 mov eax,dword ptr [ebp+8]

004011B6 mov ecx,dword ptr [eax]

004011B8 cmp ecx,dword ptr [ebp-4]

004011BB jl Input+0AFh (004011bf)

57: break;

004011BD jmp Input+0C1h (004011d1)

58: else

59: printf(" m < n*(n+1)/2,Please input again! ");

004011BF push offset string " m < n*(n+1)/2,Please input agai"… (00426060)

004011C4 call printf (00401530)

004011C9 add esp,4

60: }

004011CC jmp Input+18h (00401128)

61:

62: }

004011D1 pop edi

004011D2 pop esi

004011D3 pop ebx

004011D4 add esp,48h

004011D7 cmp ebp,esp

004011D9 call __chkesp (004015b0)

004011DE mov esp,ebp

004011E0 pop ebp

004011E1 ret 8

之后，我們看到在函數(shù)末尾部分，有ret 8，明顯是恢復(fù)堆棧，由于在32位C++中，變量地址為4個(gè)字節(jié)(int也為4個(gè)字節(jié))，所以彈棧兩個(gè)地址即8個(gè)字節(jié)。由此可以看出：在主調(diào)用函數(shù)中負(fù)責(zé)壓棧，在被調(diào)用函數(shù)中負(fù)責(zé)恢復(fù)堆棧。因此不能實(shí)現(xiàn)變參函數(shù)，因?yàn)楸徽{(diào)函數(shù)不能事先知道彈棧數(shù)量，但在主調(diào)函數(shù)中是可以做到的，因?yàn)閰?shù)數(shù)量由主調(diào)函數(shù)確定。

下面再看一下，ebp-8和ebp-4這兩個(gè)地址實(shí)際存儲(chǔ)的是什么值，ebp-8地址存儲(chǔ)的是n 的值，ebp -4存儲(chǔ)的是m的值。說(shuō)明也是從右到左壓棧，進(jìn)行參數(shù)傳遞。

總結(jié)：_stdcall在主調(diào)用函數(shù)中負(fù)責(zé)壓棧，在被調(diào)用函數(shù)中負(fù)責(zé)彈出堆棧中的參數(shù)，并且負(fù)責(zé)恢復(fù)堆棧。因此不能實(shí)現(xiàn)變參函數(shù)，參數(shù)傳遞是從右到左。另外，命名修飾方法是在函數(shù)前加一個(gè)下劃線(xiàn)(_)，在函數(shù)名后有符號(hào)(@)，在@后面緊跟參數(shù)列表中的參數(shù)所占字節(jié)數(shù)(10進(jìn)制)，如：void Input(int &m,int &n)，被修飾成：_Input@8 對(duì)于大多數(shù)api函數(shù)以及窗口消息處理函數(shù)皆用CALLBACK,所以調(diào)用前，主調(diào)函數(shù)會(huì)先壓棧，然后api函數(shù)自己恢復(fù)堆棧。

如：

push edx

push edi

push eax

push ebx

call getdlgitemtexta

最后，在SDK中輸出API函數(shù)的時(shí)候，經(jīng)常會(huì)利用WINAPI對(duì)函數(shù)進(jìn)行約定，WINAPI在WIN32中，它被定義為_(kāi)_stdcall 函數(shù)調(diào)用約定有多種，這里簡(jiǎn)單說(shuō)一下：

1、__stdcall調(diào)用約定相當(dāng)于16位動(dòng)態(tài)庫(kù)中經(jīng)常使用的PASCAL調(diào)用約定。在32位的VC++5.0中PASCAL調(diào)用約定不再被支持(實(shí)際上它已被定義為_(kāi)_stdcall。除了__pascal 外，__fortran和__syscall也不被支持)，取而代之的是__stdcall調(diào)用約定。兩者實(shí)質(zhì)上是一致的，即函數(shù)的參數(shù)自右向左通過(guò)棧傳遞，被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧，但不同的是函數(shù)名的修飾部分(關(guān)于函數(shù)名的修飾部分在后面將詳細(xì)說(shuō)明)。

_stdcall是Pascal程序的缺省調(diào)用方式，通常用于Win32 Api中，函數(shù)采用從右到左的 壓棧方式，自己在退出時(shí)清空堆棧。VC將函數(shù)編譯后會(huì)在函數(shù)名前面加上下劃線(xiàn)前綴，在函數(shù)名后加上"@"和參數(shù)的字節(jié)數(shù)。

2、C調(diào)用約定(即用__cdecl關(guān)鍵字說(shuō)明)按從右至左的順序壓參數(shù)入棧，由調(diào)用者把參數(shù)彈出棧。對(duì)于傳送參數(shù)的內(nèi)存棧是由調(diào)用者來(lái)維護(hù)的(正因?yàn)槿绱耍瑢?shí)現(xiàn)可變參數(shù)的函數(shù)只能使用該調(diào)用約定)。另外，在函數(shù)名修飾約定方面也有所不同。

_cdecl是C和C++程序的缺省調(diào)用方式。每一個(gè)調(diào)用它的函數(shù)都包含清空堆棧的代碼，所以產(chǎn)生的可執(zhí)行文件大小會(huì)比調(diào)用_stdcall函數(shù)的大。函數(shù)采用從右到左的壓棧方式。VC將函數(shù)編譯后會(huì)在函數(shù)名前面加上下劃線(xiàn)前綴。是MFC缺省調(diào)用約定。

3、__fastcall調(diào)用約定是“人”如其名，它的主要特點(diǎn)就是快，因?yàn)樗峭ㄟ^(guò)寄存器來(lái)傳送參數(shù)的(實(shí)際上，它用ECX和EDX傳送前兩個(gè)雙字(DWORD)或更小的參數(shù)，剩下的參數(shù)仍舊自右向左壓棧傳送，被調(diào)用的函數(shù)在返回前清理傳送參數(shù)的內(nèi)存棧)，在函數(shù)名修飾約定方面，它和前兩者均不同。

_fastcall方式的函數(shù)采用寄存器傳遞參數(shù)，VC將函數(shù)編譯后會(huì)在函數(shù)名前面加上"@"前綴，在函數(shù)名后加上"@"和參數(shù)的字節(jié)數(shù)。

4、thiscall僅僅應(yīng)用于“C++”成員函數(shù)。this指針存放于CX寄存器，參數(shù)從右到左壓。thiscall不是關(guān)鍵詞，因此不能被程序員指定。

5、naked call采用1-4的調(diào)用約定時(shí)，如果必要的話(huà)，進(jìn)入函數(shù)時(shí)編譯器會(huì)產(chǎn)生代碼來(lái)保存ESI，EDI，EBX，EBP寄存器，退出函數(shù)時(shí)則產(chǎn)生代碼恢復(fù)這些寄存器的內(nèi)容。naked call不產(chǎn)生這樣的代碼。naked call不是類(lèi)型修飾符，故必須和_declspec共同使用。

深圳北大青鳥(niǎo)