静态成员的静态数组:初始化顺序失败的可能性

Question

考虑以下代码：

class Foo {
public:
    static const char one[];
    static const char two[];
    static const char* all[];
};

const char Foo::one[] = "one";
const char Foo::two[] = "two";
const char* Foo::all[] = {Foo::one, Foo::two};

int main()
{
    for (const auto& x: Foo::all) {
        std::cout << x << std::endl;
    }
    return 0;
}

If按预期工作，但我使用静态变量(one和two)来初始化另一个静态变量。我会在这里遇到静态初始化顺序失败吗？

我还可以将constexpr添加到所有声明中，并将初始化移动到声明中：

class Foo {
public:
    static const constexpr char one[] = "one";
    static const constexpr char two[] = "two";
    static const constexpr char* all[] = {one, two};
};

它会改变静态初始化顺序的失败吗？

Answer 1

在一个TU中，初始化的顺序是指定的(从上到下)，所以你不会有问题。

即使拆分成不同的TU，你也不会读取值，所以也没问题。(例如，它将用于const std::string Foo::all[] = {Foo::one, Foo::two} )。

Answer 2

不，这里没有惨败。在一个翻译单元中定义静态变量初始化的顺序，并且它是按照它们的定义的顺序。

将其设置为常量will会改变一些事情，但不会改变初始化顺序。