C++中的“三/五/零之法则”是什么?(资源管理)

17次阅读

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

C++中的“三/五/零之法则”是什么?(资源管理)

“三/五/零之法则”是C++中关于资源管理的一组指导原则,核心在于:**当类需要显式管理资源(如动态内存、文件句柄、互斥锁等)时,必须谨慎定义或删除特定的特殊成员函数,否则容易引发资源泄漏、重复释放或浅拷贝问题。**

三法则(C++98/03)

如果类中定义了以下任意一个函数,通常也应显式定义另外两个:

例如,一个持有裸指针的类若只写了析构函数,而依赖编译器生成的拷贝函数,就可能在对象拷贝后出现双重 delete。

五法则(C++11起)

C++11引入移动语义后,三法则扩展为五法则。若类需要自定义资源管理,通常还需定义:

立即学习C++免费学习笔记(深入)”;

  • 移动构造函数(move constructor:将资源从临时对象“接管”过来,原对象置为有效但空状态(如将指针置为 nullptr
  • 移动赋值运算符(move assignment operator):类似移动构造,但需先清理当前资源,再接管新资源

不定义移动函数,编译器不会自动生成(即使你已定义了拷贝函数),此时移动操作会退化为拷贝——影响性能,甚至在某些容器(如 std::vector 扩容)中导致编译失败。

零法则(Rule of Zero)

现代C++更推荐的做法:**不手动管理资源,而是用RAII封装类(如 std::unique_ptrstd::vectorstd::String)替代裸指针和手动 new/delete。**

这样,所有特殊成员函数都可使用编译器默认版本(= default),无需用户定义——即“零个自定义特殊函数”。

  • 类只包含RAII成员?→ 默认构造、析构、拷贝、移动全部安全可用
  • 有需要自定义行为?→ 优先通过组合而非继承实现,保持资源管理职责单一

零法则是对三/五法则的升华:不是“如何正确写五个函数”,而是“如何避免写它们”。

补充:显式删除与默认化的选择

若确定某类不应被拷贝或移动,应显式 = delete,而非不写:

  • MyClass(const MyClass&) = delete; —— 禁止拷贝,比隐式禁止更清晰、更早报错
  • MyClass(MyClass&&) = default; —— 若未定义析构/拷贝函数,且成员支持移动,可放心默认

是否生成移动函数,取决于是否显式声明了拷贝/析构/移动中的任一个——规则较细,但记住:只要涉及资源管理,就该主动决策,而不是依赖默认行为。

text=ZqhQzanResources