静态成员的静态数组：初始化命令惨败的可能性

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;
}

如果按预期工作，但我使用静态变量（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

不，这里没有惨败。定义一个转换单元内的静态变量初始化的顺序，并且它们按其定义的顺序排列。

使它成为constexpr会改变一些事情，但不会改变初始化顺序。