=default让编译器生成默认实现,仅适用于编译器本可隐式生成的特殊成员函数;=delete彻底禁用函数调用,优先级高于重载解析,可用于任何函数。

default 关键字:让编译器生成默认实现,但只在需要时才显式写出来
当类中已定义了其他构造函数(比如带参数的),编译器就不会自动生成默认构造函数。这时若仍需默认构造函数,不能靠删掉已有构造函数来“恢复”,而应显式用 = default 声明——它把控制权交还给编译器,生成符合语义的默认版本。
常见误用是以为 = default 只能写在类内,其实它也可放在类外定义处(前提是函数签名匹配且未被隐式删除);但注意:= default 不能用于已用户自定义实现的函数,也不能用于析构函数以外的虚函数(C++11 起允许虚析构函数用 = default)。
-
= default的函数必须是编译器本可隐式生成的(如默认构造、拷贝/移动构造、赋值、析构) - 放在类内声明处更常见,且会隐式成为
inline - 若类含不可默认构造的成员(如引用或 const 成员),即使写了
= default,定义也会编译失败
delete 关键字:彻底禁用某个函数,比私有化更彻底
= delete 不是“不写”,而是“明确禁止调用”。它比将函数声明为 private 更严格:后者可能被友元或成员函数调用,而 = delete 让任何位置的调用都触发编译错误,且错误信息更清晰(提示“deleted function”)。
典型使用场景包括:禁用拷贝(如资源独占类)、禁用窄化转换的构造函数、禁用某些模板实例化。
立即学习“C++免费学习笔记(深入)”;
- 可以对任何函数(包括普通成员、全局函数、模板特化)使用
= delete - 必须写在声明处(类内或类外均可),且优先级高于重载解析——一旦匹配到
deleted版本,直接报错,不继续找其他重载 - 例如禁用
int到MyClass的隐式构造:MyClass(int) = delete;,此时MyClass x = 42;编译失败
default 和 delete 在特殊成员函数中的协同语义
特殊成员函数(默认/拷贝/移动构造与赋值、析构)的行为高度互斥。比如:只要定义了移动操作,编译器就不再生成拷贝操作(除非显式 = default);若想保留拷贝但禁用移动,就得手动写拷贝并 = delete 移动函数。
这种组合不是语法糖,而是表达设计意图:你清楚知道哪些操作有意义、哪些会破坏不变量。
- 显式
= default拷贝构造 += delete移动构造 → 表示“只支持拷贝,不支持移动” - 仅声明
= delete拷贝构造,不写移动构造 → 编译器仍可能生成移动构造(若满足条件),需一并= delete才真正禁用所有拷贝/移动 - 若基类析构函数是
= default且非虚,派生类继承后若需多态销毁,必须显式声明虚析构并= default或自定义,否则行为未定义
容易被忽略的细节:模板和 deleted 函数的冲突
模板函数的实例化可能意外匹配到 deleted 版本,导致看似无关的调用失败。例如一个泛型 swap 模板若对某类型调用了被 = delete 的拷贝构造,错误发生在实例化点,而非模板定义处。
更隐蔽的是:如果某个 = delete 函数签名恰好比预期更宽泛(比如接受任意 T&& 的模板构造函数),它可能在重载解析中“抢走”本该调用其他函数的调用,然后因 deleted 报错——这不是 bug,而是重载规则使然。
- 检查错误时别只盯报错行,要看模板实参推导路径和所有候选函数声明
- 用
static_assert配合std::is_copy_constructible_v等 trait,比依赖= delete更早暴露问题 -
= delete对于函数模板,必须放在声明处,且不能只对部分特化= delete而不声明主模板(否则 SFINAE 不生效)










