9

如果具有静态存储持续时间的对象的 C++ 构造函数未初始化成员，是否需要保留先前的零初始化，或者它是否使成员具有不确定的值？

我对 C++ 规范的解读是它自相矛盾。

例子：

#include <iostream>

struct Foo { Foo(); int x; } object;

Foo::Foo() { }

int main() { std::cout << object.x << std::endl; }

Foo() 构造函数没有显式初始化成员 object.x，因此根据 12.6.2 第 8 段中的注释：

该成员具有不确定的价值。

但是仔细研究各种初始化的细节，这似乎是不正确的。成员 object.x 是零初始化的，因为它具有静态存储持续时间，然后我看不到任何改变它的东西。

关于构造函数，适用的 12.6.2 中的文本是：

实体是默认初始化的。

在 8.5 第 7 段中，默认初始化的相关案例是：

... 不执行初始化

我读到这意味着默认初始化不会更改先前的零初始化。

我是否遗漏了其他一些在构造函数调用开始时将所有成员重置为“不确定值”的文本？

我在 stackoverflow 上发现了有关零初始化和默认初始化的各种其他问题，但我看不到任何分析默认初始化跟随同一实体的一些早期初始化时会发生什么的任何问题。

在这种情况下，可能没有实际效果。但是在一个更复杂的构造函数中，一些成员初始化而其他成员没有，编译器是否必须准确跟踪哪些字节/位被初始化？或者它可以只初始化整个对象（例如，将构造函数简化为 memset() 调用)?

4

1 回答 1

3

缺陷报告 1787导致N3914中记录的更改应用于 C++14 标准草案。从以下更改 [dcl.init] 第 12 段：

如果没有为对象指定初始化器，则该对象是默认初始化的；如果不执行初始化，则具有自动或动态存储持续时间的对象具有不确定的值。[ 注意：具有静态或线程存储持续时间的对象是零初始化的，请参见 3.6.2。——尾注]

到：

如果没有为对象指定初始化程序，则该对象是默认初始化的。当获得具有自动或动态存储持续时间的对象的存储时，该对象具有一个不确定的值，如果没有对该对象执行初始化，该对象将保留一个不确定的值，直到该值被替换 （5.17 [expr.ass]） . [注意：具有静态或线程存储持续时间的对象是零初始化的，请参见 3.6.2 [basic.start.init]。—尾注]如果评估产生不确定的值，则行为未定义，但以下情况除外：

[...]

这清楚地表明，不确定值的情况只发生在自动或动态存储期限的对象上。由于这是通过缺陷报告应用的，它可能也适用于 C++11，因为缺陷报告发生在 C++14 被接受之前，但它也可以进一步应用。关于缺陷应该应用多远的规则对我来说从来都不是很清楚。

由于在评论中提出了新位置，因此同样的更改也修改了[expr.new]部分，使不确定值部分成为评论：

如果省略 new-initializer，则对象默认初始化（8.5 [dcl.init]）；如果。[注意：如果不执行初始化，则对象具有不确定的值。——尾注]

该部分的开头说：

[...]由 new-expression 创建的实体具有动态存储持续时间 (3.7.4)。[...]

这似乎足以应用部分[dcl.init]中的更改。

此更改也很有趣，因为在此更改之前， C++ 标准中未定义术语不确定值。

于 2015-11-01T00:08:39.190 回答