三五零法则是C++中管理资源的核心原则:三法则要求手动管理资源时必须定义析构、拷贝构造和拷贝赋值;五法则在C++11中扩展为还需定义移动构造和移动赋值;零法则推荐用RAII类型托管资源,避免手写任何特殊成员函数。

三五零法则是C++中关于特殊成员函数设计的一套核心实践原则,本质是指导你如何安全、一致地管理类所持有的资源(比如堆内存、文件句柄、锁等),避免浅拷贝、重复释放、资源泄漏等未定义行为。
三法则:C++98/03时代的起点
当类需要手动管理资源时,若显式定义了以下任一函数,通常必须全部定义这三个:
-
析构函数(用于释放资源,如
delete[] data) - 拷贝构造函数(确保新对象获得独立副本,即深拷贝)
-
拷贝赋值运算符(处理
a = b,需先清理旧资源再深拷贝)
原因很简单:默认生成的拷贝操作只做位拷贝(浅拷贝),两个对象会共享同一块内存。析构时两次delete,程序崩溃。
五法则:C++11引入移动语义后的扩展
移动语义让临时对象的资源可以“窃取”而非复制,性能更优。但一旦你定义了任意一个特殊成员函数,编译器就不再自动生成移动操作;反之,若你写了移动构造函数,编译器会自动将拷贝操作设为= delete。因此,完整资源管理需覆盖全部五个:
立即学习“C++免费学习笔记(深入)”;
- 析构函数
- 拷贝构造函数
- 拷贝赋值运算符
-
移动构造函数(标记
noexcept,直接接管指针并置空源) -
移动赋值运算符(同样
noexcept,先清理自身,再接管资源)
漏掉移动操作,不仅浪费性能,还可能导致某些标准容器(如std::vector扩容)因无法移动而退化为拷贝,甚至编译失败。
零法则:现代C++的首选方案
不写任何特殊成员函数——这是最安全、最简洁的做法。前提是你把资源交给RAII类型托管:
- 用
std::string代替char* - 用
std::vector代替裸int* - 用
std::unique_ptr或std::shared_ptr代替手动new/delete
这些类型自身已正确实现了全部五个函数。你的类只需组合它们,编译器生成的默认版本就能自动调用成员的对应函数,深拷贝、移动、析构全部正确无误。
关键提醒:编译器不会“猜”你的意图
你显式声明任何一个特殊成员函数,就会干扰编译器的默认生成规则:
- 定义了析构函数 → 编译器不生成移动操作,也不再隐式生成拷贝操作(C++11起)
- 定义了移动构造函数 → 拷贝构造函数和拷贝赋值运算符被隐式删除
- 定义了拷贝赋值 → 移动赋值不会自动生成
所以不是“要不要写”,而是“写了一个,其他几个是否还能用”。三五零法则本质上是在帮你识别这种连锁影响,避免意外禁用关键操作。










