初始化該類的靜態對象的初始化之前是否保證了類的靜態成員的初始化？

Question

我最近在代碼審查中遇到了這個與C++靜態初始化相關的查詢。

1. 我和靜態成員變量類編譯單元
2. 我在不同的編譯單元

這裏使用一個構造函數，類的靜態對象，我想知道靜態成員變量是否保證在靜態對象構造函數被調用之前被初始化？

MyClass.h：

typedef int (*MyFunc)(int); 
class MyClass { 
MyClass(MyFunc fptr) { 
    mFunc = fptr; 
} 
static MyFunc mFunc; 
} 

MyClass.cpp：

MyFunc MyClass::mFunc = nullptr; 

MyDifferentClass.h：

MyDifferentClass { 
public: 
    static int MyStaticFunc(int); 
} 

MyDifferentClass.cpp：

static MyClass myClassObj(MyDifferentClass::MyStaticFunc); 

在代碼中，將mFunc被初始化爲nullptrmyClassObj之前被創造出來的？查詢的原因是，如果訂單不能保證，那麼mFunc可能會重新初始化爲nullptr。

Answer 1

在代碼中，將mFunc被初始化爲nullptrmyClassObj之前被創造出來的？查詢的原因是，如果訂單不能保證，那麼mFunc可能會重新初始化爲nullptr。

該問題的答案是「是」。

拋開線程指定對象的初始化問題，非局部變量的初始化按以下順序執行。

1. 所有變量都是零初始化的（未指定順序）。這被稱爲零初始化。
2. 所有可以使用常量值初始化的變量都被初始化。這稱爲不斷初始化。

那些（上述1和2）被稱爲靜態初始化。

之後，執行動態初始化。

在你的情況，MyClass::mFunc使用常數初始化而myClassObj使用動態初始化初始化初始化。因此，前者保證首先被初始化。

有關此主題的更多信息，請訪問https://timsong-cpp.github.io/cppwp/n3337/basic.start.init。