三/五/零法则是C++中关于特殊成员函数的设计原则：若需自定义析构函数、拷贝或移动操作中的任一个，就应显式定义全部五个（析构、拷贝构造、拷贝赋值、移动构造、移动赋值），或完全不定义而依赖编译器生成，推荐使用RAII如vector、智能指针实现“零”手动管理，避免资源泄漏。
在C++中，三/五/零法则是关于类中特殊成员函数设计的重要指导原则，它帮助开发者正确管理资源，避免内存泄漏或未定义行为。这个法则的核心是：如果你需要手动定义以下五个特殊成员函数中的任意一个，那么你很可能需要显式定义全部五个，或者干脆一个都不定义（即遵循“零”规则）。
三/五/零法则详解
这五个特殊成员函数包括：
- 析构函数（destructor）
- 拷贝构造函数（copy constructor）
- 拷贝赋值运算符（copy assignment operator）
- 移动构造函数（move constructor）
- 移动赋值运算符（move assignment operator）
该法则的含义如下：
三法则：在C++11之前，只有前三个函数重要。如果你需要自定义其中一个（比如因为类中管理了动态内存），通常也需要自定义另外两个，以确保资源被正确复制和释放。
五法则：C++11引入了移动语义后，如果类需要自定义析构函数、拷贝操作或移动操作中的任何一个，就应当显式定义所有五个函数，否则编译器生成的默认版本可能不符合预期。
零法则：理想情况下，尽量避免手动管理资源。使用RAII（如智能指针、容器等）让编译器自动生成正确的特殊成员函数。此时，你不需要定义任何这些函数——即“零”个。
何时需要手动定义？
当你在类中直接管理原始资源时，例如：
立即学习“C++免费学习笔记（深入）”；
- 使用裸指针指向动态分配的内存（如 new int[10]）
- 持有文件句柄、socket、互斥锁等系统资源
- 实现自定义的资源生命周期控制逻辑
在这种情况下，编译器提供的默认拷贝行为是浅拷贝，会导致多个对象指向同一块内存，析构时重复释放，引发崩溃。
如何正确实现五函数？
假设你有一个类管理一段动态数组：
class MyArray {
private:
int* data;
size_t size;
<p>public:
// 构造函数
explicit MyArray(size_t s) : size(s), data(new int[s]{}) {}</p><pre class="brush:php;toolbar:false;">// 1. 析构函数
~MyArray() { delete[] data; }
// 2. 拷贝构造函数
MyArray(const MyArray& other)
: size(other.size), data(new int[other.size])
{
std::copy(other.data, other.data + size, data);
}
// 3. 拷贝赋值运算符 —— 注意自我赋值安全和异常安全
MyArray& operator=(const MyArray& other) {
if (this != &other) {
int* new_data = new int[other.size];
std::copy(other.data, other.data + other.size, new_data);
delete[] data;
data = new_data;
size = other.size;
}
return *this;
}
// 4. 移动构造函数
MyArray(MyArray&& other) noexcept
: size(other.size), data(other.data)
{
other.size = 0;
other.data = nullptr;
}
// 5. 移动赋值运算符
MyArray& operator=(MyArray&& other) noexcept {
if (this != &other) {
delete[] data;
data = other.data;
size = other.size;
other.data = nullptr;
other.size = 0;
}
return *this;
}};
注意点：
- 移动操作应标记为
noexcept，以便标准库能安全使用它们（如 vector 扩容） - 拷贝赋值要处理自赋值问题
- 移动后原对象应处于“有效但可析构”状态
推荐做法：优先使用零法则
大多数情况下，你应该用更高级的抽象代替手动资源管理：
class MyArrayBetter {
private:
std::vector<int> data; // 使用 vector 自动管理内存
<p>public:
explicit MyArrayBetter(size_t s) : data(s, 0) {}
// 不需要手动定义析构、拷贝、移动函数！
};
此时，编译器会自动生成正确且高效的拷贝和移动操作，你无需操心细节。
基本上就这些。掌握三/五/零法则，能让你写出更安全、更现代的C++代码。重点不是死记硬背五个函数怎么写，而是理解资源管理的本质：要么全权掌控，要么完全交出。不复杂但容易忽略。
