拷贝赋值运算符需实现深拷贝并处理自我赋值,如String类中通过if(this!=&other)避免重复释放,采用“拷贝再交换”可提升异常安全性。

在C++中,拷贝赋值运算符是类的重要成员函数之一,用于处理对象之间的赋值操作。当一个已存在的对象被另一个同类型对象赋值时,就会调用拷贝赋值运算符。为了确保资源管理正确,尤其是在涉及动态内存时,必须实现深拷贝并防止自我赋值带来的问题。
拷贝赋值运算符的基本形式
拷贝赋值运算符的函数签名通常如下:
MyClass& operator=(const MyClass& other);返回类型为引用是为了支持连续赋值,如 a = b = c;。参数使用 const 引用避免不必要的复制,并保证原对象不被修改。
实现深拷贝
如果类中包含指向堆内存的指针(例如用 new 分配的数组),默认的拷贝赋值会执行浅拷贝——仅复制指针地址,导致多个对象共享同一块内存。这在析构时会造成重复释放的问题。
立即学习“C++免费学习笔记(深入)”;
深拷贝要求为当前对象分配新的内存,并将源对象的数据逐字复制过来。示例:
class String {private:
char* data;
size_t len;
public:
String& operator=(const String& other) {
if (this != &other) { // 检测自我赋值
// 释放原有资源
delete[] data;
// 分配新内存并复制数据
len = other.len;
data = new char[len + 1];
strcpy(data, other.data);
}
return *this;
}
};
自我赋值检测的重要性
自我赋值是指对象将自己赋给自身,例如:str = str;。虽然看似无意义,但用户代码或容器操作中可能发生。
如果没有检测自我赋值,在释放 data 后立即访问 other.data 会导致未定义行为,因为此时 other 就是 *this,其内存已被释放。
通过添加 if (this != &other) 判断,可以安全跳过后续操作,避免崩溃。
异常安全的改进写法
上述实现存在异常风险:若 new char[...] 抛出异常,原有数据已被 delete,对象进入无效状态。
更安全的做法是“拷贝再交换”模式:
String& operator=(String other) { // 使用值传递自动调用拷贝构造swap(data, other.data);
swap(len, other.len);
return *this;
}
这种写法利用了拷贝构造的安全性,只有在成功创建副本后才交换内容,即使中途失败也不会破坏原对象。同时自然规避了自我赋值问题,基本上就这些。










