类内嵌套带默认成员初始化的类，如何构造带默认参数的构造函数？

问题代码 #

以下代码在GCC 12.2中无法编译：

struct A {
    struct B {
        int i = 1;
    };
    A(B b = {});
};

编译错误信息 #

<source>:5:14: error: could not convert '<brace-enclosed initializer list>()' from '<brace-enclosed initializer list>' to 'A::B'
    6 |     A(B b = {});
      |              ^
      |              |
      |              <brace-enclosed initializer list>
Compiler returned: 1

已知几个可正常编译的场景：

• 移除B中成员i的默认初始化（即int i;）后可编译
• 将struct B移到A的类外部定义可编译
• 将B b = {}的初始化逻辑放到A::A的函数体内可编译

原因分析 #

这是C++标准中类作用域与默认参数解析规则共同作用的结果：

1. 当B带有默认成员初始化器（int i = 1）时，它不再是C++标准定义的聚合类型，而是需要依赖隐式生成的默认构造函数完成初始化。
2. 在类A内部声明构造函数并指定默认参数{}时，编译器解析这个默认参数的时机是在A的完整定义完成之前。此时虽然B的定义已经可见，但对于非聚合类型的B，编译器无法在默认参数的语境下，将空初始化列表{}隐式转换为B的实例——因为默认参数的初始化规则对嵌套类的隐式构造函数调用有额外的限制。

而当B是聚合类型（无默认成员初始化）、定义在类外（完整类型提前可见），或者初始化逻辑放在函数体内（类已完整定义）时，编译器能正确识别类型并完成初始化。

修复方案 #

提供几种可行的修复方式：

1. 显式用B()作为默认参数

直接指定默认参数为B的默认构造实例，让编译器明确调用默认构造函数：

struct A {
    struct B {
        int i = 1;
    };
    A(B b = B());
};

2. 将B移到类A外部定义

让B的完整类型在A的构造函数声明前就完全可见：

struct B {
    int i = 1;
};
struct A {
    A(B b = {});
};

3. 为B显式声明默认构造函数

显式提供默认构造函数，消除编译器对隐式构造函数的解析限制：

struct A {
    struct B {
        int i = 1;
        B() = default; // 显式默认构造
    };
    A(B b = {});
};

4. 类内声明构造函数，类外补充默认参数

延迟默认参数的定义到类外，此时A和B都已完成完整定义：

struct A {
    struct B {
        int i = 1;
    };
    A(B b);
};

// 类外定义时指定默认参数
A::A(B b = {}) {}

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