C++类为何可定义多构造析构函数？显式删除拷贝移动操作有何影响

一、构造函数、析构函数的多定义规则澄清 #

很多开发者刚接触类设计时，会好奇为什么构造函数可以定义多份，那析构函数能不能也支持多定义？实际的语法逻辑非常明确：

• 构造函数支持多份重载定义是刻意的语言设计：构造函数的唯一职责是完成对象初始化，不同的初始化场景需要匹配不同的入参逻辑——比如无参走默认配置初始化、带启动参数初始化、从配置文件加载参数初始化等，只要参数列表的类型、数量有差异，就可以定义多份构造函数。编译阶段会根据传入的参数自动匹配最合适的构造逻辑，本质是给初始化流程留足灵活度，避免把所有初始化参数硬塞进同一个构造函数，靠一堆默认值拼凑出各种初始化场景。
• C++从语法层面就不支持单个类定义多个析构函数：析构函数没有返回值、不接受任何入参，根本没有可供重载的参数列表空间，一个类有且只能有一个析构函数。任何尝试定义不同签名、不同参数的“多份析构函数”的代码都会直接触发编译错误，没有例外。

二、四大特殊成员函数显式删除的行为影响 #

对应问题里给出的类实现：

class System : public std::enable_shared_from_this<System> {
  public:
    System();
    virtual ~System();
    System(const System&) = delete;
    System(System&&) = delete;
    System& operator=(const System&) = delete;
    System& operator=(System&&) = delete;
}

当类把拷贝构造、移动构造、拷贝赋值运算符、移动赋值运算符全部显式标记为=delete时，会产生这些确定的行为变化：

• 类的对象彻底失去值语义：无法通过已有的类实例，拷贝/移动生成新的类对象；也无法对已存在的类实例执行赋值操作。所有尝试触发拷贝、移动、赋值逻辑的代码都会直接触发编译报错——因为这些函数是被显式标记删除的，编译器不会再为类隐式生成对应的默认实现。
• 类的实例的生存方式会被严格限制：只能直接在栈上定义独立实体，或是通过指针、智能指针在堆上创建实体。实例一旦创建，它的内存实体是独一无二的，无法被值传递、转移所有权、赋值拷贝——比如没法把类对象作为函数参数按值传递，也没法把类对象作为函数返回值按值返回，所有依赖值语义的传递场景全部失效。
• 结合示例中类继承std::enable_shared_from_this<System>的设计，这种写法是非常典型的唯一实体类设计：把System定位为系统级的全局唯一实体，从语法层面杜绝“同一个系统实体被随意复制出多个副本，导致内部状态不同步”的设计漏洞。
• 这种显式删除的写法比依赖编译器的隐式规则更可靠：如果只是不写这几个函数，靠编译器的隐式行为判断类是否可拷贝/可移动，很容易因为后续类成员的改动，意外触发隐式的拷贝、移动函数生成。显式标记删除相当于给类加上了硬性的语法约束，不会受其他代码改动的影响。

内容的提问来源于stack exchange，提问作者Kvn Reddy