64

这个问题来自回答堆栈溢出问题为什么书上说“编译器为内存中的变量分配空间”？，我试图向 OP 演示当您在堆栈上分配变量时会发生什么，以及编译器如何生成知道要分配的内存大小的代码。显然编译器分配的空间比需要的多得多。

但是，当编译以下

#include <iostream>
using namespace std;

int main()
{
    int foo;
    return 0;
}

在调试模式下编译 Visual C++ 2012 后，您将获得以下汇编程序输出，但未进行任何优化：

int main()
{
00A31CC0  push        ebp
00A31CC1  mov         ebp,esp
00A31CC3  sub         esp,0CCh  // Allocates 204 bytes here.
00A31CC9  push        ebx
00A31CCA  push        esi
00A31CCB  push        edi
00A31CCC  lea         edi,[ebp-0CCh]
00A31CD2  mov         ecx,33h
00A31CD7  mov         eax,0CCCCCCCCh
00A31CDC  rep stos    dword ptr es:[edi]
   int foo;
   return 0;
00A31CDE  xor         eax,eax
}

在我的程序中再添加一个int会使上面的注释行变为以下内容：

00B81CC3  sub         esp,0D8h // Allocate 216 bytes

@JamesKanze 在我上面链接的答案中提出的问题是为什么编译器，而且显然不仅仅是 Visual C++（我还没有用另一个编译器做过实验），分别分配了 204 和 216 字节，在第一种情况下它只需要四个，第二个只需要八个？

该程序创建一个 32 位可执行文件。

从技术角度来看，为什么需要分配 204 个字节而不是 4 个字节？

编辑：

调用两个函数并在 main 中创建一个double和两个int，你得到

 01374493  sub         esp,0E8h  // 232 bytes

对于与上述编辑相同的程序，它在发布模式下执行此操作（无优化）：

 sub    esp, 8                // Two ints
 movsd  QWORD PTR [esp], xmm0 // I suspect this is where my `double` goes
4

1 回答 1

103

这个额外的空间是由 /Zi 编译选项生成的。这启用了编辑 + 继续。额外的空间可用于在调试时编辑代码时可能添加的局部变量。

您还看到了 /RTC 的效果，它将所有局部变量初始化为 0xcccccccc，以便更容易诊断由于忘记初始化变量而导致的问题。当然，这些代码都不是在默认的发布配置设置中生成的。

于 2013-04-04T09:09:18.957 回答