C++默认初始化是否保留先前的零初始化

Does C++ default-initialization preserve prior zero-initialization?

本文关键字：初始化 保留 默认 是否 C++      更新时间：2023-10-16

如果具有静态存储持续时间的对象的C++构造函数没有初始化成员，这是保留先前的零初始化所必需的，还是使成员具有不确定的值？

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

示例：

#include <iostream>
struct Foo { Foo(); int x; } object;
Foo::Foo() { }
int main() { std::cout << object.x << std::endl; }

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

该成员的值不确定。

但通过各种初始化的细节，这似乎不正确。成员对象.x初始化为零，因为它有静态存储持续时间，然后我看不到任何改变。

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

实体默认初始化。

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

不执行初始化

我读到这意味着以前的零初始化不会被默认初始化所改变。

我是否缺少其他一些文本，这些文本在构造函数调用开始时将所有成员重置为"不确定值"？

我在stackoverflow上发现了关于零初始化和默认初始化，但我看不到分析了默认初始化之后会发生什么同一实体的一些早期初始化。

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

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

如果没有为对象指定初始值设定项，则该对象为默认初始化；如果未执行初始化，则具有自动或动态存储持续时间具有不确定值。[注：具有静态或线程存储持续时间的对象被零初始化，见3.6.2.-尾注]

至：

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

[…]

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

由于注释中出现了新的位置，同样的更改也修改了[expr.new]部分，使不确定值部分成为注释：

如果省略了新的初始值设定项，则默认初始化对象（8.5[dcl.init]）；if.[注意：如果未执行初始化，则对象的值不确定--尾注]

本节开头写道：

[…]由新表达式创建的实体具有动态存储持续时间（3.7.4）。[…]

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

这一变化也很有趣，因为在这一变化之前，C++标准中没有定义术语"不确定值"。

相关文章：