深拷贝构造函数必须手动编写,因编译器默认生成浅拷贝,导致指针成员共享内存引发 double free 或 use-after-free;正确做法是重新分配内存并逐元素拷贝,注意 new[]/delete[] 配对及 RAII 替代裸指针。

深拷贝构造函数必须手动编写,编译器默认生成的是浅拷贝
当类中包含指针成员(比如 int*、char*)或资源句柄(如文件描述符、动态分配的缓冲区),编译器自动生成的拷贝构造函数只会复制指针值,而非它指向的数据——这导致两个对象共享同一块堆内存。一旦其中一个析构时调用 delete,另一对象再访问或析构就会触发 double free 或 use-after-free 错误。
正确做法是:在拷贝构造函数里为指针成员重新分配内存,并逐字节/逐元素拷贝原始数据。
- 必须检查源对象指针是否为
nullptr,避免解引用空指针 - 若原对象指针指向的是数组(如
new int[10]),拷贝时必须用new int[10]而非new int - 拷贝后要确保新对象的指针与原对象完全独立,包括深层嵌套结构(如指针指向结构体,结构体内还有指针)
内存分配与释放必须严格配对,且类型匹配
new 和 delete、new[] 和 delete[] 是两组不可混用的配对。用 new[] 分配的数组,必须用 delete[] 释放;否则行为未定义(常见表现是程序崩溃或内存泄漏)。
底层原理在于:new[] 在实际分配的内存块头部额外存储了数组长度信息(具体位置和格式由实现决定),delete[] 会读取该信息来决定调用多少次元素的析构函数并释放正确大小的内存;而 delete 不读这个头,直接按单个对象处理,必然出错。
立即学习“C++免费学习笔记(深入)”;
- 如果类中用
new int[n]分配数组,拷贝构造函数里必须写data = new int[n]; std::copy(other.data, other.data + n, data); - 析构函数里对应写
delete[] data;,不能漏掉[] - 禁止用
malloc/free混入new/delete生命周期(除非你明确接管全部内存管理,且不调用构造/析构)
容易被忽略的隐式调用场景:传值参数、返回局部对象、std::vector 扩容
深拷贝不是只在显式写 A a(b) 时发生。以下情况都会触发拷贝构造函数:
- 函数参数为值传递(
void foo(MyClass x)),传入对象时调用 - 函数返回局部对象(
MyClass bar() { MyClass x; return x; }),即使开启 RVO,未优化时仍可能调用 -
std::vector在扩容时,会将旧元素逐个用拷贝构造函数移到新内存
这些场景一旦类没写正确的深拷贝构造函数,问题往往延迟暴露(比如 vector 扩容时才 crash),调试难度陡增。
现代 C++ 更推荐用 RAII 容器替代裸指针
手写深拷贝构造函数容易出错,且维护成本高。C++11 后的标准做法是:用 std::vector、std::string、std::unique_ptr 等自动管理资源的对象替代裸指针。
例如把 int* data; 换成 std::vector,拷贝构造自动完成深拷贝,无需手动实现;换成 std::unique_ptr,也能自动管理数组生命周期,且移动语义天然支持(避免不必要的拷贝)。
只有当你必须控制内存布局、对接 C 接口、或做极致性能优化时,才考虑裸指针+手写深拷贝——这时务必同步实现赋值运算符(operator=)和析构函数,遵守“三法则”(C++11 后建议升级为“五法则”)。










