C++运算符重载规则及operator=返回引用详解

赋值运算符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管理动态字符数组：

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容器兼容性、移动语义扩展都水到渠成。