C++:局部自动变量是否初始化？ Stroustrup 示例

Question

以下示例来自 Stroustrup C++ 4th Ed。第 519 页。这是我从 K&R C 和更早的 Stroustrup 书中的理解，即原始类型的局部自动变量 未定义或未知被初始化 .原始类型的静态变量或具有默认构造函数的类的自动变量被初始化。
这意味着 int b应该是未定义的并且不知道被初始化。然而，Stroustrup 添加了以下代码注释说 b = 0 .这是勘误吗？或者也许是使用默认构造函数调用的一些行为？
谢谢

struct S { 
   string a;
   int b;
};

void f(void) {
   S s0 {}; // default construction: {"",0}
   // ...
}

Answer 1

这很简单。您可以保留未初始化的内置类型变量，也可以要求编译器对它们进行零初始化。
S s1;//字符串默认初始化，int 未初始化
S s2{};//所有字段都被初始化。

注意 {} .这(在这种情况下)要求编译器初始化所有字段。