通过 EBP 和 ESP 清理了解 STDCALL 与 CDECL 的概念

Question

我相信我了解 STDCALL 和 CDECL 之间的区别，但我想知道是否可以在这段代码中找到一些说明。

我了解在 STDCALL 中 CALLEE 负责清理堆栈，并且我了解在 CDECL 中 CALLER 负责清理堆栈。

我也明白“清理堆栈”基本上意味着重新设置堆栈指针，但我想我的 困惑 出现在 esp 的值被移动到的这行代码中ebp，基指针。如果该功能正在发生，那与“清理堆栈”是否相同？或者它必须是专门进入 ESP 的东西？

这是我正在查看的代码

main PROC
    push 4
    push 5
    call sub_12
    push 5
    call sub_48
    add esp, 4
    INVOKE ExitProcess, 0
main endp

sub_12 PROC
    push ebp
    mov ebp, esp
    mov eax, 10
    mul DWORD PTR [ebp+12]
    pop ebp
    ret 8
sub_12 endp

sub_48 PROC
    push ebp
    mov ebp, esp
    mov eax, [ebp+8]
    mul DWORD PTR [ebp+8]
    pop ebp
    ret
sub_48 endp

我原来的答案是 sub_12 和 sub_48 都是 CDECL 因为调用者负责清理堆栈。但现在我一直在看 [mov ebp, esp] 指令，我想知道这是否真的是 STDCALL 的一个例子。

是否有人对我有任何提示或一些我似乎缺少的额外信息？

Answer 1

这是关于 CDECL 与 STDCALL 的一个很好的讨论：

• stdcall and cdecl。

不管调用约定如何，被调用者通常会将当前堆栈指针保存到帧指针 (EBP)，以便他可以随意将局部变量推入/拉出堆栈。

当他准备好返回时，被调用者必须然后恢复堆栈指针 (ESP) 以使“返回”成功。

问：有意义吗？这能回答你的问题吗？

附加信息：

有两个问题：1) 调用子例程（这部分是“stdcall”与“cdecl”（除其他外 - 这不是唯一的两个选项），以及 2) 从子例程返回。

CDECL 和 STDCALL 的主要区别在于谁负责在“返回”时为局部变量清理堆栈。

被调用者总是恢复堆栈指针。只有这样，“return”才能正常工作。

对于 STDCALL，被调用者 ALSO 清除它自己的局部变量的堆栈。

粗略地说：

• STDCALL 可能会使用更少的空间，因为“清理代码”只存在于一个地方：在被调用者中。对于 CDECL 调用，必须在调用子例程的任何地方重复清理。您的示例 sub_12 是“STDCALL”。

• CDECL 更加灵活：它允许您将可变数量的参数传递到子例程中。您的示例 sub_48 是“CDECL”。

'希望对您有所帮助...