当你在C++11中编写一个类时，编译器会在特定条件下自动生成构造函数、析构函数、拷贝构造函数以及拷贝赋值运算符。这些隐式生成的函数，俗称特殊成员函数。问题在于，一旦你手动声明了带参数的构造函数，默认构造函数就会消失；而如果你定义了析构函数，移动操作也会被静默抑制。这种隐式规则容易导致类行为失控，尤其在引入移动语义之后。
=default与=delete正是C++11给出的两把精确手术刀。前者用来"取回"编译器本该生成的函数定义，后者用来"抹除"你不希望存在的调用入口。理解这两者的区别不能停留在语法表面，必须深入编译器的特殊成员函数生成规则，并结合实际工程中常见的坑逐一剖析。
特殊成员函数的生成规则与=default的意义
C++11标准规定，特殊成员函数包括默认构造函数、析构函数、拷贝构造函数、拷贝赋值运算符、移动构造函数和移动赋值运算符。这些函数并非总会被编译器生成，它们的生成条件取决于你是否声明了其他相关函数。举例来说，一旦声明了拷贝构造函数，编译器就不再生成移动构造函数；一旦声明了析构函数，移动操作也不会自动生成。这类连带关系极易被忽视，却又切切实实地影响着类的性能与可用性。
给你一个具体的代码示例：定义一个带int参数构造函数的类后，默认构造函数不再存在，此时直接创建无参对象会编译失败。借助=default可以在类声明中显式要求编译器继续生成默认构造函数。
class Config {
public:
// 自定义构造函数
Config(int timeout) : timeout_(timeout) {}
// 显式取回默认构造函数
Config() = default;
// 取回默认拷贝构造与拷贝赋值
Config(const Config&) = default;
Config& operator=(const Config&) = default;
// 取回默认析构函数
~Config() = default;
private:
int timeout_ = 30;
};
在上述代码中，Config() = default;并没有重新实现构造逻辑，而是让编译器按标准规则生成一个不执行任何额外操作的版本。相比手动写一个空的构造函数，=default有两个显著优势：首先是意图明确，阅读代码的人立刻知道"我刻意保留了编译器默认生成的函数"；其次是性能一致，=default生成的构造函数是trivial的，这意味着该对象可以被当作普通内存块处理，例如用memcpy直接拷贝。而手动编写的空构造函数虽然看起来相同，却不再属于trivial类型，会影响编译器优化和某些底层操作的合法性。
值得强调的是，=default既可以在类声明内部使用，也可以在类定义之外的源文件中使用。若放在类外，则意味着该函数虽然被延迟定义，但仍然是编译器生成的默认版本。这种做法适合希望保持类的二进制接口稳定的场景，可以将特殊成员函数的生成推迟到某个固定的编译单元，有助于减少头文件间的编译依赖。
=delete的多种应用场景与实现细节
=delete则走向另一个方向。它告诉编译器：这个函数虽然声明了，但绝不允许被调用。任何调用该函数的代码都会导致编译错误。最常见的用途是禁止类的拷贝：当你把拷贝构造函数和拷贝赋值运算符标记为=delete后，试图以值传递或赋值方式复制对象就会失败。相较于C++11之前把拷贝构造声明为private的做法，=delete提供的诊断信息更清晰，而且错误在编译期就能暴露，而不是等到链接期出现神秘的"未定义引用"错误。
在C++11之前，开发者通常将拷贝构造函数和赋值运算符放到private区来禁止拷贝，但这样做的缺点是友元类和成员函数仍然可以绕过访问权限完成拷贝。而=delete从语言层面彻底封锁了所有调用路径，连成员函数和友元都无法例外。来看一段实际的类设计：
class Logger {
public:
explicit Logger(const std::string& name) : name_(name) {}
// 禁止拷贝构造与拷贝赋值
Logger(const Logger&) = delete;
Logger& operator=(const Logger&) = delete;
// 允许移动，便于放入容器或按值返回
Logger(Logger&&) noexcept = default;
Logger& operator=(Logger&&) noexcept = default;
void log(const std::string& msg) const {
std::cout << name_ << ": " << msg << std::endl;
}
private:
std::string name_;
};
这里同时展示了=delete与=default的组合：拷贝被禁止，移动被默认生成。逻辑上非常连贯——日志对象持有文件句柄或网络连接时，复制一份会导致资源双重释放，但移动却可以安全地转移所有权。另一个有趣的应用是禁用operator new，以此阻止对象在堆上创建：
class StackOnly {
public:
static void* operator new(std::size_t) = delete;
static void operator delete(void*) = delete;
// 其他构造函数定义...
};
// 编译错误：attempting to reference a deleted function
// StackOnly* ptr = new StackOnly();
当operator new被删除后，任何试图通过new表达式创建对象的代码都会在编译期报废。这个技巧常用于实现栈上分配的不可移动对象，或强制对象生命周期限定在作用域内。除此之外，=delete还能用于过滤函数重载。比如你希望某个函数只接受int参数，而不是通过隐式转换接受double或char，就可以把所有非目标类型的重载删除掉：
void process(int value) {
// 真正的逻辑
}
void process(double) = delete;
void process(char) = delete;
void process(bool) = delete;
// 调用 process(3.14) 或 process('A') 都会编译失败
// 而 process(42) 正常编译
删除重载的原理十分简洁：编译器在重载决议时找到了精确匹配的int版本，因而不会考虑其他需要隐式转换的重载；但当实参类型是double时，最佳的匹配版本是process(double)，而它已被删除，于是报错。这比在函数体内static_assert更早地阻止了非法调用，且错误提示更直观。
=default与=delete在实践中常见的误区
这两个语法看似简单，但在实际编码中仍有不少容易踩的坑。先说=default的一个经典误区：只有特殊的成员函数才能使用=default，普通函数不行。例如你不能写下void foo() = default;，编译器会直接报错。同理，=delete只能用在函数声明上，不能用于类型定义或变量声明。还有一个隐蔽的坑：析构函数被=delete后，对象无法在作用域结束时被销毁，这会导致编译错误。但若通过new在堆上创建对象，由于不触发析构调用，反而可以"成功"编译——除非额外删除operator delete。这种微妙的差别常被用来设计自释放对象，但也很容易在异常抛出时泄漏内存。
另一个高频误区涉及移动构造函数的连带效应。手动声明了拷贝构造函数、拷贝赋值运算符或析构函数后，移动构造函数和移动赋值运算符不会被隐式生成。此时代码里看似无害的return obj;会触发拷贝而非移动，造成不必要的深拷贝开销。很多开发者误以为写了=default就能恢复移动语义，但事实是：必须先显式声明移动操作并使用=default，编译器才会生成移动版本。来看一个典型的例子：
class StringHolder {
public:
StringHolder() = default;
StringHolder(const std::string& s) : data_(s) {}
// 不要只声明拷贝构造，否则移动操作自动消失
StringHolder(const StringHolder&) = default;
StringHolder& operator=(const StringHolder&) = default;
// 必须显式声明，才能保留移动语义
StringHolder(StringHolder&&) noexcept = default;
StringHolder& operator=(StringHolder&&) noexcept = default;
private:
std::string data_;
};
在这个类中，如果省略那两个移动操作的=default声明，当StringHolder被放入std::vector并触发扩容时，元素会逐一拷贝，而不是高效地移动。std::string本身支持移动，但外层类因为缺少移动构造函数，只能退而求其次调用拷贝。性能差距在容器元素较多时会非常明显。此外，若StringHolder的拷贝构造函数被标记为=delete，而移动构造又是=default，那么std::vector扩容时同样会编译失败，因为std::vector要求在必要时能够拷贝或移动元素。
最后需要留意=default与成员初始化列表的配合。被=default的默认构造函数仍然会执行成员声明处提供的默认初始化器，所以int timeout_ = 30;这种写法是生效的。但如果你在类中声明了const成员或引用成员，无论是否使用=default，编译器都不会生成可用的默认构造函数，因为const成员必须在构造时完成初始化。从这个角度看，=default并不是万能的，它只是绕过了"你写了构造函数"这个人为限制，却无法绕开C++类型系统本身的约束。
综合来看，=default和=delete是C++11在类设计上给出的两个反向操作。前者把控制权交还给编译器，让特殊成员函数保持最优默认行为；后者把不需要的接口从编译层面连根拔起。在工程中，建议每个类都明确声明需要哪些特殊成员函数——要么=default，要么=delete，要么手写实现，尽量避免依赖隐式生成规则。这不仅能提升代码的可读性，更能让后续维护者一眼看出设计者的真实意图，减少因隐式规则变化带来的意外行为。