三/五/零之法则是C++资源管理核心原则:三法则要求自定义析构、拷贝构造、拷贝赋值三者之一时需显式定义其余两个;五法则在C++11中增加移动构造和移动赋值;零法则倡导用RAII智能指针等替代裸资源,使所有特殊成员函数均可默认。

“三/五/零之法则”是C++中关于资源管理的一组指导原则,核心在于:**当类需要显式管理资源(如动态内存、文件句柄、互斥锁等)时,必须谨慎定义或删除特定的特殊成员函数,否则容易引发资源泄漏、重复释放或浅拷贝问题。**
三法则(C++98/03)
如果类中定义了以下任意一个函数,通常也应显式定义另外两个:
-
析构函数(destructor):用于释放资源(如
delete ptr;) - 拷贝构造函数(copy constructor):避免默认的浅拷贝导致多个对象指向同一资源
- 拷贝赋值运算符(copy assignment operator):同样需深拷贝或转移资源所有权
例如,一个持有裸指针的类若只写了析构函数,而依赖编译器生成的拷贝函数,就可能在对象拷贝后出现双重 delete。
五法则(C++11起)
C++11引入移动语义后,三法则扩展为五法则。若类需要自定义资源管理,通常还需定义:
立即学习“C++免费学习笔记(深入)”;
-
移动构造函数(move constructor):将资源从临时对象“接管”过来,原对象置为有效但空状态(如将指针置为
nullptr) - 移动赋值运算符(move assignment operator):类似移动构造,但需先清理当前资源,再接管新资源
不定义移动函数,编译器不会自动生成(即使你已定义了拷贝函数),此时移动操作会退化为拷贝——影响性能,甚至在某些容器(如 std::vector 扩容)中导致编译失败。
零法则(Rule of Zero)
现代C++更推荐的做法:**不手动管理资源,而是用RAII封装类(如 std::unique_ptr、std::vector、std::string)替代裸指针和手动 new/delete。**
这样,所有特殊成员函数都可使用编译器默认版本(= default),无需用户定义——即“零个自定义特殊函数”。
- 类只包含RAII成员?→ 默认构造、析构、拷贝、移动全部安全可用
- 有需要自定义行为?→ 优先通过组合而非继承实现,保持资源管理职责单一
零法则是对三/五法则的升华:不是“如何正确写五个函数”,而是“如何避免写它们”。
补充:显式删除与默认化的选择
若确定某类不应被拷贝或移动,应显式 = delete,而非不写:
-
MyClass(const MyClass&) = delete;—— 禁止拷贝,比隐式禁止更清晰、更早报错 -
MyClass(MyClass&&) = default;—— 若未定义析构/拷贝函数,且成员支持移动,可放心默认
是否生成移动函数,取决于是否显式声明了拷贝/析构/移动中的任一个——规则较细,但记住:只要涉及资源管理,就该主动决策,而不是依赖默认行为。










