浅拷贝是默认行为,但含裸指针等手动管理资源时会引发double free;必须显式实现深拷贝(拷贝构造+赋值运算符)或改用智能指针/共享语义。

浅拷贝是默认行为,但会引发资源重复释放问题
当你没写拷贝构造函数或赋值运算符时,C++ 自动生成的版本只做成员逐字节复制。对 int、double 这类内置类型没问题,但一旦类里有指针(比如 char* 或 std::string*),就出事了:两个对象指向同一块堆内存。析构时各自调用 delete,触发 double free or corruption 错误。
典型表现:程序运行时崩溃,报错信息里带 malloc(): double free detected 或直接 segmentation fault。
- 只要类里含有裸指针、FILE*、socket fd 等需要手动管理的资源,就必须自己写拷贝逻辑
-
std::vector、std::string这些标准容器内部已实现深拷贝,它们的成员变量不用额外处理 - 即使你只用了智能指针(如
std::unique_ptr),也要注意:它默认禁止拷贝,必须显式用std::move或改用std::shared_ptr
深拷贝必须在拷贝构造函数和赋值运算符里同步实现
只写一个不写另一个,很容易掉坑里。比如写了拷贝构造但没重载 operator=,那 a = b 仍走默认浅拷贝;反之亦然。
推荐写法是“拷贝-交换”(copy-and-swap)惯用法,既解决自赋值问题,又保证强异常安全:
立即学习“C++免费学习笔记(深入)”;
class Buffer {
private:
char* data_;
size_t size_;
public:
Buffer(const Buffer& other) : data_(nullptr), size_(other.size_) {
if (other.data_) {
data_ = new char[size_];
std::memcpy(data_, other.data_, size_);
}
}
<pre class="brush:php;toolbar:false;">Buffer& operator=(Buffer other) { // 注意:传值,自动调用拷贝构造
swap(*this, other);
return *this;
}
friend void swap(Buffer& a, Buffer& b) noexcept {
using std::swap;
swap(a.data_, b.data_);
swap(a.size_, b.size_);
}
~Buffer() { delete[] data_; }};
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 拷贝构造函数里必须分配新内存,并复制内容,不能直接赋值指针
-
operator=参数用值传递(不是 const ref),靠这一步触发深拷贝,再交换资源 - 如果类里有多个动态资源(比如两个
char*成员),每个都要单独new+memcpy
移动语义能避免不必要的深拷贝开销
当对象只是临时被传递(比如函数返回值、push_back 临时对象),深拷贝纯属浪费。C++11 引入移动构造/赋值后,可以用 std::move 把资源“偷”过来,原对象置为空。
关键点:
- 移动构造函数签名是
Buffer(Buffer&& other) noexcept,参数是右值引用 - 移动操作本质是指针交换,不 new 不 memcpy,所以要加
noexcept(否则容器可能拒绝使用) - 移动后原对象必须处于有效但未定义状态,常见做法是把指针设为
nullptr,确保析构时不 crash - 如果写了移动函数,编译器不再生成默认拷贝函数,记得显式声明
= default或手动写全
用 std::shared_ptr 可以绕过手写深拷贝
如果你只是想让多个对象共享同一份数据,且不需要各自独立副本,std::shared_ptr 是更安全、更轻量的选择。它自带引用计数,析构时自动释放。
示例:
class Buffer {
private:
std::shared_ptr<char[]> data_;
size_t size_;
public:
Buffer(size_t n) : size_(n), data_(new char[n]) {}
<pre class="brush:php;toolbar:false;">Buffer(const Buffer& other) = default; // shared_ptr 拷贝是增加引用计数,不是深拷贝
Buffer& operator=(const Buffer& other) = default;};
- 这种写法下,拷贝是浅的(指针共享),但语义上是安全的——没人会误删内存
- 若你需要真正的深拷贝语义(每个对象改自己的数据不影响别人),就不能用
shared_ptr,必须手动分配 - 别混用裸指针和智能指针:比如成员是
std::shared_ptr,但你在构造函数里用new分配并传给它,没问题;但若成员是裸指针,却试图用std::shared_ptr去管理,就会 double delete
最常被忽略的是:深拷贝逻辑是否覆盖所有构造路径。比如类有多个构造函数(含默认、带参、转换构造),每个都可能间接导致对象被拷贝,务必检查所有路径是否最终走到正确的资源管理逻辑上。

















