使用非静态数据成员的类内初始化和嵌套类构造函数时出错

以下代码非常简单，我希望它可以编译良好。

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 segfaults（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())
                    ^

使此代码可编译是可能的，并且似乎没有什么区别。有两种选择：

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()隐式地noexcept当A()没有抛出，而A()不会引发当且仅当B::B()是没有 noexcept。这个领域还有许多其他周期和矛盾。

这是由核心问题跟踪的 1360和1397。在核心问题1397中特别注意此说明：

解决此问题的最佳方法可能是使非静态数据成员初始化程序使用其类的默认构造函数格式错误。

这是我用Clang实施以解决该问题的规则的特例。Clang的规则是，在解析该类的非静态数据成员初始化器之前，不能使用该类的默认默认构造函数。因此Clang在这里发出诊断信息：

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

...因为Clang在解析默认初始化器之前先解析默认参数，并且此默认参数将要求B已经解析了默认初始化器（以便隐式定义B::B()）。

也许这是问题所在：

§12.15.当默认使用（3.2）创建其类类型的对象（1.8）或在其首次声明后明确将其默认设置时，会隐式定义默认且未定义为删除的默认构造函数

因此，默认构造函数是在首次查找时生成的，但是查找将失败，因为A尚未完全定义，因此无法找到A内的B。