C++ 结构体的存储持续时间和成员初始化

Question

C++ 结构体的存储持续时间和成员初始化

J L*_*J L 3 c++ struct initialization member storage-duration

#include <iostream>

using namespace std;

struct A {
    // Some Other Code
    int x;
};

A a1;

int main(){
    A a2;
    cout << "a1.x = " << a1.x << endl;
    cout << "a2.x = " << a2.x << endl;
    return 0;
}

Run Code Online (Sandbox Code Playgroud)

C++14 标准 (ISO/IEC 14882:2014) 第 8.5 节，第 12 段：

如果没有为对象指定初始化程序，则该对象是默认初始化的。当获得具有自动或动态存储期限的对象的存储时，该对象具有不确定值，如果没有对该对象执行初始化，则该对象保留一个不确定值，直到该值被替换（5.17）。[注意：具有静态或线程存储持续时间的对象是零初始化的，参见 3.6.2。- 尾注]

那么a1有静态存储持续时间和a2自动存储持续时间吗？的定义Struct A在全局命名空间以及a1声明中，而a2声明在块范围内（在main()函数内部）。

此外，第 3.6.2 节说：

第 1 段：

作为程序启动的结果，具有静态存储持续时间的非局部变量被初始化。

第 2 段：

具有静态存储持续时间 (3.7.1) 或线程存储持续时间 (3.7.2) 的变量应在任何其他初始化发生之前进行零初始化 (8.5)。

此外，使用 gcc 5.4.0 我得到一个警告 ( warning: 'a2.A::x' is used uninitialized in this function [-Wuninitialized]) 和一个随机值，但使用 clang 3.8.0 输出总是a2.x = 0（零也可以是不确定的值）。我还进行了其他更复杂的实验，将嵌套structs 和默认初始化放在// Some Other Code. 有时我会得到随机值，而其他时候（不是可以忽略的数量）我会得到零。

什么是 Struct 的存储期限A？和对象a1和a2？而变量a1.x和a2.x？
应该a1.x并被a2.x零初始化？或者它们是不确定的值？
同样的规则适用于class和union吗？
中的代码有// Some Other Code什么不同吗？例如，如果类 T“具有带有默认初始值设定项的非静态成员”（如 in struct A { int b = 1; int x; };），则默认构造函数不能是微不足道的（即不能执行任何操作）。那个非平凡的构造函数也会初始化x吗？平凡的默认构造函数