我們知道,調用函數時,計算機常用棧來存放函數執行需要的參數,由於棧的空間大小是有限的,在Windows下棧是向低地址擴展的數據結構,是一塊連續的內存區域。這句話的意思是棧頂的地址和棧的最大容量是系統預先規定好的,Windows下棧的大小是2M(也有的說是1M),如果申請的空間超過棧的剩余空間時,將提示overflow。
在函數調用時,第一個進棧的是主函數中後的下一條指令(函數調用語句的下一條可執行語句)的地址,然後是函數的各個參數,在大多數的C編譯器中,參數是由右往左入棧的,然後是函數中的局部變量。注意靜態變量是不入棧的。
在參數傳遞中,有兩個重要的問題必須要明確說明:
1. 當參數個數多於一個時,按照什麼順序把參數壓入堆棧;
2. 函數調用後,由誰來把堆棧恢復原狀。
在高級語言中,就是通過函數的調用方式來說明這兩個問題的。常見的調用方式有:
stdcall
cdecl
fastcall
thiscall
thiscall
naked call
下面就分別介紹這幾種調用方式:
1. stdcall
stdcall調用方式又被稱為Pascal調用方式。在Microsoft C++系列的C/C++編譯器中,使用PASCAL宏,WINAPI宏和CALLBACK宏來指定函數的調用方式為stdcall。
stdcall調用方式的函數聲明為:
int _stdcall function(int a, int b);
stdcall的調用方式意味著:
(1) 參數從右向左依次壓入堆棧
(2) 由被調用函數自己來恢復堆棧
(3) 函數名自動加前導下劃線,後面緊跟著一個@,其後緊跟著參數的尺寸
上面那個函數翻譯成匯編語言將變成:
push b 先壓入第二個參數
push a 再壓入第一個參數
call function 調用函數
在編譯時,此函數的名字被翻譯為_function@8
2. cdecl
cdecl調用方式又稱為C調用方式,是C語言缺省的調用方式,它的語法為:
int function(int a, int b) // 不加修飾符就是C調用方式
int _cdecl function(int a, int b) // 明確指定用C調用方式
cdecl的調用方式決定了:
(1) 參數從右向左依次壓入堆棧
(2) 由調用者恢復堆棧
(3) 函數名自動加前導下劃線
由於是由調用者來恢復堆棧,因此C調用方式允許函數的參數個數是不固定的,這是C語言的一大特色。
此方式的函數被翻譯為:
push b // 先壓入第二個參數
push a // 在壓入第一個參數
call funtion // 調用函數
add esp, 8 // 清理堆棧 。。。。。需要熟悉一下esp寄存器的功能,建議看一下匯編有關的書,基本都有講
在編譯時,此方式的函數被翻譯成:_function
3. fastcall
fastcall 按照名字上理解就可以知道,它是一種快速調用方式。此方式的函數的第一個和第二個DWORD參數通過ecx和edx傳遞,
後面的參數從右向左的順序壓入棧。
被調用函數清理堆棧。
函數名修個規則同stdcall
其聲明語法為:
int fastcall function(int a, int b);
4. thiscall
thiscall 調用方式是唯一一種不能顯示指定的修飾符。它是c++類成員函數缺省的調用方式。由於成員函數調用還有一個this指針,因此必須用這種特殊的調用方式。
thiscall調用方式意味著:
參數從右向左壓入棧。
如果參數個數確定,this指針通過ecx傳遞給被調用者;如果參數個數不確定,this指針在所有參數壓入棧後被壓入棧。
參數個數不定的,由調用者清理堆棧,否則由函數自己清理堆棧。
可以看到,對於參數個數固定的情況,它類似於stdcall,不定時則類似於cdecl。
5. naked call
是一種比較少見的調用方式,一般高級程序設計語言中不常見。
函數的聲明調用方式和實際調用方式必須一致,必然編譯器會產生混亂。