深拷贝必须手动实现,因默认拷贝构造函数仅浅拷贝指针或资源句柄,易致野指针或double free;需显式定义拷贝构造函数(const引用参数)、赋值运算符(推荐copy-and-swap),现代C++优先用智能指针和RAII。

深拷贝必须手动实现,编译器默认只做浅拷贝
当你类里有 new 出来的指针(比如 int*、std::string* 或自定义对象指针),或者持有系统资源(如文件句柄、socket),编译器生成的默认拷贝构造函数只会复制指针值——两个对象指向同一块内存。一旦其中一个析构时 delete 了,另一个再访问就是野指针;若两次 delete 同一地址,直接 double free 崩溃。
所以:只要类中有动态分配的资源,就必须显式定义拷贝构造函数,并在其中用 new(或 malloc)为副本重新分配内存,再逐字节/逐字段拷贝内容。
拷贝构造函数签名和调用时机不能错
正确签名只能是:A(const A& other) —— 参数必须是 const 引用。写成 A(A other) 会触发无限递归(传值调用又需要拷贝,又调用自己);写成 A(A& other) 则无法接受临时对象或 const 对象,实用性极差。
常见误用场景:
立即学习“C++免费学习笔记(深入)”;
- 把拷贝构造函数当成普通构造函数来调用,比如
A a = b;是拷贝初始化,会调用它;但A a(b);也是,而A a; a = b;调用的是赋值运算符operator=,不是拷贝构造函数 - 忘记声明为
explicit(虽然一般不加,但若你希望禁止隐式转换,比如从int构造时意外触发拷贝构造,就得加)
必须同步重载赋值运算符,否则 = 操作仍会浅拷贝
只写拷贝构造函数不够。当执行 a = b; 时,调用的是 operator=,不是拷贝构造函数。如果没重载,编译器生成的默认版本仍是位拷贝,导致资源重复释放或悬空指针。
典型安全写法(copy-and-swap 惯用法):
A& operator=(A other) {
swap(*this, other);
return *this;
}
注意这里参数是按值传递(触发拷贝构造),然后交换内容,让临时对象 other 在作用域结束时自动清理原资源。这样能天然避免自赋值检查和异常安全问题。
如果手写传统方式,务必包含:
- 自赋值检查:
if (this == &other) return *this; - 先
delete当前资源,再new分配并拷贝 - 确保异常安全:若
new抛异常,原对象状态不能被破坏(所以推荐 copy-and-swap)
现代 C++ 更推荐用 RAII + 智能指针替代手写深拷贝
手动管理 new/delete 容易出错。C++11 后,绝大多数深拷贝需求可转为:用 std::unique_ptr 或 std::shared_ptr 管理堆内存,配合容器(如 std::vector)代替裸指针数组。
例如:
class A {
std::unique_ptr data;
size_t size;
public:
A(const A& other) : size(other.size), data(std::make_unique(other.size)) {
std::copy(other.data.get(), other.data.get() + size, data.get());
}
};
这时你甚至不用写 operator= —— std::unique_ptr 的拷贝构造本身就会做深拷贝(或禁止拷贝,视语义而定),且移动语义自动支持。
真正难的从来不是“怎么写拷贝构造”,而是“要不要让它可拷贝”。很多场景下,禁用拷贝(= delete)、只允许移动,反而更安全、更高效。








