赋值运算符operator=必须返回self&，以支持链式赋值、避免冗余拷贝并确保异常安全；标准实现需处理自赋值、采用拷贝-交换法保证强异常安全，并始终return *this。
赋值运算符operator=必须返回self&（当前对象的引用），这是C++中强制要求且不可妥协的设计规则。它直接关系到链式赋值（如 a = b = c;）能否正常工作，也影响异常安全与资源管理的正确性。
为什么必须返回引用？
如果返回void或值（如self），链式赋值就会失效：
-
void operator=：表达式b = c没有值，a = (b = c)编译失败； -
self operator=（返回临时对象）：虽能编译，但效率极低（触发拷贝构造），且后续赋值操作作用于临时对象，无法修改原对象； -
self& operator=：返回左操作数自身的引用，既支持链式调用，又避免多余拷贝，语义清晰、性能最优。
标准实现需满足三个关键点
一个健壮的operator=重载应同时处理自我赋值、异常安全和资源释放：
-
自赋值检查：用
if (this == &other) return *this;避免误删自身资源； - 异常安全（强保证）：推荐“拷贝-交换”惯用法（copy-and-swap），先构造临时副本，再交换成员，确保中途异常不破坏原对象状态；
-
返回
*this：必须在函数末尾写return *this;，不能省略或返回其他对象。
典型安全写法示例
假设类String管理动态字符数组：
立即学习“C++免费学习笔记（深入）”；
String& String::operator=(const String& other) {
if (this != &other) { // 自赋值防护
String temp(other); // 构造副本（可能抛异常，但不影响*this）
std::swap(data_, temp.data_); // 交换指针，无异常
std::swap(size_, temp.size_);
}
return *this; // 返回自身引用
}
该写法天然支持链式赋值（s1 = s2 = s3;）、防止自赋值崩溃，并在内存分配失败时保持原对象完整。
常见错误与陷阱
初学者容易踩的坑包括：
- 忘记返回语句，导致未定义行为；
- 返回
const self&：虽语法合法，但禁止后续赋值（如(a = b) = c;失效），违背常规语义； - 在析构旧资源后才分配新资源：若新资源分配失败（如
new抛bad_alloc），对象已处于损坏状态； - 对
const成员或引用成员赋值：这些成员无法被修改，需在构造函数中初始化，operator=中跳过它们。
不复杂但容易忽略——返回引用不是可选项，而是语言契约的一部分。写对了，链式操作、STL容器兼容性、移动语义扩展都水到渠成。
