当前位置：首页 > news >正文

C++ 中三法则五法则零法则

news 2026/6/12 15:26:40

三法则

C++98/03 年代：如果一个类需要显式定义以下三者之一，那么它很可能需要显式定义所有三个：

析构函数

拷贝构造函数

拷贝赋值运算符

原因：如果一个类需要自定义析构函数，通常是因为它管理着动态内存或其他资源（例如文件句柄、网络连接等）。那么，当进行拷贝时（通过拷贝构造函数或拷贝赋值运算符），如果使用编译器生成的默认拷贝操作，会导致浅拷贝（即只拷贝指针，而不拷贝指针指向的资源），从而可能造成双重释放、内存泄漏等问题。因此，需要自定义拷贝操作来实现深拷贝或适当的资源管理。

classRuleOfThree{char*data;// 动态分配的资源public:RuleOfThree(constchar*str){data=newchar[strlen(str)+1];strcpy(data,str);}// 1. 需要自定义析构函数来释放资源~RuleOfThree(){delete[]data;}// 2. 拷贝构造函数（深拷贝）RuleOfThree(constRuleOfThree&other){data=newchar[strlen(other.data)+1];strcpy(data,other.data);}// 3. 拷贝赋值运算符（深拷贝）RuleOfThree&operator=(constRuleOfThree&other){if(this!=&other){delete[]data;// 释放原有资源data=newchar[strlen(other.data)+1];strcpy(data,other.data);}return*this;}};

五法则

五法则指出：如果一个类需要显式定义拷贝操作、移动操作或析构函数中的任何一个，那么它很可能需要显式定义以下五个：

析构函数
拷贝构造函数
拷贝赋值运算符
移动构造函数
移动赋值运算符
原因：当一个类管理资源时，除了三法则中的三个函数，我们还应该考虑移动操作。通过定义移动操作，我们可以避免不必要的拷贝，提高效率。移动操作将资源从源对象转移到目标对象，同时使源对象处于有效但不可用的状态（通常为空）。

classRuleOfFive{char*data;public:RuleOfFive(constchar*str=""){data=newchar[strlen(str)+1];strcpy(data,str);}// 1. 析构函数~RuleOfFive(){delete[]data;}// 2. 拷贝构造函数RuleOfFive(constRuleOfFive&other){data=newchar[strlen(other.data)+1];strcpy(data,other.data);}// 3. 拷贝赋值运算符RuleOfFive&operator=(constRuleOfFive&other){if(this!=&other){delete[]data;data=newchar[strlen(other.data)+1];strcpy(data,other.data);}return*this;}// 4. 移动构造函数（从临时对象“窃取”资源）RuleOfFive(RuleOfFive&&other)noexcept:data(other.data){other.data=nullptr;// 使源对象处于有效状态（可析构）}// 5. 移动赋值运算符RuleOfFive&operator=(RuleOfFive&&other)noexcept{if(this!=&other){delete[]data;data=other.data;other.data=nullptr;}return*this;}};

零法则

在现代C++中，还有一个重要的原则叫零法则。它建议：让类依赖自动生成的默认操作，而将资源管理委托给专门的资源管理类（如std::string, std::vector, std::unique_ptr等）。这样，我们就不需要自定义析构函数、拷贝/移动操作，编译器生成的默认行为就是正确的。

classRuleOfZero{std::string data;// 使用标准库字符串管理动态内存public:RuleOfZero(conststd::string&str):data(str){}// 不需要定义析构函数、拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符// 编译器自动生成的版本会正确调用std::string的相应操作。};