三五零法则是C++中类资源管理的核心原则,指导开发者正确处理对象的复制、移动和销毁。最初为“三法则”,即若需自定义析构函数、拷贝构造函数或拷贝赋值运算符之一,通常需定义全部三个,以防止浅拷贝导致的资源重复释放问题。C++11引入移动语义后扩展为“五法则”,新增移动构造函数和移动赋值运算符,共五个特殊成员函数需同步考虑。现代C++提倡“零法则”,主张通过RAII和智能指针(如std::unique_ptr)或标准容器(如std::vector)自动管理资源,避免手动定义任何特殊成员函数,依赖编译器生成的安全默认行为,从而提升代码安全性与可维护性。

在C++中,三五零法则是关于类资源管理的重要指导原则,它帮助开发者正确处理对象的复制、移动和销毁行为,避免内存泄漏、重复释放等常见错误。这个法则随着C++标准的演进从“三”发展到“五”,再到提倡“零”的现代C++风格。
Rule of Three(三法则)
在C++11之前,如果一个类需要手动定义以下三个特殊成员函数中的任意一个,那么通常也需要定义另外两个:
- 析构函数(destructor)
- 拷贝构造函数(copy constructor)
- 拷贝赋值运算符(copy assignment operator)
原因在于:当类管理了动态资源(如裸指针、文件句柄等),默认的拷贝行为是浅拷贝,可能导致多个对象指向同一块资源,析构时引发重复释放。因此,若需自定义析构逻辑,往往也要自定义拷贝语义(深拷贝或禁用)。
Rule of Five(五法则)
C++11引入了移动语义后,三法则扩展为五法则。如果类需要自定义以下任一函数,通常应显式定义全部五个:
立即学习“C++免费学习笔记(深入)”;
- 析构函数
- 拷贝构造函数
- 拷贝赋值运算符
- 移动构造函数(move constructor)
- 移动赋值运算符(move assignment operator)
例如,一个持有原始指针的类:
char* data;
public:
// 析构函数
~MyString() { delete[] data; }
// 拷贝构造
MyString(const MyString& other) {
data = new char[std::strlen(other.data)+1];
std::strcpy(data, other.data);
}
// 拷贝赋值
MyString& operator=(const MyString& other) {
if (this != &other) {
delete[] data;
data = new char[std::strlen(other.data)+1];
std::strcpy(data, other.data);
}
return *this;
}
// 移动构造
MyString(MyString&& other) noexcept : data(other.data) {
other.data = nullptr;
}
// 移动赋值
MyString& operator=(MyString&& other) noexcept {
if (this != &other) {
delete[] data;
data = other.data;
other.data = nullptr;
}
return *this;
}
};
Rule of Zero(零法则)
现代C++提倡“零法则”:通过使用RAII智能指针(如std::unique_ptr、std::shared_ptr)和标准容器(如std::vector、std::string),让类不直接管理资源,从而无需手动定义任何特殊成员函数。
编译器生成的默认函数已足够安全高效。例如:
class MyString {std::unique_ptr
size_t size;
public:
// 不需要自定义析构、拷贝、移动函数
// 编译器生成的版本会自动处理 unique_ptr
};
此时,拷贝操作由std::unique_ptr禁止(因为不可拷贝),若需要拷贝可改用std::shared_ptr或显式实现。移动操作则自动支持。
基本上就这些。优先使用资源管理类代替原始指针,能大幅减少出错可能,提升代码安全性与可维护性。三五零法则的本质,是从手动管理转向自动化资源管理的思维转变。










