浅拷贝是编译器默认行为,仅复制指针值而非所指内容,导致双释放或悬垂指针;深拷贝需手动实现拷贝构造函数和赋值运算符,并注意自我赋值、异常安全与资源独立;C++11后推荐用移动语义优化性能,资源管理类须遵循Rule of Five。

浅拷贝是编译器默认行为,但会出问题
只要类里有指针成员或动态分配的资源,默认拷贝构造函数和默认赋值运算符就会做浅拷贝——只复制指针值,不复制它指向的内容。两个对象的指针指向同一块内存,一个析构后另一访问就double free或use-after-free。
典型错误现象:malloc: *** error for object ...: pointer being freed was not allocated,或程序在第二次析构时崩溃。
- 浅拷贝只发生在没有自定义
拷贝构造函数和operator=时 - 即使写了其中一个(比如只写拷贝构造),另一个仍用默认实现,风险仍在
-
std::vector、std::string等标准容器内部已处理深拷贝,它们的成员不用手动管
深拷贝必须手写拷贝构造函数和赋值运算符
深拷贝的核心是:为每个对象独立申请新内存,并把原对象数据完整复制过去。这要求同时重载拷贝构造函数和operator=,否则行为不一致。
示例场景:类管理一块int*数组:
立即学习“C++免费学习笔记(深入)”;
class Data {
int* ptr;
size_t size;
public:
Data(size_t s) : size(s), ptr(new int[s]{}) {}
// 深拷贝构造函数
Data(const Data& other) : size(other.size), ptr(new int[other.size]) {
std::copy(other.ptr, other.ptr + size, ptr);
}
// 深拷贝赋值运算符(注意自我赋值检查 + 异常安全)
Data& operator=(const Data& other) {
if (this == &other) return *this; // 自我赋值防护
delete[] ptr; // 先释放当前资源
size = other.size;
ptr = new int[other.size];
std::copy(other.ptr, other.ptr + size, ptr);
return *this;
}
~Data() { delete[] ptr; }};
- 拷贝构造函数参数必须是
const Data&,否则递归调用自己 - 赋值运算符返回
Data&以支持链式赋值(如a = b = c) - 先
delete[]再new[],避免内存泄漏;但若new抛异常,对象会处于“半销毁”状态——更健壮的做法是用copy-and-swap惯用法
C++11 后推荐用移动语义替代部分深拷贝开销
频繁拷贝大对象(如含几 MB 数据的std::vector)时,深拷贝本身成为性能瓶颈。C++11 引入移动构造函数和移动赋值运算符,允许“窃取”资源而非复制。
关键点:
- 移动操作只对右值(临时对象、
std::move(x)结果)触发,不会改变原有逻辑语义 - 移动后源对象必须处于有效但未指定状态(例如
ptr设为nullptr,避免析构时重复释放) - 如果类支持移动,编译器在合适场景(如
return local_obj;)自动用移动代替拷贝 - 显式禁用移动:用
= delete声明Data(Data&&) = delete;(比如资源必须严格独占且不可转移)
Rule of Five 是底线,不是可选项
只要类涉及资源管理(内存、文件句柄、socket 等),就必须考虑全部五个特殊成员函数:析构函数、拷贝构造、拷贝赋值、移动构造、移动赋值。漏写任何一个,都可能在某个使用路径下触发未定义行为。
容易被忽略的细节:
-
explicit修饰拷贝构造函数?一般不加——它本就只用于初始化,不是类型转换 - 基类有虚析构函数时,派生类的拷贝/移动函数必须显式委托或处理基类部分
- 用
std::unique_ptr等 RAII 类型替代裸指针,能自动规避大部分深/浅拷贝陷阱(unique_ptr禁止拷贝,只允许移动)
真正麻烦的从来不是“怎么写”,而是“在哪改”——当一个已有类突然要支持拷贝时,所有持有它的容器、函数参数、返回值位置,都得重新审视生命周期是否仍成立。










