当类中存在指针成员或资源句柄时必须手写拷贝构造函数和赋值运算符,否则默认浅拷贝会导致悬空指针、double free等未定义行为;而全由raii类型组成的类通常无需手动实现。

什么时候必须手写 copy constructor 和 operator=
当类中存在指针成员(比如 int*、std::string*、自定义对象指针)或资源句柄(如 FILE*、void* 显式管理内存)时,编译器生成的默认拷贝构造函数和赋值运算符只会做浅拷贝——即复制指针值,而非它指向的数据。两个对象会共享同一块堆内存,后续任意一方释放就会导致另一方悬空。
典型错误现象:double free or corruption、程序随机崩溃、修改一个对象影响另一个。
- 若类里全是
int、double、std::string(非指针)、std::vector等 RAII 类型,通常不需要手写——它们内部已实现深拷贝语义 -
std::unique_ptr是移动语义,默认拷贝会被禁用,强制你面对所有权问题;而std::shared_ptr拷贝是“浅”但安全的引用计数,不属于深拷贝需求场景 - 只要有一个原始指针成员,整个类就失去“可安全拷贝”的默认保障,必须显式控制
手动实现深拷贝:分配 + 复制 + 异常安全
核心动作就三步:为新对象分配独立内存 → 逐字节/逐元素复制原数据 → 在析构中正确释放。难点在异常安全:如果复制过程中抛异常(比如 new 失败),不能留下部分构造的脏状态。
推荐写法是“复制-交换”惯用法(copy-and-swap),但更轻量直接的做法是:在 copy constructor 中只做分配和复制,在 operator= 中先检查自赋值,再释放旧资源,再分配复制。
-
copy constructor示例:
class DataHolder {
int* data_;
size_t size_;
public:
DataHolder(const DataHolder& other) : size_(other.size_) {
data_ = new int[size_]; // 分配新内存
for (size_t i = 0; i
-
operator=必须加自赋值检查:if (this == &other) return *this;,否则delete[] data_后又去读other.data_就崩了 - 若复制逻辑复杂(如含嵌套对象、多级指针),把复制逻辑抽成私有函数(如
clone_data(const DataHolder&)),避免copy constructor和operator=重复代码
含嵌套对象的递归深拷贝怎么写
所谓“递归”,不是真的写递归函数,而是指:当前类的某个成员本身也是自定义类,且该成员也需要深拷贝——此时只要它的类型已正确定义了 copy constructor,你只需在本类的拷贝函数中直接用 = 或初始化列表调用它,C++ 会自动触发其深拷贝逻辑。
例如:
class Node {
int value_;
Node* next_; // 原始指针,需深拷贝
public:
Node(const Node& other) : value_(other.value_) {
next_ = (other.next_) ? new Node(*other.next_) : nullptr;
}
};
- 这里
new Node(*other.next_)就是递归调用——当前Node的拷贝构造函数再次被调用,处理下一层 - 必须判空,否则
nullptr解引用崩溃 - 链表、树这类结构容易栈溢出(深度过大),生产环境建议改用迭代+栈模拟,或限制最大深度
- 若嵌套的是标准容器(如
std::vector<node></node>),注意:容器本身深拷贝了指针数组,但不拷贝指针指向的对象——你仍需遍历并手动new Node(*ptr)
现代 C++ 中能绕过手写深拷贝吗
可以,但取决于你是否愿意改变接口或约束使用方式。绕过 ≠ 消除需求,而是把深拷贝责任转移给更安全的抽象。
- 用
std::vector<int></int>替代int*+size_t:容器自己管内存,拷贝即深拷贝 - 用
std::unique_ptr<t></t>包裹原始指针:它禁止拷贝,只允许移动——如果你本来就不希望用户随意拷贝对象,这是更清晰的设计 - 用
std::shared_ptr<t></t>:拷贝的是智能指针,底层对象仍是共享的,不符合“深拷贝”语义,别误用 - 标记类为
final并删除拷贝函数:DataHolder(const DataHolder&) = delete;,强制用户用移动或共享,从源头规避问题
真正难处理的是遗留 C 接口封装、与硬件/驱动交互的类,或性能敏感场景下必须用裸指针+池化分配——这时手写深拷贝不是可选项,而是必选项,且必须反复验证边界(空指针、分配失败、异常路径)。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










