A() = default; 仅在无用户构造函数且所有成员可默认构造时类内生效；含const/引用成员时须类外定义并显式初始化，否则编译失败；类内写A(){}会破坏trivial等属性。
直接写 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 起支持）。
- 正确写法示例：
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)）
注意：C::C() = default; 实际上等价于写了一个空初始化列表 C::C() : ref(/* ??? */), val(42) {}，所以 ref 的绑定目标必须由你显式提供（不能靠 = default 推导）。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
= default 和手写空构造体 A() {} 有区别吗？
有本质区别。前者让编译器生成符合语言规则的默认构造函数（可能 trivial、constexpr、noexcept），后者是用户定义的构造函数，会抑制编译器合成其他特殊成员（如移动构造），还可能丢失 trivial 属性。
-
A() = default;→ 编译器生成的版本，保留 triviality（若成员都 trivial） -
A() {}→ 用户定义，哪怕函数体为空，也使类变为 non-trivial，影响 POD 判断和 memcpy 安全性 - 如果你需要
std::is_trivially_constructible_v<A>为 true，就不能用A() {}，只能用A() = default;
真正容易被忽略的是：是否 trivial、是否 constexpr、是否 noexcept，这些属性都由 = default 的位置和上下文决定，不是写出来就自动继承的；一旦类里有不可默认构造的成员，哪怕你把 = default 搬到类外，也得先解决那个成员的初始化问题——它不会自己“猜”你要绑谁。
