operator=必须处理自赋值:开头检查this == &rhs,匹配则直接return *this;资源管理需“先准备再替换”以保异常安全;返回MyClass&支持链式赋值;谨慎使用noexcept。

operator= 必须处理自赋值,否则可能崩溃
自赋值(a = a)不是边缘情况——它在容器扩容、异常安全代码、模板泛型中频繁出现。不检查就直接释放旧资源再拷贝新资源,会导致 delete 后又访问已释放内存,触发未定义行为,常见表现为段错误或静默数据损坏。
最稳妥的做法是:在函数开头立即检查 this == &rhs,匹配则直接 return *this。
- 不要用
memcmp或字段逐一对比——那是逻辑相等性,不是自赋值 - 不要依赖“用户不会这么写”的假设——编译器优化可能让看似不自赋值的代码实际变成自赋值
- 如果类有虚函数或继承关系,确保检查的是地址而非值,
this和&rhs的类型可能不同,但地址比较仍有效
必须返回 MyClass&,且最后一行是 return *this
这是为了支持链式赋值(如 a = b = c)。返回 void 或 MyClass 会破坏语义,也违背标准库容器和算法对可赋值类型的预期。
注意:返回 *this 前,必须确保对象处于有效状态——比如深拷贝失败时抛异常,就不能先 delete 再 new,否则异常抛出后对象已半销毁。
立即学习“C++免费学习笔记(深入)”;
- 返回类型写成
const MyClass&是错的——禁止后续赋值((a = b) = c失败) - 返回局部对象(
return MyClass{...})会触发额外拷贝/移动,且生命周期不对 - 如果类不可拷贝但可移动,
operator=通常应同时支持移动赋值,用右值引用重载
资源管理顺序决定异常安全性
典型错误是:先 delete 旧资源,再 new 新资源——若 new 抛 std::bad_alloc,对象已处于无效状态。
正确顺序是「先准备,再替换」:分配新资源 → 拷贝/移动数据 → 释放旧资源 → 更新成员指针。
- 对于含裸指针的类,推荐用
std::unique_ptr等 RAII 容器,自动规避顺序问题 - 手动管理时,可用临时变量存新资源指针,成功后再交换:
std::swap(ptr_, temp_ptr) - 若需强异常安全保证(失败后状态不变),得用 copy-and-swap,但会有额外开销
别忘了声明为 noexcept(如果确实不会抛异常)
标准容器(如 std::vector)在扩容时,若元素的 operator= 是 noexcept,会优先选择移动而非拷贝。没加 noexcept 可能导致性能下降甚至意外拷贝。
但只有当你确认所有操作(包括成员变量的赋值)都绝不抛异常时,才能加。例如含 std::string 成员的类,其 operator= 通常不是 noexcept(可能重新分配内存)。
- 加了
noexcept却抛异常 → 程序调用std::terminate - 不确定就先不加;确定后加,比后期重构更安全
- 可以先写非
noexcept版本,压测或静态分析确认无异常路径后再补
最容易被忽略的是:自赋值检查必须放在最开头,且不能被优化掉——有些编译器会对 this == &rhs 做常量传播,但只要没内联或没开启激进优化,它是可靠的。真要万无一失,加个 volatile 读取(极少见),或者接受这是 C++ 赋值运算符契约的一部分。









