C++中,"三五法则"(Rule of Three/Five)是一个重要的设计原则,它指的是在定义一个涉及资源管理的类时,需要注意的特殊成员函数:拷贝构造函数、拷贝赋值运算符和析构函数。这个原则后来扩展到"三五法则"(Rule of Three/Five)和"零法则"(Rule of Zero),随着C++11引入移动语义和自动资源管理,也变得更为广泛。
三法则(Rule of Three):
-
拷贝构造函数:用于从同类型的另一个对象初始化当前对象。
MyClass(const MyClass& other);
-
拷贝赋值运算符:用于将一个对象的值赋给另一个同类型的对象。
MyClass& operator=(const MyClass& other);
-
析构函数:用于释放对象占用的资源,如动态分配的内存、打开的文件等。
~MyClass();
如果一个类需要手动管理资源(如动态分配的内存或打开的文件),通常需要显式定义上述三个特殊成员函数中的至少一个。这是因为编译器生成的默认版本可能不适合该类的资源管理需求,可能会导致资源泄漏或二次释放等问题。
五法则(Rule of Five):
随着C++11引入移动语义,还增加了两个特殊成员函数:
-
移动构造函数:从一个临时对象(右值引用)中获取资源,并将其移动到当前对象,避免不必要的复制操作,提高效率。
MyClass(MyClass&& other) noexcept;
-
移动赋值运算符:将一个临时对象的资源移动到当前对象,同样可以提高效率。
MyClass& operator=(MyClass&& other) noexcept;
这样,如果你需要手动管理资源,并且希望支持高效的资源转移,通常需要显式定义上述五个特殊成员函数中的至少一个。
零法则(Rule of Zero):
随着C++11和更高版本的引入,推荐在可能的情况下遵循"零法则":
- 不需要显式定义任何特殊成员函数:让编译器自动生成默认的构造函数、拷贝构造函数、拷贝赋值运算符、移动构造函数和移动赋值运算符。
- 使用RAII(资源获取即初始化):利用智能指针、容器等RAII类来管理资源,避免手动管理资源带来的复杂性和潜在错误。
总结来说,"三五法则"和"零法则"帮助程序员在设计类时进行良好的资源管理和设计选择,以提高代码的安全性、可维护性和性能。
三五法则应用:
如果手动定义了五法则中的任意一个函数, 编译器则不会自动生成其他四个默认函数
如:如果我显示定义了析构, 编译器就不会自动生成拷贝构造函数等