通常在使用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 的地址(ebp)m的地址(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 &m
int &n)
: {
push ebp
mov ebp
esp
sub esp
h
push ebx
push esi
push edi
lea edi
[ebp
h]
C mov ecx
h
mov eax
CCCCCCCCh
rep stos dword ptr [edi]
: int s
i;
:
: while(
)
mov eax
D test eax
eax
F je Input+
C
h (
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 ecx
dword ptr [ebp+
]
push ecx
push offset string
%d
(
b
)
B call scanf (
f
)
add esp
:
: if ( m= s )
B
mov eax
dword ptr [ebp+
]
B
mov ecx
dword ptr [eax]
B
cmp ecx
dword ptr [ebp
]
BB jl Input+
AFh (
bf)
: break;
BD jmp Input+
C
h (
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 esp
h
D
cmp ebp
esp
D
call __chkesp (
b
)
DE mov esp
ebp
E
pop ebp
E
ret
之後
我們看到在函數末尾部分
有ret
明顯是恢復堆棧
由於在
位C++中
變量地址為
個字節(int也為
個字節)
所以彈棧兩個地址即
個字節
由此可以看出
在主調用函數中負責壓棧
在被調用函數中負責恢復堆棧
因此不能實現變參函數
因為被調函數不能事先知道彈棧數量
但在主調函數中是可以做到的
因為參數數量由主調函數確定
下面再看一下
ebp
和ebp
這兩個地址實際存儲的是什麼值
ebp
地址存儲的是n 的值
ebp
存儲的是m的值
說明也是從右到左壓棧
進行參數傳遞
總結
_stdcall在主調用函數中負責壓棧
在被調用函數中負責彈出堆棧中的參數
並且負責恢復堆棧
因此不能實現變參函數
參數傳遞是從右到左
另外
命名修飾方法是在函數前加一個下劃線(_)
在函數名後有符號(@)
在@後面緊跟參數列表中的參數所占字節數(
進制)
如
void Input(int &m
int &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采用
的調用約定時
如果必要的話
進入函數時編譯器會產生代碼來保存ESI
EDI
EBX
EBP寄存器
退出函數時則產生代碼恢復這些寄存器的內容
naked call不產生這樣的代碼
naked call不是類型修飾符
故必須和_declspec共同使用
From:http://tw.wingwit.com/Article/program/c/201311/11110.html