1

假设我有一个static const int类成员变量。它直接在类定义中初始化，但在 a 中没有定义.cpp（这没关系，因为它没有被 odr 使用）。

此外，假设这个常量在另一个类的构造函数初始化列表中使用，并且创建了另一个类的全局实例。

// mytype1.hpp
class MyType1
{
public:
    static const int g_myConstant = 42; // no definition in cpp
};

// mytype2.hpp
class MyType2
{
public:
    MyType2();
private:
    int m_myMember;
};

// mytype2.cpp
MyType2::MyType2()
    : m_myMember(MyType1::g_myConstant)
{
}

// otherfile.cpp
// is the reference to MyType1::g_myConstant in the ctor well defined?
MyType2 myType2GlobalInstance;

构造是否myType2GlobalInstance明确？换句话说：C++ 对static const类成员变量的静态初始化顺序有什么保证？

由于没有定义该常量，因此可能没有需要初始化的内存，并且该变量的行为更像是预处理器宏..但这可以保证吗？常量是否定义有区别吗？

如果成员变量是 ，它会改变什么static constexpr吗？

4

1 回答 1

1

对于静态初始化，在 C++14 之前，零初始化发生在常量初始化之前。从 C++14 开始，发生常量初始化而不是零初始化。常量初始化基本上发生在由常量表达式（或 constexpr 构造函数）进行值初始化的对象和引用上。详情在这里。

如果编译器可以保证值与遵循标准的初始化顺序相同，则允许编译器使用常量初始化来初始化其他静态对象。在实践中，常量初始化在编译时执行，预先计算的对象表示作为程序映像的一部分存储。如果编译器不这样做，它仍然必须保证此初始化发生在任何动态初始化之前。

m_myMember不是静态初始化的，因为它的类构造函数不是constexpr. g_myConstant是常量初始化的。usingstatic constexpr强制编译器在编译时初始化值，如果没有constexpr，编译器可能在编译时初始化。您的构造定义明确。

从cppreference看这个例子：

#include <iostream>
#include <array>

struct S {
    static const int c;
};
const int d = 10 * S::c; // not a constant expression: S::c has no preceding
                         // initializer, this initialization happens after const
const int S::c = 5;      // constant initialization, guaranteed to happen first
int main()
{
    std::cout << "d = " << d << '\n';
    std::array<int, S::c> a1; // OK: S::c is a constant expression
//  std::array<int, d> a2;    // error: d is not a constant expression
}

但是现在，如果我们改变初始化顺序，它会编译：

#include <iostream>
#include <array>

struct S {
    static const int c;
};
//both inits are now constant initialization
const int S::c = 5;
const int d = 10 * S::c;
int main()
{
    std::cout << "d = " << d << '\n';
    std::array<int, S::c> a1;
    std::array<int, d> a2; //now, it's ok
}
于 2019-10-10T17:36:02.217 回答