主页 / coding / 问题 / 79124408
Accepted
Dess
Asked: 2024-10-25 13:52:51 +0800 CST

C 运行时是否会在函数调用之前清除参数的主槽？

  • 772

当您从 C/C++ 调用某个函数时，如果该函数的一些参数小于 64 位，运行时是否会将这些参数所在位置的堆栈内存清零？或者每个参数的顶部是否包含垃圾？

每个参数的空间为 8 个字节（64 位），但它们可能代表 8、16 或 32 位值。

假设参数不是通过寄存器传递的，因为这个问题涉及任何参数，而不仅仅是前 4 个。

void foobar(bool a, i32 b, float c, i64 d)
{
    int x = 0, y = 0, z = 0;    
}

----------------------------------------
# Stack Frame #

[... Previous StackFrame ...] // <HIGH ADDRESS>
[d]
[c]
[b]  // Do the top 32 most-significan-bits of param 'b' contain garbage, or zero?
[a]
[ReturnAddr]
[Saved rbp]
[x]
[y]
[z]


// read 'b' value -- if the top 32bits of 'b' contains garbage, rax has wrong value.
mov rax, qword ptr[rbp+24]
assembly

1 个回答

  1. Best Answer

    首先，不，无法保证通过堆栈传递的参数之间的填充被清零。例如，在类 Unix 系统上使用的System-V ABI 3.2 函数调用序列中指定了这一点。

    但是，填充字节的内容实际上也并不重要。要读取bool b通过堆栈传递的值，编译器可以发出

    mov al, byte ptr[rbp+24]

    这会忽略指针的高 56 位填充位。如果 RAX 的高 56 位应为零，movzx也可以按如下方式使用：

    movzx eax, byte ptr[rbp+24]
    • 3

相关问题