C ++静态变量初始化顺序

Question

1）如果我没有弄错，C ++标准保证单个翻译单元中的静态变量按其定义顺序初始化。 我对以下代码片段感到困惑：

extern int n;
int k = n;
int n = 2;

extern int n; 是声明，而不是定义，因此k在n之前定义，但是GCC，Clang和MSVC都在全局变量初始化后向我显示k == 2 。 对我来说，目前还不清楚在int k = n;之后如何将k赋值为2 int k = n; ，因为n尚未在该点初始化，其值必须为零。

如果我们将最后一行更改为：

int n = func();

其中func()是非constexpr，然后k将被指定为零，正如我所期望的那样。 那么，在编译时初始化全局变量会改变初始化的顺序吗？

2）这是另一个代码片段：

class Base
{
public:
    struct static_constructor
    {
        static_constructor()
        {
             i = 1;
        }
    };
    static static_constructor constructor;
    static int i;
};

Base::static_constructor Base::constructor;
int Base::i = 2;

当定义Base::constructor ，将调用其构造函数，并执行i = 1赋值。 但是在这一点上， Base::i还没有定义，所以，请你能解释一下此时会发生什么，为什么Base::i最终会等于1？

Answer 1

第一个场景在[basic.start.init] / 2中定义得很好：

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

执行常量初始化 ：

• 如果在具有静态或线程存储持续时间的引用的初始值设定项中出现的每个完整表达式（包括隐式转换）是常量表达式（5.19）并且引用绑定到指定具有静态存储持续时间的对象的左值或临时（见12.2）;
• 如果具有静态或线程存储持续时间的对象由构造函数调用初始化，如果构造函数是constexpr构造函数，如果所有构造函数参数都是常量表达式（包括转换），并且在函数调用替换（7.1.5）之后，每个mem-initializers中的构造函数调用和完全表达式以及非静态数据成员的brace-or-equal-initializers是一个常量表达式;
• 如果具有静态或线程存储持续时间的对象未通过构造函数调用初始化，并且其初始化程序中出现的每个完整表达式都是常量表达式。

零初始化和常量初始化一起称为静态初始化 ; 所有其他初始化是动态初始化 。 在进行任何动态初始化之前，应执行静态初始化。 （......）

（强调我的）

这个相当冗长的段落的结果是

int n = 2;

是静态初始化 ，而

int k = n;

是动态初始化 （因为n不是常量表达式），因此n在k之前初始化，即使它稍后出现在代码中也是如此。

同样的逻辑适用于的情况下Base::static_constructor例-由于构造Base::static_constructor不constexpr ， Base::constructor 动态初始化 ，而Base::i被静态初始化 。 因此， Base::i的初始化发生在Base::constructor的初始化之前。

另一方面，第二种情况

int n = func();

将你直接置于未指明行为的领域，并在[basic.start.init] / 3中明确提到：

允许实现以静态存储持续时间的形式执行非局部变量的初始化作为静态初始化，即使这样的初始化不需要静态地完成，只要这样做，

• 初始化的动态版本在初始化之前不会更改命名空间作用域的任何其他对象的值，并且
• 初始化的静态版本在初始化变量中产生与动态初始化产生的值相同的值，如果不需要静态初始化的所有变量都是动态初始化的。

[ 注意：因此，如果对象obj1的初始化引用了命名空间范围的对象obj2 ，可能需要动态初始化并且稍后在同一个转换单元中定义，则未指定所使用的obj2的值是否为完全初始化的obj2 （因为obj2是静态初始化的）或者只是零初始化的obj2的值。 例如，

 inline double fd() { return 1.0; } extern double d1; double d2 = d1; // unspecified: // may be statically initialized to 0.0 or // dynamically initialized to 0.0 if d1 is // dynamically initialized, or 1.0 otherwise double d1 = fd(); // may be initialized statically or dynamically to 1.0 

- 结束说明 ]