理解 = delete 与 = default：两种赋值语义的差异

1. 引言

在编程语言和配置体系中，= delete 与 = default 是两种常见的赋值语义，它们分别用于「禁用某个能力」和「恢复默认行为」。虽然写法相似，但二者的作用对象、使用场景和底层机制完全不同。本文将从定义、语法、典型应用和对比几个维度详细展开。

2. 什么是 = delete

= delete 表示显式删除或禁用某个成员、函数或配置项。它告诉编译器或运行时环境：该实体不允许被使用，一旦调用即报错。

2.1 在 C++ 中的典型用法

在 C++11 及以后的标准中，= delete 用于删除类的特殊成员函数，例如拷贝构造函数、赋值运算符等，从而禁止对象被复制或赋值。

cpp 复制代码

class NonCopyable {
public:
    NonCopyable() = default;
    NonCopyable(const NonCopyable&) = delete;      // 禁止拷贝构造
    NonCopyable& operator=(const NonCopyable&) = delete; // 禁止拷贝赋值
};

此外，= delete 还可以用于删除普通函数的重载，避免隐式类型转换带来的歧义。

cpp 复制代码

void func(int x);
void func(double) = delete; // 禁止传入 double，避免隐式转换

2.2 在配置体系中的含义

在数据库、框架或命令行工具的配置文件中，= delete 通常表示移除某个已存在的配置项或功能开关，使其不再生效。例如在部分 ORM 或路由配置中，显式声明 delete 可以关闭默认注册的处理器。

3. 什么是 = default

= default 表示显式要求编译器生成默认实现，或恢复某个配置项的默认值。它强调「使用标准行为」，而不是自定义实现。

3.1 在 C++ 中的典型用法

在 C++ 中，= default 用于让编译器自动生成特殊成员函数的默认版本，常用于构造函数、析构函数、拷贝操作等。

cpp 复制代码

class Widget {
public:
    Widget() = default;                    // 使用编译器生成的默认构造
    Widget(const Widget&) = default;       // 默认拷贝构造
    Widget& operator=(const Widget&) = default; // 默认拷贝赋值
    ~Widget() = default;                   // 默认析构
};

当类中定义了带参数的构造函数后，编译器不再自动生成默认构造函数，此时显式声明 Widget() = default; 可以恢复默认构造能力。

3.2 在配置体系中的含义

在配置文件中，= default 表示将某个选项恢复为系统预设的默认值，常用于重置被修改过的参数，或声明「此处采用默认策略」。

4. 核心区别对比

维度	= delete	= default
核心语义	禁用、删除、禁止使用	恢复默认、使用标准实现
作用方向	移除能力	恢复能力
典型场景（C++）	禁止拷贝、禁止隐式转换	恢复默认构造、默认析构
典型场景（配置）	关闭功能开关、移除处理器	重置参数为默认值
调用结果	编译错误或运行时拒绝	正常执行默认逻辑

5. 实践建议

在实际开发中，应根据意图选择合适的语义：

当希望禁止某种操作或关闭某个功能时，使用 = delete。
当希望恢复编译器或系统的默认行为时，使用 = default。
在 C++ 中，二者常配合使用：用 = delete 屏蔽不需要的拷贝，用 = default 保留必要的默认构造。

6. 总结

= delete 与 = default 是方向相反的两种声明：前者切断能力，后者恢复默认。理解它们的差异，有助于写出意图明确、行为可控的代码与配置。