c++ - C 和 C++ 调用函数时 EAX 寄存器初始化的差异

Question

当编译为 C 程序或 C++ 程序(对于 Linux x86-64)时，小程序的程序集之间存在一个奇怪的差异。

有问题的代码:

int fun();
int main(){
    return fun();
}

将其编译为 C 程序(使用 gcc -O2)会产生:

main:
    xorl    %eax, %eax
    jmp fun

但是将其编译为 C++ 程序(使用 g++ -02)会产生:

main:
    jmp _Z3funv

我觉得令人费解的是，C 版本用 0 初始化主函数的返回值(xorl %eax, %eax)。

C 语言的哪个特性导致了这种必要性？

编辑:确实，对于int fun(void);，eax寄存器没有初始化。

如果根本没有fun的原型(prototype)，即:

int main(){
    return fun();
}

然后 C 编译器再次将 eax 寄存器清零。

Answer 1

在 C 语言中 int fun();可以接受任意数量的参数，因此它甚至可能是一个可变参数函数。然而，在 C++ 中，这意味着它不带参数。

x86-64 sysv abi 约定要求寄存器 AL必须包含调用可变参数函数时使用的 SSE 寄存器的数量。当然，您不传递任何参数，因此它被归零。为了方便起见，编译器决定将整个 eax 归零。 。将您的原型(prototype)声明为 int fun(void);和 xor将会消失。