C++11 VS2013类POD成员初始化

Question

我到处寻找对此的解释，但我做不到。我从 VS2013 v120 平台工具集中看到了这种行为，但是当我将工具集设置为 v90（VS2008 工具集）时，一切都未初始化。我相信这是由于 C++11 的一些变化，但也可能是 v120 平台工具集的异常。

谁能解释一下 C++/C++11 级别的情况？也就是说，为什么b 被清零了？为什么j 也没有归零？ （即为什么结构与类的行为不同）

另外，我知道我输出数据的方式是未定义的行为，请忽略它。以这种方式在此处发布比调试器窗口更容易。这是在 32 位上运行的，因此指针的大小与 unsigned int 相同。

考虑以下代码：

#include <iostream>

class Foo {
public:
  int a,
      *p;
};

class Bar {
public:
  Bar(){}
  int a,
      *p;
};

struct Jar {
  Jar(){}
  int a,
      *p;
};

int main() {
  Foo f;
  Bar b;
  Jar j;
  std::cout << std::hex; // please excuse this undefined-behavior producing test code, it's more simple to show this than a debugger window on SO (this is on 32-bit)
  std::cout << "f: " << ((unsigned*)&f)[0] << ' ' << ((unsigned*)&f)[1] << std::endl;
  std::cout << "b: " << ((unsigned*)&b)[0] << ' ' << ((unsigned*)&b)[1] << std::endl;
  std::cout << "j: " << ((unsigned*)&j)[0] << ' ' << ((unsigned*)&j)[1] << std::endl;
  return 0;
}

这是输出：

f: cccccccc cccccccc  
b: 0 0  
j: cccccccc cccccccc

编辑：
这是我看到的与Bar b; 相关的反汇编 __autoclassinit2 正在将内存归零。它不是构造函数的一部分，而是在构造函数调用之前归零。

  Bar b;
00886598  push        8  
0088659A  lea         ecx,[b]  
0088659D  call        Bar::__autoclassinit2 (0881181h)  
008865A2  lea         ecx,[b]  
008865A5  call        Bar::Bar (0881109h)  

Answer 1

您的所有类型都包含内置类型的数据成员，因此除非您执行以下操作之一（以Foo 为例），否则它们都不会被零初始化：

初始化默认构造函数中的成员：

class Foo {
public:
  Foo() : a(), p() {}
  int a,
      *p;
};

或非静态数据成员初始化器（brace-or-equal-initializer）

class Foo {
public:
  int a = 0,
      *p = nullptr;
};

或者保持Foo不变，并且值初始化实例

Foo f{};

---

使用原始示例，我无法重现您使用 VS2013、32 位调试版本观察到的结果。我得到的输出是

f: cccccccc cccccccc
b: cccccccc cccccccc
j: cccccccc cccccccc

---

编辑：我能够重现 b 被零初始化的行为。如果您启用 /sdl（安全开发生命周期检查）编译器开关（在配置属性 -> C/C++ -> 常规下），则会发生这种情况。

来自MSDN documentation 的开关：

启用/sdl 时，编译器会生成代码以在运行时执行这些检查：
— ...
— 执行类成员初始化。 在对象实例化时（在构造函数运行之前）自动将所有类成员初始化为零。这有助于防止使用与构造函数未显式初始化的类成员关联的未初始化数据。

这个blog post 甚至提到了__autoclassinit 函数，尽管他列出的启发式方法与我们观察到的不完全匹配，因为此功能has changed between VS2012 和VS2013 的行为。

同样一文不值的是，编译器似乎不仅区分聚合（Foo）和非聚合（另外两个），这是有道理的，但由于某些真正奇怪的原因，它只会执行此操作如果您在类定义中使用 class-key class 而不是 struct，则零初始化。