深拷贝需手动实现拷贝构造函数、赋值运算符和析构函数以隔离资源;裸指针易出错,可用std::unique_ptr配合自定义逻辑或序列化方案替代,但核心在于明确复制语义。

拷贝构造函数和赋值运算符只能浅拷贝
默认生成的 copy constructor 和 operator= 只做成员逐字节复制,如果类里有指针(比如 int*、std::string* 或自定义资源句柄),就会出现两个对象指向同一块内存——修改一个,另一个跟着变;析构时还可能 double-free。这不是深度克隆。
手动实现深拷贝需重写三个特殊成员函数
要真正隔离数据,必须显式管理资源:分配新内存、复制内容、释放旧资源。这涉及三个函数协同工作:
-
MyClass(const MyClass& other):在构造时为每个指针成员 new 一块新内存,并 memcpy 或逐个复制内容 -
MyClass& operator=(const MyClass& other):先检查自赋值(this == &other),再 delete 当前指针,再 new + copy -
~MyClass():delete 所有动态分配的指针成员
漏掉任意一个,都会导致内存泄漏、悬挂指针或未定义行为。C++11 后建议同时禁用移动语义或正确实现它,否则 std::vector push_back 可能触发移动而非拷贝,绕过你的深拷贝逻辑。
用 std::unique_ptr 替代裸指针可自动获得深拷贝语义
裸指针深拷贝容易出错,而智能指针能大幅简化。但注意:std::unique_ptr 默认是 move-only,不支持拷贝;若要支持拷贝,必须自定义拷贝逻辑:
class DataHolder {
std::unique_ptr<int> data_;
size_t size_;
public:
DataHolder(const DataHolder& other)
: size_(other.size_), data_(std::make_unique<int>(other.size_)) {
std::copy(other.data_.get(), other.data_.get() + size_, data_.get());
}
DataHolder& operator=(const DataHolder& other) {
if (this != &other) {
size_ = other.size_;
data_ = std::make_unique<int>(other.size_);
std::copy(other.data_.get(), other.data_.get() + size_, data_.get());
}
return *this;
}
};</int></int></int>
这里没用 data_.reset(new int[other.size_]),因为 std::make_unique 更安全;也没用 data_.release() + delete[],因为 unique_ptr 析构会自动处理。
序列化反序列化是更通用的深拷贝方案
当对象嵌套复杂(含虚函数、多态指针、循环引用),手写拷贝逻辑极易遗漏分支。此时可走“序列化 → 新对象重建”路径:
- 用
boost::serialization或cereal库,标记成员为serialize(ar, ...) - 将原对象序列化到内存 buffer(如
std::ostringstream),再从该 buffer 构造新对象 - 注意:要求所有嵌套类型都支持序列化,且类需有默认构造函数(反序列化时先调用它)
这种方式不依赖内存布局,天然规避指针管理问题,但性能开销大、调试困难,且无法拷贝文件句柄、socket 等不可序列化资源——这类对象本就不该被深拷贝。
深拷贝真正的难点不在语法,而在语义:你得清楚哪些字段必须隔离、哪些可以共享、哪些根本不能复制。没想清楚这点,代码写得再工整也迟早出问题。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











