c++如何实现深拷贝和浅拷贝_c++拷贝构造函数编写【进阶】

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

浅拷贝是编译器默认行为,但会出问题

只要类里有指针成员或动态分配的资源,默认拷贝构造函数默认赋值运算符就会做浅拷贝——只复制指针值,不复制它指向的内容。两个对象的指针指向同一块内存,一个析构后另一访问就double freeuse-after-free

典型错误现象:malloc: *** error for object ...: pointer being freed was not allocated,或程序在第二次析构时崩溃。

  • 浅拷贝只发生在没有自定义拷贝构造函数operator=
  • 即使写了其中一个(比如只写拷贝构造),另一个仍用默认实现,风险仍在
  • std::vectorstd::string等标准容器内部已处理深拷贝,它们的成员不用手动管

深拷贝必须手写拷贝构造函数和赋值运算符

深拷贝的核心是:为每个对象独立申请新内存,并把原对象数据完整复制过去。这要求同时重载拷贝构造函数operator=,否则行为不一致。

示例场景:类管理一块int*数组:

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禁止拷贝,只允许移动)

真正麻烦的从来不是“怎么写”,而是“在哪改”——当一个已有类突然要支持拷贝时,所有持有它的容器、函数参数、返回值位置,都得重新审视生命周期是否仍成立。