三五法则是C++资源管理的指导原则:需自定义析构、拷贝构造、拷贝赋值三者之一时,应显式定义其余两个(三法则);C++11起还须考虑移动构造和移动赋值(五法则),以避免浅拷贝导致的重复释放、悬空指针等问题。

三五法则是 C++ 中关于资源管理类必须显式定义哪些特殊成员函数的指导原则:当类需要自定义析构函数、拷贝构造函数或拷贝赋值运算符中的任意一个时,通常也需要显式定义其余两个(三法则);C++11 起,若涉及移动语义,还应一并考虑移动构造函数和移动赋值运算符(五法则)。核心目标是避免浅拷贝引发的重复释放、悬空指针或资源泄漏。
为什么需要三五法则?
编译器为每个类自动生成默认的六个特殊成员函数(默认构造、析构、拷贝构造、拷贝赋值、移动构造、移动赋值),但它们都只做“按字节复制”(shallow copy)。如果类持有动态资源(如 new 出的内存、打开的文件句柄、互斥锁等),默认拷贝行为会导致多个对象指向同一块资源——析构时多次释放同一内存,程序崩溃。
例如:
class BadString {char* data;
public:
BadString(const char* s) { data = new char[strlen(s)+1]; strcpy(data, s); }
~BadString() { delete[] data; } // 默认拷贝构造会复制 data 指针 → 两个对象 delete 同一块内存
};
三法则:C++98/03 的底线要求
当你写了以下任一个,就该补全另外两个:
立即学习“C++免费学习笔记(深入)”;
- 自定义析构函数(因为要释放资源)
- 自定义拷贝构造函数(因为不能用默认的浅拷贝)
- 自定义拷贝赋值运算符(同理,且需处理自赋值、异常安全等)
三者缺一不可。否则会出现“析构了但没深拷贝”或“能拷贝却没清理旧资源”等问题。
版权声明:除非特别标注,否则均为本站原创文章,转载时请以链接形式注明文章出处。
还木有评论哦,快来抢沙发吧~