17370845950

=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 必须出现在定义中（类内声明不行）。

• 类内声明 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 对引用默认初始化的支持程度不同）。最容易忽略的是——它不改变类的聚合性，也不绕过成员的初始化约束。