C++类含引用成员：自定义构造报错、合成构造无错原因查询

第一个自定义构造函数类报错的原因 #

你给出的第一个代码示例：

class a {
   int b;
   int &c; // uninitialized
   a(int x): b(x) {}
};

• 你显式定义了类的构造函数，编译器会直接检查该构造函数的初始化逻辑：引用类型成员必须在构造函数的初始化列表中完成绑定，这里缺少c的初始化步骤，因此直接触发编译错误，完全符合「引用必须初始化」的语法规则。

第二个使用合成构造函数的类未报错的原因 #

你给出的第二个代码示例：

class a {
   int b;
   int &c;
};

你看到的「不报错」本质是没有触发编译器对合成构造函数的合法性校验，核心逻辑如下：

• 当类中包含没有默认初始化的引用类型成员时，编译器隐式声明的合成默认构造函数会被标记为*弃置（deleted）*状态，本身就不允许被调用。
• 只要你没有在代码中实际实例化这个类的对象（比如写a obj;）、没有触发这个合成构造函数的调用，编译器不会主动对未使用的弃置函数做全量检查，因此不会抛出错误。
• 如果你实际尝试创建该类的实例，编译器会立刻触发合成构造函数的实例化校验，报出和第一个场景完全一致的「引用成员未初始化」错误。

你之前的认知是完全正确的：引用必须完成显式初始化才能使用，不存在合成构造函数自动初始化引用的情况，第二个场景未报错只是没有触发构造函数的调用校验而已。

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