三/五法则

C++的三五法则是一个关于类设计的重要原则，它涉及到类的拷贝控制操作，包括拷贝构造函数、拷贝赋值运算符、析构函数，以及在C++11及以后版本中新增的移动构造函数和移动赋值运算符。这些特殊的成员函数共同控制了类的对象的拷贝、赋值和销毁行为。

三法则（针对C++89标准）

三法则包括：

1. 拷贝构造函数：定义了当用同类型的另一个对象初始化新对象时做什么。如果没有为类定义拷贝构造函数，则编译器会默认生成一个。

2. 拷贝赋值运算符：定义了将一个对象赋予同类型的另一个对象时做什么。同样，如果没有为类定义拷贝赋值运算符，编译器也会默认生成一个。

3. 析构函数：定义了此类型的对象销毁时做什么。每个类只能有一个析构函数，且析构函数不能被重载。

规则概述：

• 如果一个类需要析构函数（通常是因为类管理了如动态分配的内存、文件句柄等资源），那么它很可能也需要自定义拷贝构造函数和拷贝赋值运算符，以防止浅拷贝导致的资源泄露或重复释放等问题。
• 拷贝构造函数和拷贝赋值运算符的默认实现通常执行的是浅拷贝，即只复制对象的成员变量的值，而不复制成员变量所指向的资源。如果成员变量是指针，并且指向动态分配的内存，那么浅拷贝会导致两个对象共享同一块内存，从而在销毁时发生重复释放的错误。

五法则（针对C++11及以后标准）

五法则在三法则的基础上增加了：

4. 移动构造函数：允许将一个对象的资源“移动”到另一个新对象中，而不是复制。这通常用于优化资源密集型对象的传递和返回。

5. 移动赋值运算符：定义了将一个对象的资源赋予另一个已存在的对象时做什么。这同样是为了优化资源的管理，避免不必要的复制。

规则概述：

• 移动构造函数和移动赋值运算符的引入是为了支持移动语义，允许在不需要复制对象内容的情况下，将对象的资源从一个对象转移到另一个对象。这通常发生在临时对象或即将被销毁的对象上，可以显著提高程序的性能。
• 在C++11及以后版本中，如果类定义了移动构造函数或移动赋值运算符，编译器通常会优先使用这些函数来处理对象的移动，而不是拷贝。

总结

C++的三五法则是类设计中的一个重要原则，它帮助开发者理解和管理类的拷贝控制操作。通过遵循这些规则，开发者可以避免常见的资源泄露、重复释放等问题，并优化程序的性能。在实际开发中，应根据类的具体需求来决定是否需要自定义这些特殊的成员函数。