必须显式定义深拷贝拷贝构造函数,否则默认浅拷贝会导致多对象共享内存、重复释放和悬空指针;其要点是为每个指针成员分配新内存并复制内容,如String类中new char[len+1]后strcpy。
当类中包含指针成员或动态分配的资源时,必须显式定义拷贝构造函数,否则编译器生成的默认拷贝构造函数只做浅拷贝,会导致多个对象共享同一块内存,引发重复释放、悬空指针等问题。深拷贝的核心是:为每个对象独立分配新内存,并复制原始数据内容。
默认拷贝构造函数按字节复制对象的每个成员。若类中有 char*、int* 或其他裸指针,复制后两个对象的指针指向同一地址。析构时两次 delete 同一地址,程序崩溃。
以一个管理动态字符数组的 String 类为例:
(含析构函数和赋值运算符,体现三法则)
class String {
private:
char* data_;
size_t len_;
public:
// 构造函数
String(const char* s = "") : len(s ? strlen(s) : 0) {
data = new char[len + 1];
strcpy(data, s ? s : "");
}
// 拷贝构造函数(深拷贝)
String(const String& other) : len_(other.len_) {
data_ = new char[len_ + 1]; // 分配新内存
strcpy(data_, other.data_); // 复制内容
}
// 析构函数
~String() {
delete[] data_;
}
// 赋值运算符(也需深拷贝,此处略作简化)
String& operator=(const String& other) {
if (this != &other) {
delete[] data_;
len_ = other.len_;
data_ = new char[len_ + 1];
strcpy(data_, other.data_);
}
return *this;
}
const char* c_str() const { return data_; }};
常见错误提醒
了自己的 operator=,造成隐式临时对象和额外开销