=default必须写在定义处而非仅声明处；若类含const/引用成员或用户定义构造函数，需在类外定义A::A()=default，并确保成员有默认初始化器。
default 关键字在构造函数中必须写在定义处，不能只在声明里
你不能在类内声明时写 MyClass() = default; 就以为编译器会自动生成；如果构造函数有用户提供的定义（哪怕空实现），或者类中有 const 成员、引用成员、不可默认构造的成员，编译器就不会合成默认构造函数——这时 = default 是唯一能“抢救”默认构造能力的方式，但它必须出现在函数定义的位置。
常见错误是这样写：
class A { public: A() = default; // ❌ 错误：这是声明，但类里已有其他构造函数或特殊成员时，这行不生效 A(int x) : val(x) {} private: const int val; };正确做法是把 = default 放到类外定义处（或确保类内声明时没有阻碍合成的因素）：
class A { public: A() = default; // ✅ 可以，前提是没定义其他构造函数且所有成员都可默认构造 A(int x) : val(x) {} private: int val; // 注意：这里不能是 const int 或引用 };当类有 const 成员或引用成员时，default 构造函数必须显式定义在类外
const 成员和引用成员无法被默认初始化（它们必须在构造函数初始化列表中显式绑定），所以编译器不会为你合成默认构造函数。此时若你还想提供一个“什么也不做但合法”的默认构造函数，只能手动写初始化列表，并用 = default 告诉编译器“请按规则生成实现”，但这个 = default 必须出现在定义中（类内声明不行）。
立即学习“C++免费学习笔记（深入）”；
- 类内声明
A() = default;会触发编译错误：field 'ref' must be initialized - 必须改为类外定义：
A::A() = default;，且该类所有const/引用成员必须有默认成员初始化器（c++11 起支持）
class B { public: B() = default; // ❌ 编译失败：ref 没初始化 // B() : ref(i) {} // ✅ 手动初始化也行，但就不是 default 语义了 private: int& ref; int i; };class C { public: C() = default; // ✅ 正确：ref 有默认成员初始化器 private: int& ref = i; // ⚠️ 注意：引用默认初始化仅限于绑定到类内变量（且 i 在 ref 之后声明会出错） int i = 42; };default 构造函数是否为 trivial / constexpr 取决于成员类型
用 = default 写出来的默认构造函数，不等于就是 trivial 构造函数。它是否 trivial、是否 constexpr，完全取决于类的所有非静态成员和基类——只要其中任意一个成员的默认构造函数不是 trivial 或不可 constexpr，那整个类的 = default 构造函数也会失去对应属性。
-
std::String s;→ 默认构造函数不是trivial，所以即使你写A() = default;，A也不是trivial -
constexpr A() = default;合法的前提是：所有成员都能constexpr默认构造（比如int、std::Array可以，std::vector不行） - 移动构造/赋值也一样：加
= default不保证noexcept，得看成员是否都noexcept
和 user-provided 构造函数共存时，default 的行为容易被误解
一旦你写了任何构造函数（哪怕只是 A(int) {}），编译器就不再合成默认构造函数——哪怕你后面补上 A() = default;，它也只是“显式要求生成”，而不是“恢复合成”。这点常被误认为“加了 = default 就能回退到原来状态”，其实不是。
- 如果类有
A(int)，又写A() = default;，那A()是 user-declared（但 implementation-defined），不再是 implicit - 这意味着
std::is_trivially_constructible_v可能为false，即使内容空空如也 - 聚合类（aggregate）身份也会丢失：有用户声明的构造函数 → 不再是聚合类 → 不能用
{}直接初始化
struct D { int x; D(int y) : x(y) {} // ? 加了这个，D 就不是聚合类了 D() = default; // ? 这个 default 不让它变回聚合类 }; D d1{}; // ✅ OK：default 初始化 D d2{1}; // ❌ 错误：不能用花括号初始化，因为不是聚合类 C++ 中 = default 看似简单，实际效果高度依赖上下文：成员类型、是否已有其他构造函数、是否有默认成员初始化器、甚至 C++ 标准版本（C++11/C++14/C++20 对引用默认初始化的支持程度不同）。最容易忽略的是——它不改变类的聚合性，也不绕过成员的初始化约束。