一、函數(shù)調(diào)用約定

• _cdecl：C調(diào)用約定
• _stdcall：Windows標(biāo)準(zhǔn)的調(diào)用約定
• _fastcall：快速調(diào)用約定
• _thiscall：C++的成員函數(shù)調(diào)用約定

以上的函數(shù)調(diào)用約定入?yún)⒍际菑挠蚁蜃?，只有PASCAL從左向右

函數(shù)調(diào)用約定不同，會(huì)影響函數(shù)生成的符號名，函數(shù)入?yún)㈨樞颍螀?nèi)存的清理者

1. 影響函數(shù)生成的符號名

在一個(gè)文件中寫_cdecl的函數(shù)聲明：

在另一個(gè)文件中寫_stdcall的函數(shù)定義：

我們編譯鏈接一下：

鏈接器找不到__cdecl sum這個(gè)函數(shù)調(diào)用的定義，將聲明的地方改成__stdcall就可以鏈接成功

2. 影響形參內(nèi)存的釋放者

_stdcall

形參內(nèi)存還是由調(diào)用方開辟

ret表示把棧頂元素的值（調(diào)用處下一條指令的地址）賦給PC寄存器，并出棧棧頂元素（修改esp）
ret 8表示在ret操作的基礎(chǔ)上，執(zhí)行執(zhí)行指令add esp, 8

_fastcall

可以看到在_fastcall調(diào)用約定中，call指令前面并沒有push操作，而是通過寄存器把實(shí)參傳遞到形參（沒有壓棧出棧，速度很快），實(shí)參在調(diào)用方棧幀上，形參在被調(diào)用方棧幀上

在_fastcall調(diào)用約定中，最多只能通過寄存器將最左邊8字節(jié)的實(shí)參帶給形參，多于8字節(jié)的實(shí)參還是通過push的方式帶給調(diào)用方的形參

我們給sum傳入三個(gè)參數(shù)，看看是誰釋放形參內(nèi)存 ：

這就很清楚了，一共3個(gè)參數(shù)，左邊的2個(gè)參數(shù)通過寄存器傳遞不需要清理內(nèi)存，只有一個(gè)形參內(nèi)存需要釋放，所以顯示ret 4

對于sum函數(shù)的第一個(gè)局部變量temp，在_cdecl和_stdcall中都是通過ebp-4訪問的，形參是通過ebp正向偏移訪問，因?yàn)樾螀?nèi)存在調(diào)用方的棧幀上

而在_fastcall中是通過寄存器把左邊的8字節(jié)實(shí)參帶給sum的形參，并存放在sum函數(shù)的棧幀上：

mov edx, dword ptr [ebp-8]
mov ecx, dword ptr [ebp-4]

所以對于sum函數(shù)的第一個(gè)局部變量temp，只能通過ebp-0Ch訪問

_thiscall

對參數(shù)個(gè)數(shù)不確定的，調(diào)用者清理堆棧，否則被調(diào)用者清理堆棧

二、函數(shù)的返回值

函數(shù)的返回值分為內(nèi)置類型（char、short、int、long、float、double等）、結(jié)構(gòu)體類型、union、enum等

1. 0 < 返回值 <= 4字節(jié)

通過eax寄存器帶出

2. 4字節(jié) < 返回值 <= 8字節(jié)

#include <stdio.h>

typedef struct  {
	int a;
	int b;
}Data;

Data sum(Data a, Data b) {
	Data temp = { 0 };
	temp.a = a.a + b.a;
	return temp;
}
int main() {
	Data a = { 10 }; 
	Data b = {20};  
	Data ret = { 0 }; 
	ret = sum(a, b);
	return 0;
}

可以看到，4字節(jié) < 返回值 <= 8字節(jié)時(shí)，通過eax和edx寄存器帶出

3. 返回值 > 8字節(jié)

#include <stdio.h>

typedef struct  {
	int a[20];
}Data;

Data sum(Data a, Data b) {
	Data temp = { 0 };
	temp.a[0] = a.a[0] + b.a[0];
	return temp;
}

int main() {
	Data a = { 10 };
	Data b = {20};
	Data ret = { 0 };
	ret = sum(a, b);
	return 0;
}

壓參數(shù)的時(shí)候，沒有使用push指令，因?yàn)榧拇嫫鞑粔蛴茫适褂昧搜h(huán)拷貝的方法，從實(shí)參的空間拷貝到形參的空間

產(chǎn)生臨時(shí)量有三個(gè)地方：函數(shù)調(diào)用前，函數(shù)調(diào)用時(shí)return的地方，函數(shù)調(diào)用完成時(shí)。在接收大于8字節(jié)返回值時(shí)，是在函數(shù)調(diào)用前產(chǎn)生臨時(shí)量，并把臨時(shí)量內(nèi)存的地址壓棧，而這個(gè)臨時(shí)量是用來接收返回值的

我們看到不僅僅壓棧了實(shí)參a、b，還壓棧了臨時(shí)量的地址，可以把sum函數(shù)簡單理解為如下形式：

Data sum(void* tmp_address, Data a, Data b);

我們看一下sum函數(shù)中return時(shí)的匯編指令是如何待會(huì)80字節(jié)的返回值的

最后通過eax把臨時(shí)量的地址帶出來，調(diào)用函數(shù)就可以通過eax拿到sum函數(shù)的返回值了

如果臨時(shí)量在函數(shù)調(diào)用前產(chǎn)生，那被調(diào)用函數(shù)返回的時(shí)候，肯定是通過ebp+8訪問臨時(shí)量并寫入返回值。因?yàn)閑bp指向的空間保存了調(diào)用函數(shù)的棧底地址，ebp+4指向的空間保存了call指令下一條指令的地址，ebp+8指向最后一個(gè)壓棧的實(shí)參，即用于帶出返回值的臨時(shí)量的地址

返回方式：

• 返回值空間在[1,4]，用eax寄存器
• 返回值空間在[5,8]，用eax、edx寄存器
• 返回值空間大于8字節(jié)時(shí)，函數(shù)調(diào)用前產(chǎn)生臨時(shí)量用于存儲返回值，并把這個(gè)臨時(shí)量的地址作為最后一個(gè)實(shí)參壓棧，在被調(diào)用函數(shù)中通過ebp+8訪問該臨時(shí)量的地址

到此這篇關(guān)于C語言函數(shù)調(diào)用約定和返回值詳情的文章就介紹到這了,更多相關(guān)C函數(shù)調(diào)用內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論