三五法则指析构函数、拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符这五个特殊成员函数;定义其一通常需显式定义全部五个(或=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++免费学习笔记(深入)”;
为什么必须一起定义?
因为默认生成的拷贝/移动操作都是逐成员 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 为类型提供类型相关信息(间接支持移动语义判断)
本质上,三五法则是对“资源所有权”清晰建模的技术体现 —— 每个对象应明确自己是否拥有资源、能否共享、能否移交。











