为何未定义基类构造函数时无法初始化派生类的引用？

核心差异拆解 #

你遇到的情况本质是引用成员初始化规则、编译器默认构造函数生成逻辑，以及对聚合初始化的误解共同导致的：

1. 当前代码的编译逻辑 #

你的代码中，结构体A包含B&类型成员b_：

• 当注释掉A(B& b):b_(b){}时，A没有用户定义的构造函数。根据C++标准，只要类存在引用类型的非静态数据成员，编译器会删除默认构造函数（不会自动生成）。此时B的构造函数B():A(*this)试图调用A的默认构造函数，必然编译失败。
• 移除注释后，A有了用户定义的构造函数，B的构造函数可以通过A(*this)正确初始化b_成员，因此代码能正常编译运行。

2. int&类型"无需构造函数工作"的真相 #

你提到的int&成员无需构造函数就能运行，大概率是误将聚合初始化当成了"无构造函数运行"。举个实际例子：

struct C {
    int& ref;
};

int main() {
    int x = 5;
    C c{x}; // 这是C++11及以后支持的聚合初始化，并非调用默认构造函数
    // C c; // 这行代码依然会编译失败，因为C的默认构造函数已被删除
}

像C这样的简单结构体属于聚合类型，可以直接用花括号初始化成员，不需要用户定义构造函数，但这和"默认构造函数存在"是两回事——如果尝试直接默认构造C c;，依然会因为引用成员未初始化而编译报错。

3. 代码中的潜在风险 #

你的代码里B():A(*this)存在隐患：在B的构造函数调用基类A的构造函数时，B的成员x还未完成初始化（基类构造先于派生类成员初始化）。虽然这里x是类内初始化的int x =5;，在C++11及以后会在基类构造后、派生类构造函数体执行前完成初始化，所以输出b.b_.x能得到5，但如果x是需要构造的复杂类型，可能会触发未定义行为。

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