为什么C++中显式默认析构函数会禁用默认移动构造函数？

这个规则本质是C++「三五法则」的一致性要求，核心考量有三点：

• 规则的简洁性与可预测性
  C11引入移动语义后，标准委员会并没有对特殊成员的生成规则加太多例外情况，而是直接沿用了C98就存在的「三法则」逻辑：只要用户手动声明了析构函数、复制构造函数、复制赋值运算符中的任意一个，就说明该类需要自定义资源管理逻辑，编译器不会隐式生成移动构造和移动赋值函数，不管你声明的函数最终实现是=default、=delete还是自定义逻辑。
  如果给=default的析构开例外，规则会变得极其复杂：比如需要判断显式默认的析构是否真的和隐式生成的行为完全一致，涉及基类析构、成员析构的自定义情况时，判断逻辑会非常繁琐，普通开发者很难准确掌握，反而更容易写出预期外的代码。
• 避免ODR（单一定义规则）违反隐患
  显式默认的析构支持分离声明和实现：你可以在头文件的类定义里声明~C();，然后在对应的cpp文件里写C::~C() = default;。这种场景下，其他引用该头文件的翻译单元在编译时，完全无法得知这个析构的实现是默认逻辑还是自定义逻辑，如果规则允许这种类隐式生成移动函数，很容易出现不同翻译单元对类的特殊成员列表认知不一致的情况，触发极难排查的ODR违规错误。
• 向后兼容性保障
  C11之前的C98/03代码中，大量类会手动声明空析构函数，而现代C改造中大家都会把这类空析构替换为~C() = default;的写法。如果标准允许=default的析构不抑制移动函数生成，那这些存量老代码在迁移到C11之后，会突然多出之前不存在的移动构造函数，原本依赖复制行为的老逻辑可能会被破坏，这是标准制定过程中绝对要避免的兼容性问题。

常见疑问补充 #

很多开发者疑惑既然=default的析构和隐式生成的行为完全一致，为什么还要遵守这个规则？实际上=default的核心价值是明确代码意图、支持不完整类型的智能指针成员封装等，它本身就和「用户手动声明了特殊成员」这个判定标准绑定。如果你想要保留移动语义，只需要同时显式默认移动构造和移动赋值即可：

struct C
{
    std::string s;
    C () : s{"default ctor"} {}
    ~C() = default;
    // 显式默认移动操作，恢复移动语义
    C(C&&) = default;
    C& operator=(C&&) = default;
    // 通常建议同时处理复制操作，符合五法则要求
    C(const C&) = default;
    C& operator=(const C&) = default;
};

上面的代码既保留了显式默认析构的优势，也能正常使用移动语义。

你给出的示例行为也完全符合标准规则：

• 注释掉~C() = default;时，编译器会隐式生成移动构造函数，std::move(original)会调用移动构造，字符串的内部缓冲区被转移到other，original.s变为空
• 打开~C() = default;时，移动构造被抑制，std::move(original)只能匹配到复制构造函数，字符串被完整复制，original.s保留原有值

内容的提问来源于stack exchange，提问作者JDługosz