17370845950

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

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

三法则（C++98/03）

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

• 析构函数（destructor）：用于释放资源（如 delete ptr;）
• 拷贝构造函数（copy constructor）：避免默认的浅拷贝导致多个对象指向同一资源
• 拷贝赋值运算符（copy assignment operator）：同样需深拷贝或转移资源所有权

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

五法则（C++11起）

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

• 移动构造函数（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; —— 若未定义析构/拷贝函数，且成员支持移动，可放心默认

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