C++怎么显式要求生成默认构造函数-C++-PHP中文网

a() = default; 仅在无用户构造函数且所有成员可默认构造时类内生效；含const/引用成员时须类外定义并显式初始化，否则编译失败；类内写a(){}会破坏trivial等属性。

c++怎么显式要求生成默认构造函数

直接写 A() = default; 是最常用方式，但必须满足条件，否则编译失败或无效。

类内声明 `A() = default;` 为什么有时不生效？

编译器只在“没有用户定义任何构造函数”且“所有成员都可默认构造”时，才允许你在类内写 A() = default; 并让它真正起作用。

如果类里已有 A(int) 或其他构造函数，编译器就不再自动生成默认构造函数 —— 此时类内写 A() = default; 才是合法且有效的“恢复”手段
但如果类含 const int x; 或 int& ref;，即使写了 A() = default;，编译也会报错：field 'ref' must be initialized
常见误写：class A { A() = default; int& r; }; → 直接编译失败，因为引用成员没初始化目标

含 const/引用成员时，`= default` 必须写在类外

当类有 const 成员、引用成员，或成员类型本身没有默认构造函数时，= default 只能出现在类定义之外的函数定义处，并且所有 const/引用成员必须有默认成员初始化器（C++11 起支持）。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

正确写法示例：

struct B {
    int& ref;
    const int val = 42; // ✅ 必须提供默认初始化器
    B() = default;      // ❌ 这里仍不行：ref 没法默认初始化
};
<p>// ✅ 正确：类外定义 + 成员初始化器已就位
struct C {
int& ref;
const int val = 42;
C(); // 声明
};
C::C() = default; // 定义：此时 ref 必须绑定到某个生存期足够的变量（比如 static int i; ref(i)）
</p>

注意：C::C() = default; 实际上等价于写了一个空初始化列表 C::C() : ref(/* ??? */), val(42) {}，所以 ref 的绑定目标必须由你显式提供（不能靠 = default 推导）。

`= default` 和手写空构造体 `A() {}` 有区别吗？

有本质区别。前者让编译器生成符合语言规则的默认构造函数（可能 trivial、constexpr、noexcept），后者是用户定义的构造函数，会抑制编译器合成其他特殊成员（如移动构造），还可能丢失 trivial 属性。

A() = default; → 编译器生成的版本，保留 triviality（若成员都 trivial）
A() {} → 用户定义，哪怕函数体为空，也使类变为 non-trivial，影响 POD 判断和 memcpy 安全性
如果你需要 std::is_trivially_constructible_v<a></a> 为 true，就不能用 A() {}，只能用 A() = default;

真正容易被忽略的是：是否 trivial、是否 constexpr、是否 noexcept，这些属性都由 = default 的位置和上下文决定，不是写出来就自动继承的；一旦类里有不可默认构造的成员，哪怕你把 = default 搬到类外，也得先解决那个成员的初始化问题——它不会自己“猜”你要绑谁。