C++14中内部类默认构造函数在外部类默认参数中使用的限制原因

这其实是Clang严格遵循C++14标准规则的结果，而MSVC做了非标准的宽松处理，咱们一步步拆解原因：

首先看你提到的第一种写法：

struct A { struct B { int c = 0; }; void a(B b = B()) {} };

这里内部类B的默认构造函数是编译器隐式生成的（defaulted default constructor）——因为你给成员c加了类内初始化器，C++14标准规定这种情况下，B的默认构造函数会被延迟到它首次被实际使用时才会被编译器定义出来。

问题就出在成员函数a的默认参数B()上：默认参数的解析是在类A的定义上下文中完成的，而不是在函数a的体内。此时，B的默认构造函数还没有被编译器生成（因为还没到它被实际调用的时机），Clang严格执行标准，认为在这个上下文里不能使用还未定义的默认构造函数，所以抛出了那个错误。

而当你手动显式定义B的构造函数时：

struct A { struct B { int c; B(): c(0) {} }; void a(B b = B()) {} };

B的默认构造函数是用户显式提供的，它在B的类定义阶段就已经存在了，不需要等待首次使用才生成。所以在a的默认参数里使用B()时，编译器能找到明确的构造函数定义，自然就能正常编译。

至于MSVC能通过两种写法，是因为它对这个标准规则做了宽松处理——可能在默认参数的上下文里提前触发了默认构造函数的隐式定义，或者它的实现逻辑没有严格遵循C++14中延迟定义的要求，所以兼容了这种非标准的写法。

补充一下Clang错误信息的关键点：错误里说“cannot use defaulted default constructor of 'B' within 'A' outside of member functions because 'c' has an initializer”，这里的“outside of member functions”其实指的是成员函数的默认参数这种上下文，而不是函数体内。如果把代码改成这样：

struct A { struct B { int c = 0; }; void a(B b) { b = B(); } };

Clang是能正常编译的，因为B()是在函数体内被使用，此时会触发默认构造函数的隐式定义，符合标准要求。

内容的提问来源于stack exchange，提问作者monoceres