函数调用规范详解-优快云博客

对于各种的call，看看汇编的结果很清楚，例如对于函数:
void func(int a, int b, int c, int d) { }
使用函数如下
int main()
{
func(1, 2, 3, 4);
}

1.如果函数func是__cdecl(默认调用方式)，调用时情况如下
int main()
{
//参数从右到左压栈
push 4
push 3
push 2
push 1
call func
add esp 0x10 //调用者恢复堆栈指针esp，4个参数的大小是0x10(4x4)
}

2.如果函数func是__stdcall，调用时情况如下
int main()
{
//参数从右到左压栈
push 4
push 3
push 2
push 1
call func
//恢复堆栈指针由被调用者func负责，方法是"ret 0x10"
}

3.如果函数func是__pascal，调用情况如下
int main()
{
//参数从左到右压栈
push 1
push 2
push 3
push 4
call func
//恢复堆栈指针由被调用者func负责，方法是"ret 0x10"
}

4.如果函数func是__fastcall，调用情况如下
int main()
{
//参数先用ecx, edx, eax传递，然后再压栈
//不进栈
//(不知为什么，帮助中写的是从左到右传递的，
//是不是错了，还是BCB6和BCB5的不一样)
push 4
mov ecx 3
mov edx 2
mov eax 1
call func
//恢复堆栈指针由被调用者func负责，方法是"ret 0x04",
//因为只进栈一个参数，其余用寄存器传递，所以用ret 0x04恢复
}

函数调用规范cdecl和stdcall的区别一目了然（表格形式）

Posted on Tuesday, May 24, 2005 3:23 PM #C & C++ href="http://blog.bcchinese.net/happyjet/Services/Pingback.aspx" rel="pingback" />

__cdecl

__stdcall

C 和 C++ 程序的缺省调用规范

为了使用这种调用规范，需要你明确的加上 __stdcall （或 WINAPI ）文字。即 return-type __stdcall function-name[(argument-list)]

在被调用函数 (Callee) 返回后，由调用方 (Caller) 调整堆栈。

1. 调用方的函数调用

2. 被调用函数的执行

3. 被调用函数的结果返回

4. 调用方清除调整堆栈

在被调用函数 (Callee) 返回前，由被调用函数 (Callee) 调整堆栈。图示：

1. 调用方的函数调用

2. 被调用函数的执行

3. 被调用函数清除调整堆栈

4. 被调用函数的结果返回

因为每个调用的地方都需要生成一段调整堆栈的代码，所以最后生成的文件较大。

因为调整堆栈的代码只存在在一个地方（被调用函数的代码内），所以最后生成的文件较小。

函数的参数个数可变（就像 printf 函数一样），因为只有调用者才知道它传给被调用函数几个参数，才能在调用结束时适当地调整堆栈。

函数的参数个数不能是可变的。

对于定义在 C 程序文件中的输出函数，函数名会保持原样，不会被修饰。

对于定义在 C++ 程序文件中的输出函数，函数名会被修饰， MSDN 说 Underscore character (_) is prefixed to names . 我实际测试（ VC4 和 VC6 ）下来发现好像不是那么简单。

可通过在前面加上 extern “C” 以去除函数名修饰。也可通过 .def 文件去除函数名修饰。

不论是 C 程序文件中的输出函数还是 C++ 程序文件中的输出函数，函数名都会被修饰。

对于定义在 C 程序文件中的输出函数， An underscore (_) is prefixed to the name. The name is followed by the at sign (@) followed by the number of bytes (in decimal) in the argument list.

对于定义在 C++ 程序文件中的输出函数，好像更复杂，和 __cdecl 的情况类似。

好像只能通过 .def 文件去除函数名修饰。