非静的データメンバーとネストされたクラスコンストラクターのクラス内初期化を使用するときのエラー

次のコードは非常に些細なものであり、正常にコンパイルされるはずです。

struct A
{
    struct B
    {
        int i = 0;
    };

    B b;

    A(const B& _b = B())
        : b(_b)
    {}
};

このコードをg ++バージョン4.7.2、4.8.1、clang ++ 3.2および3.3でテストしました。このコードでg ++ 4.7.2 segfaultが発生するという事実（http://gcc.gnu.org/bugzilla/show_bug.cgi?id=57770）を除いて、テスト済みの他のコンパイラーは、あまり説明のないエラーメッセージを出力します。

g ++ 4.8.1：

test.cpp: In constructor ‘constexpr A::B::B()’:
test.cpp:3:12: error: constructor required before non-static data member for ‘A::B::i’ has been parsed
     struct B
            ^
test.cpp: At global scope:
test.cpp:11:23: note: synthesized method ‘constexpr A::B::B()’ first required here 
     A(const B& _b = B())
                       ^

clang ++ 3.2および3.3：

test.cpp:11:21: error: defaulted default constructor of 'B' cannot be used by non-static data member initializer which appears before end of class definition
    A(const B& _b = B())
                    ^

このコードをコンパイル可能にすることは可能で、違いはないようです。2つのオプションがあります。

struct B
{
    int i = 0;
    B(){} // using B()=default; works only for clang++
};

または

struct B
{
    int i;
    B() : i(0) {} // classic c++98 initialization
};

このコードは本当に間違っていますか、それともコンパイラが間違っていますか？

このコードは本当に間違っていますか、それともコンパイラが間違っていますか？

まあ、どちらも。標準欠陥た-それはその両方言うAために初期の解析中に完了したと見なされB::i、それはB::B()（のための初期化を使用するB::i）の定義に使用することができますA。それは明らかに循環的です。このことを考慮：

struct A {
  struct B {
    int i = (A(), 0);
  };
  A() noexcept(!noexcept(B()));
};

これには矛盾があります。つまり、B::B()暗黙的にnoexceptiff A()がスローA()せず、スローしない場合B::B()はです。この領域には、他にも多くのサイクルと矛盾があります。 noexcept

これは、コア問題1360および1397によって追跡されます。特にコア問題1397のこのメモに注意してください：

おそらくこれに対処する最善の方法は、非静的データメンバー初期化子がそのクラスのデフォルトのコンストラクターを使用するように不正な形式にすることです。

これは、この問題を解決するためにClangで実装したルールの特別なケースです。Clangの規則では、クラスのデフォルトでないデフォルトコンストラクターは、そのクラスの非静的データメンバー初期化子が解析されるまで使用できません。したがって、Clangはここで診断を発行します。

    A(const B& _b = B())
                    ^

... Clangはデフォルトの初期化子を解析する前にデフォルトの引数を解析し、このデフォルトの引数は、B（暗黙的に定義するためにB::B()）のデフォルトの初期化子がすでに解析されている必要があるためです。

多分これが問題です：

§12.15.デフォルトであり、削除済みとして定義されていないデフォルトのコンストラクターは、そのクラス型のオブジェクトを作成するために使用されるとき（3.2）、または最初の宣言後に明示的にデフォルトになるときに暗黙的に定義されます。

したがって、デフォルトのコンストラクターは最初に検索されたときに生成されますが、Aが完全に定義されておらず、A内のBが見つからないため、検索は失敗します。