使用C/C++語言開發(fā)軟件的程序員經(jīng)常碰到這樣的問題:有時候是程序編譯沒有問題,但是鏈接的時候總是報告函數(shù)不存在(經(jīng)典的LNK 2001錯誤),有時候是程序編譯和鏈接都沒有錯誤,但是只要調(diào)用庫中的函數(shù)就會出現(xiàn)堆棧異常。這些現(xiàn)象通常是出現(xiàn)在C和C++的代碼混合使用的情況下或在C++程序中使用第三方的庫的情況下(不是用C++語言開發(fā)的),其實這都是函數(shù)調(diào)用約定(Calling Convention)和函數(shù)名修飾(Decorated Name)規(guī)則惹的禍。函數(shù)調(diào)用方式?jīng)Q定了函數(shù)參數(shù)入棧的順序,是由調(diào)用者函數(shù)還是被調(diào)用函數(shù)負(fù)責(zé)清除棧中的參數(shù)等問題,而函數(shù)名修飾規(guī)則決定了編譯器使用何種名字修飾方式來區(qū)分不同的函數(shù),如果函數(shù)之間的調(diào)用約定不匹配或者名字修飾不匹配就會產(chǎn)生以上的問題。本文分別對C和C++這兩種編程語言的函數(shù)調(diào)用約定和函數(shù)名修飾規(guī)則進行詳細的解釋,比較了它們的異同之處,并舉例說明了以上問題出現(xiàn)的原因。
函數(shù)調(diào)用約定(Calling Convention)
函數(shù)調(diào)用約定不僅決定了發(fā)生函數(shù)調(diào)用時函數(shù)參數(shù)的入棧順序,還決定了是由調(diào)用者函數(shù)還是被調(diào)用函數(shù)負(fù)責(zé)清除棧中的參數(shù),還原堆棧。函數(shù)調(diào)用約定有很多方式,除了常見的__cdecl,__fastcall和__stdcall之外,C++的編譯器還支持thiscall方式,不少C/C++編譯器還支持naked call方式。這么多函數(shù)調(diào)用約定常常令許多程序員很迷惑,到底它們是怎么回事,都是在什么情況下使用呢?下面就分別介紹這幾種函數(shù)調(diào)用約定。
1.__cdecl
編譯器的命令行參數(shù)是/Gd。__cdecl方式是C/C++編譯器默認(rèn)的函數(shù)調(diào)用約定,所有非C++成員函數(shù)和那些沒有用__stdcall或__fastcall聲明的函數(shù)都默認(rèn)是__cdecl方式,它使用C函數(shù)調(diào)用方式,函數(shù)參數(shù)按照從右向左的順序入棧,函數(shù)調(diào)用者負(fù)責(zé)清除棧中的參數(shù),由于每次函數(shù)調(diào)用都要由編譯器產(chǎn)生清除(還原)堆棧的代碼,所以使用__cdecl方式編譯的程序比使用__stdcall方式編譯的程序要大很多,但是__cdecl調(diào)用方式是由函數(shù)調(diào)用者負(fù)責(zé)清除棧中的函數(shù)參數(shù),所以這種方式支持可變參數(shù),比如printf和windows的API wsprintf就是__cdecl調(diào)用方式。對于C函數(shù),__cdecl方式的名字修飾約定是在函數(shù)名稱前添加一個下劃線;對于C++函數(shù),除非特別使用extern "C",C++函數(shù)使用不同的名字修飾方式。
2.__fastcall
編譯器的命令行參數(shù)是/Gr。__fastcall函數(shù)調(diào)用約定在可能的情況下使用寄存器傳遞參數(shù),通常是前兩個 DWORD類型的參數(shù)或較小的參數(shù)使用ECX和EDX寄存器傳遞,其余參數(shù)按照從右向左的順序入棧,被調(diào)用函數(shù)在返回之前負(fù)責(zé)清除棧中的參數(shù)。編譯器使用兩個@修飾函數(shù)名字,后跟十進制數(shù)表示的函數(shù)參數(shù)列表大小,例如:@function_name@number。需要注意的是__fastcall函數(shù)調(diào)用約定在不同的編譯器上可能有不同的實現(xiàn),比如16位的編譯器和32位的編譯器,另外,在使用內(nèi)嵌匯編代碼時,還要注意不能和編譯器使用的寄存器有沖突。
3.__stdcall
編譯器的命令行參數(shù)是/Gz,__stdcall是Pascal程序的缺省調(diào)用方式,大多數(shù)Windows的API也是__stdcall調(diào)用約定。__stdcall函數(shù)調(diào)用約定將函數(shù)參數(shù)從右向左入棧,除非使用指針或引用類型的參數(shù),所有參數(shù)采用傳值方式傳遞,由被調(diào)用函數(shù)負(fù)責(zé)清除棧中的參數(shù)。對于C函數(shù),__stdcall的名稱修飾方式是在函數(shù)名字前添加下劃線,在函數(shù)名字后添加@和函數(shù)參數(shù)的大小,例如:_functionname@number
4.thiscall
thiscall只用在C++成員函數(shù)的調(diào)用,函數(shù)參數(shù)按照從右向左的順序入棧,類實例的this指針通過ECX寄存器傳遞。需要注意的是thiscall不是C++的關(guān)鍵字,不能使用thiscall聲明函數(shù),它只能由編譯器使用。
5.naked call
采用前面幾種函數(shù)調(diào)用約定的函數(shù),編譯器會在必要的時候自動在函數(shù)開始添加保存ESI,EDI,EBX,EBP寄存器的代碼,在退出函數(shù)時恢復(fù)這些寄存器的內(nèi)容,使用naked call方式聲明的函數(shù)不會添加這樣的代碼,這也就是為什么稱其為naked的原因吧。naked call不是類型修飾符,故必須和_declspec共同使用。
VC的編譯環(huán)境默認(rèn)是使用__cdecl調(diào)用約定,也可以在編譯環(huán)境的Project Setting...菜單-》C/C++ =》Code Generation項選擇設(shè)置函數(shù)調(diào)用約定。也可以直接在函數(shù)聲明前添加關(guān)鍵字__stdcall、__cdecl或__fastcall等單獨確定函數(shù)的調(diào)用方式。在Windows系統(tǒng)上開發(fā)軟件常用到WINAPI宏,它可以根據(jù)編譯設(shè)置翻譯成適當(dāng)?shù)暮瘮?shù)調(diào)用約定,在WIN32中,它被定義為__stdcall。
(未完)
聯(lián)系客服