函數調用的幾個概念:_stdcall,_cdecl....

   函數調用的幾個概念:_stdcall,_cdecl....    
             
     
   
  左通過棧傳遞,被調用的函數在返回前清理傳送參數的內存棧,但不同的是函數名的修飾部分。    
   
  _stdcall是pascal程序的缺省調用方式,通常用於win32   api中,函數採用從右到左的壓棧方式,自己在退出時清空堆棧。vc將函數編譯後會在函數名前面加上下劃線前綴,在函數名後加上"@"和參數的字節數。    
   
  2、c調用約定按從右至左的順序壓參數入棧,由調用者把參數彈出棧。對於傳送參數的內存棧是由調用者來維護的。另外,在函數名修飾約定方面也有所不同。    
   
  _cdecl是c和c++程序的缺省調用方式。每一個調用它的函數都包含清空堆棧的代碼,所以產生的可執行文件大小會比調用_stdcall函數的大。函數採用從右到左的壓棧方式。vc將函數編譯後會在函數名前面加上下劃線前綴。是mfc缺省調用約定。    
   
  3、__fastcall調用約定是“人”如其名,它的主要特點就是快,因爲它是通過寄存器來傳送參數的或更小的參數,剩下的參數仍舊自右向左壓棧傳送,被調用的函數在返回前清理傳送參數的內存棧),在函數名修飾約定方面,它和前兩者均不同。    
   
  _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。    
   
  要完全模仿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-----“?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;    
     
 
網友:bcpl

visual   c++中函數調用方式淺探   [轉載]        
      visual   c++中函數調用方式淺探    
   
  我們知道在進行函數調用時,有幾種調用方法,分爲c式,pascal式。在c和c++中c式調用是缺省的,除非特殊聲明。二者是有區別的,下面我們用實例說明一下:  
   
   
  1.   __cdecl   :c和c++缺省調用方式  
  例子:  
  void   input(   int   &m,int   &n);/*相當於void   __cdecl   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<1   )   continue;  
  00401153   mov   edx,dword   ptr   [ebp+8]  
  00401156   cmp   dword   ptr   [edx],1  
  00401159   jge   input+4dh   (0040115d)  
  0040115b   jmp   input+18h   (00401128)  
  49:   printf("/nplease   input   the   first   number   n:");  
  0040115d   push   offset   string   "/nplease   input   the   first   number   n"...   (0042608c)  
  00401162   call   printf   (00401530)  
  00401167   add   esp,4  
  50:   scanf("%d",&n);  
  0040116a   mov   eax,dword   ptr   [ebp+0ch]  
  0040116d   push   eax  
  0040116e   push   offset   string   "%d"   (004260b4)  
  00401173   call   scanf   (004015f0)  
  00401178   add   esp,8  
  51:  
  52:   if   (   n<1   )   continue;  
  0040117b   mov   ecx,dword   ptr   [ebp+0ch]  
  0040117e   cmp   dword   ptr   [ecx],1  
  00401181   jge   input+75h   (00401185)  
  00401183   jmp   input+18h   (00401128)  
  53:  
  54:   for(i=1,s=0;i<=n;i++)  
  00401185   mov   dword   ptr   [ebp-8],1  
  0040118c   mov   dword   ptr   [ebp-4],0  
  00401193   jmp   input+8eh   (0040119e)  
  00401195   mov   edx,dword   ptr   [ebp-8]  
  00401198   add   edx,1  
  0040119b   mov   dword   ptr   [ebp-8],edx  
  0040119e   mov   eax,dword   ptr   [ebp+0ch]  
  004011a1   mov   ecx,dword   ptr   [ebp-8]  
  004011a4   cmp   ecx,dword   ptr   [eax]  
  004011a6   jg   input+0a3h   (004011b3)  
  55:   s=s+i;  
  004011a8   mov   edx,dword   ptr   [ebp-4]  
  004011ab   add   edx,dword   ptr   [ebp-8]  
  004011ae   mov   dword   ptr   [ebp-4],edx  
  004011b1   jmp   input+85h   (00401195)  
  56:   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的值。說明也是從右到左壓棧,進行參數傳遞。  
   
  總結:在主調用函數中負責壓棧,在被調用函數中負責彈出堆棧中的參數,並且負責恢復堆棧。因此不能實現變參函數,參數傳遞是從右到左。另外,命名修飾方法是在函數前加一個下劃線(_),在函數名後有符號(@),在@後面緊跟參數列表中的參數所佔字節數(10進制),如:void   input(int   &m,int   &n),被修飾成:_input@8  
  對於大多數api函數以及窗口消息處理函數皆用   callback   ,所以調用前,主調函數會先壓棧,然後api函數自己恢復堆棧。  
   
  如:  
  push   edx  
  push   edi  
  push   eax  
  push   ebx  
  call   getdlgitemtexta  
  你可以想一下,這幾個寄存器中存的都是什麼?  
   
  參考:msdn  
  例子爲在vc6.0下debug模式下的win32   console反彙編代碼。  
 

.
發佈了28 篇原創文章 · 獲贊 0 · 訪問量 4萬+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章