7

如果我有一个带有数组成员的结构，并且我在结构的构造函数中显式调用了数组的默认构造函数，那么元素会被默认构造吗？（在整数数组的情况下，这意味着初始化为零）。

struct S
{
    S() : array() {}

    int array[SIZE];
};

...

S s;
// is s.array zero-initialized?

对 gcc 的快速测试表明情况确实如此，但我想确认我可以依赖这种行为。

（我注意到，如果我没有在结构构造函数中显式默认构造数组，则数组元素具有随机值。）

4

1 回答 1

12

是（突出显示我的）：

(C++03 8.5)

对 T 类型的对象进行值初始化意味着：

  • 如果 T 是具有用户声明的构造函数（12.1）的类类型（第 9 条），则调用 T 的默认构造函数（如果 T 没有可访问的默认构造函数，则初始化是错误的）；

  • 如果 T 是没有用户声明的构造函数的非联合类类型，则 T 的每个非静态 > 数据成员和基类组件都是值初始化的

  • 如果 T 是一个数组类型，那么每个元素都是值初始化的；

  • 否则，对象被零初始化

...

初始值设定项为空括号集的对象，即 ()，应进行值初始化。

于 2011-06-27T21:43:03.530 回答