__cdecl,__stdcall,__fastcall和__thiscall的差別

函數調用方式--__thiscall調用方式和__cdecl,__stdcall有什麼差別

首先，__thiscall是關于類的一種調用方式，它與其他調用方式的最大差別是：   

__thiscall對每個函數都增加了一個類指針參數

class   aa   

{   

void   bb(int   cc);   

};   

實際上bb的函數原形是void   bb（aa   &this,   int   cc);   

這就是__thiscall的調用方式

其次，我們知道在進行函數調用時，有幾種調用方法，主要分為C式，Pascal式.在C和C++中C式調用是預設的，類的成員函數預設調用為_stdcall。二者是有差別的，下面我們用執行個體說明一下：

1.   __cdecl   :C和C++預設調用方式   

例子：     

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

以下是相應的彙編代碼：

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);然後調用Input函數   

00401075   add   esp,8   ;恢複棧

從以上調用Input函數的過程可以看出：在調用此函數之前，首先壓棧ebp-8,然後壓棧ebp-4,然後調用函數Input,最後Input函數調用結束後，利用esp+8恢複棧。由此可見，在C語言調用中預設的函數修飾_cdecl，由主調用函數進行參數壓棧并且恢複堆棧。

下面看一下：位址ebp-8和ebp-4是什麼？ 在VC的VIEW下選debug   windows,然後選Registers,顯示寄存器變量值，然後在選debug   windows下面的Memory,輸入ebp-8的值和ebp-4的值(或直接輸入ebp-8和-4)，看一下這兩個位址實際存儲的是什麼值，實際上是變量   n   的位址(ebp-8),m的位址(ebp-4),由此可以看出：在主調用函數中進行實參的壓棧并且順序是從右到左。另外，由于實參是相應的變量的引用，也證明實際上引用傳遞的是變量的位址(類似指針)。總結：在C或C++語言調用中預設的函數修飾_cdecl，由主調用函數進行參數壓棧并且恢複堆棧，實參的壓棧順序是從右到左，最後由主調函數進行堆棧恢複。由于主調用函數管理堆棧，是以可以實作變參函數。另外，命名修飾方法是在函數前加一個下劃 線(_).  

2.   WINAPI   (實際上就是PASCAL，CALLBACK,_stdcall)   

例子：     

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

看一下相應調用的彙編代碼：   

00401068   lea   eax,[ebp-8]   

0040106B   push   eax   

0040106C   lea   ecx,[ebp-4]   

0040106F   push   ecx   

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

從以上調用Input函數的過程可以看出：在調用此函數之前，首先壓棧ebp-8,然後壓棧ebp-4,然後調用函數Input,在調用函數Input之後，沒有相應的堆棧恢複工作(為其它的函數調用，是以我沒有列出)下面再列出Input函數本身的彙編代碼：(實際此函數不大，但做彙編例子還是大了些，大家可以隻看前和後，中間代碼與此例子無關)

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("\nPlease   input   the   first   number   m:");   

00401135   push   offset   string   "\nPlease   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!\n");   

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

之後，我們看到在函數末尾部分，有ret   8，明顯是恢複堆棧，由于在32位C++中，變量位址為4個位元組(int也為4個位元組)，是以彈棧兩個位址即8個位元組。由此可以看出：在主調用函數中負責壓棧，在被調用函數中負責恢複堆棧。是以不能實作變參函數，因為被調函數不能事先知道彈棧數量，但在主調函數中是可以做到的，因為參數數量由主調函數确定。

下面再看一下，ebp-8和ebp-4這兩個位址實際存儲的是什麼值，ebp-8位址存儲的是n 的值，ebp   -4存儲的是m的值。說明也是從右到左壓棧,進行參數傳遞。

總結：_stdcall在主調用函數中負責壓棧，在被調用函數中負責彈出堆棧中的參數，并且負責恢複堆棧。是以不能實作變參函數，參數傳遞是從右到左。另外，命名修飾方法是在函數前加一個下劃線(_)，在函數名後有符号(@)，在@後面緊跟參數清單中的參數所占位元組數(10進制)，如：void   Input(int   &m,int   &n),被修飾成： 對于大多數api函數以及視窗消息處理函數皆用CALLBACK,是以調用前，主調函數會先壓棧，然後api函數自己恢複堆棧。

如：     

push   edx   

push   edi   

push   eax   

push   ebx   

call   getdlgitemtexta

最後，在SDK中輸出API函數的時候，經常會利用WINAPI對函數進行約定，WINAPI在WIN32中，它被定義為__stdcall 函數調用約定有多種，這裡簡單說一下：

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将函數編譯後會在函數名前面加上"@"字首，在函數名後加上"@"和參數的位元組數。

4、thiscall僅僅應用于“C++”成員函數。this指針存放于CX寄存器，參數從右到左壓。thiscall不是關鍵詞，是以不能被程式員指定。

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。