default关键字仅用于类内声明的特殊成员函数,表示显式要求编译器生成默认实现,不能用于普通函数或变量初始化;支持的函数包括默认构造、析构、拷贝/移动构造及赋值运算符。

default关键字在C++中只能用于特殊成员函数
它不是万能的“默认值设定工具”,也不能用在普通函数或变量初始化里。只有编译器自动生成的特殊成员函数(如构造函数、析构函数、拷贝/移动操作)才能用 = default 显式要求编译器生成默认实现。
常见误用是写成 int x = default; 或给普通函数加 = default,这会直接报错:error: 'default' cannot be used outside of a function declaration。
- 只支持的函数:默认构造函数、拷贝构造函数、移动构造函数、拷贝赋值运算符、移动赋值运算符、析构函数
- 必须写在类定义内部,作为函数声明的一部分(不能在类外定义时加)
- 加上
= default后,该函数仍被视为“用户声明”,但行为等同于编译器隐式生成的版本
为什么需要=default而不是直接删掉函数声明
当你自己写了某个构造函数(比如带参构造),编译器就不再生成默认构造函数;同样,一旦声明了析构函数(哪怕为空),编译器也不会再为你合成移动操作。这时若想“恢复”默认行为,= default 是唯一办法。
典型场景:你希望类可被移动,但又需要自定义析构逻辑:
struct Buffer {
~Buffer() { cleanup(); } // 自定义析构 → 编译器不生成移动构造/赋值
Buffer(Buffer&&) = default; // 显式恢复移动构造
Buffer& operator=(Buffer&&) = default; // 显式恢复移动赋值
};
- 不写
= default,Buffer就只能拷贝,不能移动 - 写成
Buffer(Buffer&&) {}是用户定义的空实现,不等价于默认移动(比如不会自动对成员做移动) -
= default的函数仍保持noexcept(如果所有成员都满足),而手动写的空函数不是
default和delete一起用时的优先级关系
同一个函数不能同时用 = default 和 = delete,但可以分别作用于不同重载。更关键的是:如果一个函数被 = delete,那么即使其他重载用了 = default,调用时也会因匹配到 deleted 版本而编译失败。
例如禁止拷贝但允许移动:
struct NonCopyable {
NonCopyable(const NonCopyable&) = delete;
NonCopyable& operator=(const NonCopyable&) = delete;
NonCopyable(NonCopyable&&) = default; // OK
NonCopyable& operator=(NonCopyable&&) = default; // OK
};
-
= delete必须出现在= default之前(语法要求),否则编译器可能报错顺序问题 - 即使移动函数是
= default,只要拷贝函数被= delete,像std::vector<noncopyable></noncopyable>这种容器仍能正常工作(依赖移动) - 注意:如果类有 const 成员或引用成员,
= default的拷贝/移动赋值会被隐式定义为delete,此时再显式写= default会触发编译错误
default生成的函数是否inline、noexcept、constexpr
由编译器决定,但规则明确:= default 的函数具有和隐式声明完全相同的属性。这意味着它们通常是 inline 的,且是否 noexcept 或 constexpr 取决于类成员——不是你写了 = default 就自动获得这些特性。
- 如果所有非静态数据成员和基类的对应操作都是
noexcept,那= default的析构函数/移动操作也是noexcept - C++20 起,若满足条件(如无虚函数、所有成员可 constexpr 构造),
= default的默认构造函数可隐式成为constexpr - 不要假设
= default函数一定比手写快——它只是语义等价;实际性能取决于成员类型的实现
最容易被忽略的一点:在模板类中使用 = default 时,它只对当前实例化有效;如果某个特化导致成员不可默认构造,该特化的 = default 构造函数会编译失败,而不是静默退化。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











