熱點推薦:
您现在的位置: 電腦知識網 >> 編程 >> C編程 >> 正文

函數調用方式的區別[thiscall,

2022-06-13   來源: C編程 

  通常在使用VC進行函數定義時會指定該函數調用方式諸如
    int __stdcall max(int a int b)
    {
    return a>b?a:b;
    }
    int __cdecl min(int a int b)
    {
    return a<b?a:b;
    }
    bool __fastcall equal(int a int b)
    {
    return a=b?true:false;
    }
    首先讓我們來分個類調用方法分為兩大類另加一個較特殊的__thiscall
    第一類__stdcall類  別名WINAPICALLBACKPASCAL該類特點是主調函數負責參數入棧由函數本身負責棧的恢復
    第二類__cdecl類    別名C/C++中默認調用方式若你定義函數未指定函數調用約定(Calling Conventions)例如在VC中下面兩個函數的調用約定是等價的
    int max(int a int b)
    {
    return a>b?a:b;
    }
    int __cdecl min(int a int b)
    {
    return a<b?a:b;
    }
    該類調用約定的特點是由主調函數負責參數入棧並由主調函數負責線的恢復
    第三類__thiscall 該類比較特殊只用於類成員函數調用你甚至不能強制指定這個函數調用約定它是由C/C++編譯器自動添加的在C/C++中類成員函數會默認傳入一個this指針對於此在默入情況下C/C++中類成員函數通過此類調用約定來指定this指針
    接著介紹一下__thiscall__thiscall是關於類的一種調用方式
    它與其他調用方式的最大區別是
    __thiscall對每個函數都增加了一個類指針參數
    class   aa
    {
    void   bb(int   cc)
    };
    實際上bb的函數原形是void   bb(aa   &this   int   cc)
    __cdecl的調用方式介紹 C和C++缺省調用方式
    例子
    void   Input(   int   &mint   &n)/*相當於void   __cdecl   Input(int   &mint   &n)*/
    以下是相應的匯編代碼
    lea eax[ebp] ;取[ebp]地址(ebp存到eax
    B push eax ;然後壓棧
    C lea ecx[ebp] ;取[ebp]地址(ebp存到ecx
    F push ecx ;然後壓棧
    call @ILT+(Input) (a)然後調用Input函數
    add esp ;恢復棧
    從以上調用Input函數的過程可以看出在調用此函數之前首先壓棧ebp然後壓棧ebp然後調用函數Input最後Input函數調用結束後利用esp+恢復棧由此可見在C語言調用中默認的函數修飾_cdecl由主調用函數進行參數壓棧並且恢復堆棧
    下面看一下地址ebp和ebp是什麼? 在VC的VIEW>debug  windows>Registers顯示寄存器變量值然後在選debug  windows>Memory輸入ebp的值和ebp的值(或直接輸入ebp看一下這兩個地址實際存儲的是什麼值實際上是變量n 的地址(ebpm的地址(ebp
    由此可以看出在主調用函數中進行實參的壓棧並且順序是從右到左另外由於實參是相應的變量的引用也證明實際上引用傳遞的是變量的地址(類似指針)
    總結在C或C++語言調用中默認的函數修飾_cdecl由主調用函數進行參數壓棧並且恢復堆棧實參的壓棧順序是從右到左最後由主調函數進行堆棧恢復由於主調用函數管理堆棧所以可以實現變參函數另外命名修飾方法是在函數前加一個下劃 線(_)
    _stdcall調用約定介紹實際上就是PASCALCALLBACKWINAPI
    例子
    void   WINAPI   Input(   int   &mint   &n)
    看一下相應調用的匯編代碼
    lea eax[ebp]
    B push eax
    C lea ecx[ebp]
    F push ecx
    call @ILT+(Input) (a)


    從以上調用Input函數的過程可以看出在調用此函數之前首先壓棧ebp然後壓棧ebp然後調用函數Input在調用函數Input之後沒有相應的堆棧恢復工作(為其它的函數調用所以我沒有列出)下面再列出Input函數本身的匯編代碼(實際此函數不大但做匯編例子還是大了些大家可以只看前和後中間代碼與此例子無關)
    :   void   WINAPI   Input(   int   &mint   &n)
    :   {
       push   ebp
       mov   ebpesp
       sub   esph
       push   ebx
       push   esi
       push   edi
       lea   edi[ebph]
    C   mov   ecxh
       mov   eaxCCCCCCCCh
       rep   stos   dword   ptr   [edi]
    :   int   si;
    :
    :   while(
       mov   eax
    D   test   eaxeax
    F   je   Input+Ch   (d
    :   {
    :   printf(\nPlease   input   the   first   number   m:
       push   offset   string   \nPlease   input   the   first   number   m…   (b
    A   call   printf   (
    F   add   esp
    :   scanf(%d&m)
       mov   ecxdword   ptr   [ebp+]
       push   ecx
       push   offset   string   %d   (b
    B   call   scanf   (f
       add   esp
    :
    :   if   (   m=   s   )
    B   mov   eaxdword   ptr   [ebp+]
    B   mov   ecxdword   ptr   [eax]
    B   cmp   ecxdword   ptr   [ebp]
    BB   jl   Input+AFh   (bf)
    :   break;
    BD   jmp   Input+Ch   (d
    :   else
    :   printf(   m   <   n*(n+)/Please   input   again!\n
    BF   push   offset   string      m   <   n*(n+)/Please   input   agai…   (
    C   call   printf   (
    C   add   esp
    :   }
    CC   jmp   Input+h   (
    :
    :   }
    D   pop   edi
    D   pop   esi
    D   pop   ebx
    D   add   esph
    D   cmp   ebpesp
    D   call   __chkesp   (b
    DE   mov   espebp
    E   pop   ebp
    E   ret  
    之後我們看到在函數末尾部分有ret   明顯是恢復堆棧由於在位C++中變量地址為個字節(int也為個字節)所以彈棧兩個地址即個字節由此可以看出在主調用函數中負責壓棧在被調用函數中負責恢復堆棧因此不能實現變參函數因為被調函數不能事先知道彈棧數量但在主調函數中是可以做到的因為參數數量由主調函數確定


    下面再看一下ebp和ebp這兩個地址實際存儲的是什麼值ebp地址存儲的是n  的值ebp   存儲的是m的值說明也是從右到左壓棧進行參數傳遞
    總結_stdcall在主調用函數中負責壓棧在被調用函數中負責彈出堆棧中的參數並且負責恢復堆棧因此不能實現變參函數參數傳遞是從右到左另外命名修飾方法是在函數前加一個下劃線(_)在函數名後有符號(@)在@後面緊跟參數列表中的參數所占字節數(進制)void   Input(int   &mint   &n)被修飾成_Input@ 對於大多數api函數以及窗口消息處理函數皆用CALLBACK所以調用前主調函數會先壓棧然後api函數自己恢復堆棧
    如
    push   edx
    push   edi
    push   eax
    push   ebx
    call   getdlgitemtexta
    最後在SDK中輸出API函數的時候經常會利用WINAPI對函數進行約定WINAPI在WIN它被定義為__stdcall 函數調用約定有多種這裡簡單說一下
    __stdcall調用約定相當於位動態庫中經常使用的PASCAL調用約定位的VC++中PASCAL調用約定不再被支持(實際上它已被定義為__stdcall除了__pascal 外__fortran和__syscall也不被支持)取而代之的是__stdcall調用約定兩者實質上是一致的即函數的參數自右向左通過棧傳遞被調用的函數在返回前清理傳送參數的內存棧但不同的是函數名的修飾部分(關於函數名的修飾部分在後面將詳細說明)
    _stdcall是Pascal程序的缺省調用方式通常用於Win   Api中函數采用從右到左的 壓棧方式自己在退出時清空堆棧VC將函數編譯後會在函數名前面加上下劃線前綴在函數名後加上@和參數的字節數
    C調用約定(即用__cdecl關鍵字說明)按從右至左的順序壓參數入棧由調用者把參數彈出棧對於傳送參數的內存棧是由調用者來維護的(正因為如此實現可變參數的函數只能使用該調用約定)另外在函數名修飾約定方面也有所不同
    _cdecl是C和C++程序的缺省調用方式每一個調用它的函數都包含清空堆棧的代碼所以產生的可執行文件大小會比調用_stdcall函數的大函數采用從右到左的壓棧方式VC將函數編譯後會在函數名前面加上下劃線前綴是MFC缺省調用約定
    __fastcall調用約定是如其名它的主要特點就是快因為它是通過寄存器來傳送參數的(實際上它用ECX和EDX傳送前兩個雙字(DWORD)或更小的參數剩下的參數仍舊自右向左壓棧傳送被調用的函數在返回前清理傳送參數的內存棧)在函數名修飾約定方面它和前兩者均不同
    _fastcall方式的函數采用寄存器傳遞參數VC將函數編譯後會在函數名前面加上@前綴在函數名後加上@和參數的字節數
    thiscall僅僅應用於C++成員函數this指針存放於CX寄存器參數從右到左壓thiscall不是關鍵詞因此不能被程序員指定
    naked   call采用的調用約定時如果必要的話進入函數時編譯器會產生代碼來保存ESIEDIEBXEBP寄存器退出函數時則產生代碼恢復這些寄存器的內容naked   call不產生這樣的代碼naked   call不是類型修飾符故必須和_declspec共同使用


From:http://tw.wingwit.com/Article/program/c/201311/11110.html
    推薦文章
    Copyright © 2005-2022 電腦知識網 Computer Knowledge   All rights reserved.