c++ - グローバル (extern) 変数の相互初期化

Question

クロスファイル スコープ (extern) を持つ変数を初期化するときに、コンパイラ/リンカーが実際のコードを生成する方法を理解するのに問題があります。つまり、これらはどのような順序でインスタンス化されるのでしょうか? これは、変数の少なくとも 1 つが他の変数を使用して定義されている場合に問題があるようです...たとえば、これは期待どおりに機能します。

main.cpp:

    #include <iostream>
    using namespace std;

    extern int varA;

    int varB=1;

    int main ()
     {
      cout << "varA = " << varA << endl;
      cout << "varB = " << varB << endl;
      system ("pause");
      return 0;
     }

変数A.cpp

extern int varB;
int varA=varB;

出力は次のとおりです。

varA = 1   --> as expected!!
varB = 1   --> as expected!!

さて、もう少し複雑な以下は予期しない結果をもたらします:

classB.h ファイル:

#ifndef H_classB
#define H_classB

class classB {
public: 
    classB();
    int varB;
};

#endif

classB.cpp ファイル:

#include "classB.h"

classB myB;  // defined => cross-file scope by using extern in other files

classB::classB() {
    varB=1; // constructor initialized varB to 1
}

classA.h ファイル:

#ifndef H_classA
#define H_classA

class classA {
public: 
    classA();
    int varA;
};

#endif

classA.cpp ファイル:

#include "classA.h"
#include "classB.h"

extern classB myB;

classA myA; // defined => cross-file scope by using extern in other files

classA::classA() {
    varA=myB.varB;  // constructor initialized varA to the value of the instance
                    // variable varB of the pre-instantiated object myB (defined 
                    //in classB.cpp). 
}

main.cpp:

#include <iostream>
using namespace std;

#include "classA.h"
#include "classB.h"

extern classA myA;
extern classB myB;

int main ()
{

  cout << "myA.varA = " << myA.varA << endl;
  cout << "myB.varB = " << myB.varB << endl;

  system ("pause");
  return 0;
}

この場合、出力は次のとおりです。

myA.varA = 0   --> WHY??? shouldn't it be 1? 
myB.varB = 1   --> as expected!

この動作の背後にある理論的根拠は何ですか?

Answer 1

これは実装定義であり、可能な限り避けることをお勧めします。