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

Question

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

struct Foo {
  int a, b;
};

struct Bar {
  Foo foo;  
  int c;
};

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

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参考：

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

无法默认初始化引用和常量标量对象。