クラスの静的メンバーの初期化は、そのクラスの静的オブジェクトの初期化前に保証されていますか？

Question

コードレビューでこのC++静的初期化順序関連のクエリが最近発生しました。

1. 私は私がしたい、ここで

異なるコンパイル単位でコンストラクタを使用して、そのクラスの静的オブジェクトをしました

コンパイル単位内の静的メンバ変数を持つクラスをしました静的オブジェクトコンストラクタが呼び出される前に静的メンバ変数が初期化されることが保証されているかどうかを確認しますか？

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：myClassObjが作成される前にコードで

static MyClass myClassObj(MyDifferentClass::MyStaticFunc); 

は、mFuncnullptrに初期化されるだろうか？クエリの理由は、注文が保証されていない場合、mFuncがnullptrに再び初期化される可能性があるためです。コードで

Answer 1

myClassObjが作成される前に、mFuncnullptrに初期化されるだろうか？クエリの理由は、注文が保証されていない場合、mFuncがnullptrに再び初期化される可能性があるためです。

質問に対する回答は「はい」です。

スレッド固有のオブジェクトの初期化の問題を除いて、非ローカル変数の初期化は次の順序で実行されます。

1. すべての変数はゼロで初期化されています（順序は指定されていません）。これはゼロ初期化と呼ばれます。
2. 定数値を使用して初期化できるすべての変数が初期化されます。これは、定数の初期化と呼ばれます。

これらは、スタティック初期化と呼ばれます。

その後、動的初期化が実行されます。あなたのケースでは

は、MyClass::mFuncは動的初期を使用して初期化されmyClassObjながら定数の初期化を使用して初期化されます。したがって、前者は最初に初期化されることが保証されています。

このトピックの詳細はhttps://timsong-cpp.github.io/cppwp/n3337/basic.start.initにあります。