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会改变几件事，但不会改变初始化顺序。

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

2 个答案: