use*_*586 9 c++ constructor language-lawyer storage-duration
如果具有静态存储持续时间的对象的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()调用) )？
缺陷报告 1787导致N3914中记录的更改被应用于 C++14 的标准草案。其中 [dcl.init] 第 12 段由以下内容更改：
\n\n\n\n\n如果没有为对象指定初始化程序，则该对象将被默认初始化；如果未执行初始化，则具有自动或动态存储持续时间的对象具有不确定的值。[ 注意：\n 具有静态或线程存储持续时间的对象是零初始化的，\n 参见 3.6.2。\xe2\x80\x94 尾注]
\n
到：
\n\n\n\n\n如果没有为对象指定初始化程序，则该对象将被默认初始化。当获取具有自动或动态存储持续时间的对象的存储时，该对象具有不确定的值，并且如果未对该对象执行初始化，则该对象将保留不确定的值，直到该值被替换为止。 （5.17 [表达式.ass]）。[注意：具有静态或线程存储持续时间的对象是零初始化的，请参阅 3.6.2 [basic.start.init]。\xe2\x80\x94end\n 注意] 如果计算产生不确定值，则\n 行为未定义，但以下情况除外：
\n\n[...]
\n
这清楚地表明，不确定值的情况仅发生在自动或动态存储持续时间的对象上。由于这是通过缺陷报告应用的，因此它可能也适用于 C++11，因为缺陷报告发生在 C++14 被接受之前，但它也可以应用得更早。我一直不清楚缺陷应适用多长时间的规则。
\n\n由于放置 new 是在注释中提出的，因此相同的更改还修改了[expr.new]部分，使不确定值部分成为注释：
\n\n\n\n\n如果省略 new-initializer，则该对象将被默认初始化\n (8.5 [dcl.init])；如果。[注意：如果未执行初始化，则对象具有不确定的值。\xe2\x80\x94结束注]
\n
该节的开头说：
\n\n\n\n\n[...]由 new 表达式创建的实体具有动态存储\n 持续时间 (3.7.4)。[...]
\n
这似乎足以应用[dcl.init]部分中的更改。
\n\n此更改也很有趣，因为在此更改之前，C++ 标准中尚未定义术语“ 不确定值”。
\n