三五法则指析构函数、拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符这五个特殊成员函数；定义其一通常需显式定义全部五个（或=default/=delete），因默认逐成员复制/移动会导致资源泄漏、重复释放或浅拷贝问题。
三五法则（Rule of Three/Five）是 C++ 中关于资源管理类编写的核心原则，它指出：如果一个类需要显式定义以下任一特殊成员函数，那么它往往也需要显式定义其他几个——否则容易引发资源泄漏、重复释放或浅拷贝问题。
三五法则具体指哪几个函数？
“三”指 C++98/03 中的三个特殊成员函数：
- 析构函数（destructor）：用于释放资源（如 delete、close、free）
- 拷贝构造函数（copy constructor）：控制对象被拷贝时如何复制资源
- 拷贝赋值运算符（copy assignment operator）：控制已有对象被赋值时如何处理原资源和新资源
“五”是 C++11 引入移动语义后扩展的两个：
- 移动构造函数（move constructor）：接管右值资源，避免深拷贝开销
- 移动赋值运算符（move assignment operator）：对已有对象执行资源接管
即：**定义其一，通常需定义全部五个**（或至少显式 = default / = delete 来表明意图）。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
为什么必须一起定义？
因为默认生成的拷贝/移动操作都是逐成员 bitwise copy/move —— 对内置类型和普通对象安全，但对裸指针、文件句柄、动态内存等资源来说，会导致：
- 两个对象指向同一块内存 → 析构两次 → 未定义行为（double free）
- 移动后原对象仍持有已转移的资源 → 再次析构出错
- 拷贝赋值未释放旧资源 → 内存泄漏
例如：class BadString { char* p; }; 若只写析构函数释放 p，却不写拷贝构造和拷贝赋值，用 std::vector
如何正确应用三五法则？
推荐按优先级采取以下策略：
-
首选 RAII + 智能指针/标准容器：让编译器自动生成安全的默认函数。例如用 std::unique_ptr
替代 char*，就无需手写任何特殊成员函数 - 若必须管理裸资源，五函数都显式定义：确保拷贝做深拷贝（或禁止拷贝），移动做资源转移，并在析构中统一释放
- 明确禁止某些操作时，用 = delete：如只允许移动、禁止拷贝，就将拷贝构造和拷贝赋值设为 deleted
- 注意异常安全：拷贝赋值建议采用“拷贝并交换”惯用法（copy-and-swap），保证强异常安全
Effective C++ 中的对应条款
这一思想贯穿《Effective C++》多个条款，尤其是：
- 条款 13：以对象管理资源（RAII 是根本解法）
- 条款 14：在资源管理类中小心 copying 行为（决定是禁止、引用计数还是深拷贝）
- 条款 17：以独立语句将 newed 对象置入智能指针（避免裸 new）
- 条款 47：使用 traits classes 为类型提供类型相关信息（间接支持移动语义判断）
本质上，三五法则是对“资源所有权”清晰建模的技术体现 —— 每个对象应明确自己是否拥有资源、能否共享、能否移交。
