C++ 为什么成员没有默认初始化？

Question

如果我有一个 struct Foo 和一个 struct Bar：

struct Foo {
  int a, b;
};

struct Bar {
  Foo foo;  
  int c;
};

如果我初始化一个Bar并打印我正确得到的值：

int main() {
  Bar bar = {}; // I call the default constructor
  std::cout << bar.foo.a << " "; // 0
  std::cout << bar.foo.b << " "; // 0
  std::cout << bar.c << std::endl; // 0

  return 0;
}

但是现在如果我声明一个这样的构造函数：

struct Bar {
  Bar() : c(5) {}

  Foo foo;  
  int c;
};

我失去了Bar::foo的默认构造，程序输出32764 0 5 ！

为什么我不得不像这样愚蠢地初始化每个成员变量：

struct Bar {
  Bar() : c(5) {}

  Foo foo{};  
  int c;
};

只要我声明一个构造函数？ 为什么在这种情况下默认构造不起作用？

Answer 1

在 C++ 中，如果您有一个默认构造函数，并且变量没有使用初始化列表进行初始化，那么它默认构造为一个不确定的值。 这是一个尚未修复的值得注意的行为，所以我认为它要么是有意的，要么更有可能被接受。

来自CPP 参考：

笔记

具有自动和动态存储持续时间的非类变量的默认初始化产生具有不确定值的对象（静态和线程局部对象初始化为零）

引用和 const 标量对象不能默认初始化。