C++如何实现对象的深拷贝与浅拷贝-C++-PHP中文网

浅拷贝是默认行为，易导致use-after-free等未定义行为；必须手动实现深拷贝（三/五法则），优先使用智能指针，并用addresssanitizer验证。

c++如何实现对象的深拷贝与浅拷贝

浅拷贝是默认行为，但可能引发内存错误

编译器自动生成的拷贝构造函数和赋值运算符只做成员逐字节复制——对指针成员而言，这等于两个对象共享同一块堆内存。一旦其中一个析构时 delete 了指针，另一个再访问就是 use-after-free，程序大概率崩溃或行为未定义。

典型触发场景：类中包含 int*、std::string* 或自定义资源句柄（如文件描述符、GPU buffer ID）；或者用 new 分配了动态内存但没重写拷贝逻辑。

检查类是否含裸指针、FILE*、void* 等非 RAII 成员
运行时若出现 double free or corruption 或 Segmentation fault，且发生在对象拷贝后析构阶段，极可能是浅拷贝问题
启用 AddressSanitizer（-fsanitize=address）能快速定位这类问题

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

只要类管理了动态资源，就必须显式定义三法则（C++11 后建议用五法则）：拷贝构造函数、拷贝赋值运算符、析构函数；C++11 起还应考虑移动语义（move constructor 和 move assignment operator），否则深拷贝对象无法高效转移。

关键不是“要不要写”，而是“怎么写才安全”：

拷贝构造函数中，对每个指针成员调用 new（或 std::make_unique）分配新内存，并用 *other.ptr 复制内容
赋值运算符必须先处理自赋值（if (this == &other) return *this;），再释放旧资源，最后深拷贝新内容
析构函数里只负责清理本对象申请的资源，不碰其他对象的内存
优先用智能指针替代裸指针：std::unique_ptr 自动禁用拷贝，std::shared_ptr 默认就是深语义的引用计数共享——多数情况下比手写深拷贝更安全

示例片段：

class Buffer {
    int* data_;
    size_t size_;
public:
    Buffer(const Buffer& other) : size_(other.size_), data_(new int[other.size_]) {
        std::copy(other.data_, other.data_ + size_, data_);
    }
    Buffer& operator=(const Buffer& other) {
        if (this == &other) return *this;
        delete[] data_;
        size_ = other.size_;
        data_ = new int[other.size_];
        std::copy(other.data_, other.data_ + size_, data_);
        return *this;
    }
    ~Buffer() { delete[] data_; }
};

std::vector 和 std::string 的拷贝是深的，但别误判“所有标准容器都安全”

std::vector、std::string、std::map 等标准容器的拷贝构造和赋值确实执行深拷贝——它们内部已正确管理堆内存。但这只限于容器自身，不延伸到容器元素类型。

C++

"空空如也"

下载

常见误区：

std::vector<int></int> 拷贝后，两个 vector 里的指针仍指向同一组原始地址——这是浅拷贝，需额外处理
std::vector<:unique_ptr>></:unique_ptr> 拷贝会编译失败（unique_ptr 不可拷贝），这是设计使然，强制你面对所有权问题
std::vector<:shared_ptr>></:shared_ptr> 拷贝后引用计数加一，底层对象仍是共享的，语义上属于“逻辑深拷贝”但物理内存未复制

真正安全的做法是让容器元素本身支持深拷贝：比如用 std::vector<:string></:string> 或 std::vector<dataobject></dataobject>（前提是 DataObject 已正确定义了拷贝语义）。