在C++中，对象的拷贝操作分为浅拷贝和深拷贝两种类型，二者的核心差异在于对指针成员的处理方式不同，而拷贝构造函数是实现拷贝逻辑的核心载体，掌握其编写技巧能有效避免内存管理问题。
浅拷贝与深拷贝的核心区别
浅拷贝是指在进行对象拷贝时，仅逐成员复制对象的所有成员变量值。如果对象中包含指针类型的成员，浅拷贝只会复制指针本身存储的地址值，不会复制指针指向的内存区域。这种情况下，原对象和拷贝后的对象会共享同一块堆内存，当其中一个对象析构释放该内存后，另一个对象的指针就会变成悬空指针，再次释放会导致程序崩溃。
深拷贝则是在拷贝对象时，对于指针类型的成员，会先重新分配一块大小相同的堆内存，再将原指针指向的内容复制到新分配的内存中。这样原对象和拷贝对象的指针成员指向不同的内存区域，各自管理自己的内存，析构时不会互相影响。
默认拷贝构造函数的局限性
C++编译器会为类自动生成一个默认的拷贝构造函数，这个默认的拷贝构造函数执行的就是浅拷贝操作。如果类中没有指针成员，浅拷贝完全够用；但如果类包含需要动态分配内存的指针成员，默认拷贝构造函数就会引发问题。
下面是一个包含指针成员的类，使用默认拷贝构造函数的示例：
#include <iostream>
#include <cstring>
class ShallowCopyDemo {
public:
char* data;
// 构造函数，分配堆内存并复制内容
ShallowCopyDemo(const char* str) {
data = new char[strlen(str) + 1];
strcpy(data, str);
}
// 析构函数，释放堆内存
~ShallowCopyDemo() {
delete[] data;
}
};
int main() {
ShallowCopyDemo obj1("hello");
// 调用默认拷贝构造函数，执行浅拷贝
ShallowCopyDemo obj2 = obj1;
std::cout << "obj1 data: " << obj1.data << std::endl;
std::cout << "obj2 data: " << obj2.data << std::endl;
// 程序结束时，obj1和obj2的析构函数会先后释放同一块data内存，导致崩溃
return 0;
}
自定义拷贝构造函数实现深拷贝
要避免浅拷贝的问题，就需要自定义拷贝构造函数，手动实现深拷贝逻辑。自定义拷贝构造函数的语法是在类中声明一个参数为同类对象常引用的函数，函数名和类名相同，没有返回值。
下面是修改后的深拷贝实现示例：
#include <iostream>
#include <cstring>
class DeepCopyDemo {
public:
char* data;
// 构造函数
DeepCopyDemo(const char* str) {
data = new char[strlen(str) + 1];
strcpy(data, str);
}
// 自定义拷贝构造函数，实现深拷贝
DeepCopyDemo(const DeepCopyDemo& other) {
// 为新对象的data分配新的堆内存
data = new char[strlen(other.data) + 1];
// 复制原对象data指向的内容到新内存
strcpy(data, other.data);
}
// 析构函数
~DeepCopyDemo() {
delete[] data;
}
};
int main() {
DeepCopyDemo obj1("world");
// 调用自定义拷贝构造函数，执行深拷贝
DeepCopyDemo obj2 = obj1;
std::cout << "obj1 data: " << obj1.data << std::endl;
std::cout << "obj2 data: " << obj2.data << std::endl;
// 两个对象的data指向不同内存，析构时互不影响
return 0;
}
拷贝构造函数的实用技巧
1. 参数为常引用
拷贝构造函数的参数必须是同类对象的常引用（const 类名&），原因有两个：一是使用引用可以避免拷贝参数时再次调用拷贝构造函数，防止递归调用；二是加上const修饰可以保证拷贝过程中不会修改原对象的内容，同时允许拷贝临时对象。
2. 同时实现拷贝赋值运算符
除了拷贝构造函数，对象的赋值操作也会触发拷贝逻辑，因此如果自定义了拷贝构造函数，通常也需要自定义拷贝赋值运算符（operator=），遵循同样的深拷贝规则，避免赋值时的浅拷贝问题。
拷贝赋值运算符的实现需要注意先释放当前对象已有的堆内存，再分配新内存复制内容，同时还要处理自赋值的情况，避免释放自身内存后无法复制内容。
// 拷贝赋值运算符实现示例
DeepCopyDemo& operator=(const DeepCopyDemo& other) {
// 处理自赋值情况
if (this == &other) {
return *this;
}
// 释放当前对象的原有内存
delete[] data;
// 分配新内存并复制内容
data = new char[strlen(other.data) + 1];
strcpy(data, other.data);
return *this;
}
3. 禁止拷贝的场景处理
如果类的对象不需要被拷贝，可以将拷贝构造函数和拷贝赋值运算符声明为私有，或者标记为= delete，明确禁止拷贝操作，避免误用。
class NonCopyable {
public:
NonCopyable() = default;
// 禁止拷贝构造函数和拷贝赋值运算符
NonCopyable(const NonCopyable&) = delete;
NonCopyable& operator=(const NonCopyable&) = delete;
};
4. 遵循三五法则
C++中的三五法则指：如果需要自定义析构函数、拷贝构造函数、拷贝赋值运算符中的任意一个，那么通常也需要自定义另外两个，最好同时实现移动构造函数和移动赋值运算符，保证类的内存管理逻辑完整一致。
常见误区提醒
- 不要误以为所有类都需要深拷贝，只有当类中有动态分配的堆内存指针成员时才需要，普通成员变量的类使用默认浅拷贝即可。
- 拷贝构造函数中不要遗漏对基类部分的拷贝，如果类有继承关系，需要在初始化列表中调用基类的拷贝构造函数。
- 深拷贝分配内存后一定要检查内存是否分配成功，避免空指针操作，不过现代C++中
new失败会抛出异常，一般不需要手动检查，但如果是老标准或特殊场景需要注意。