C++ String 赋值运算符重载：从“砸碗”到“换碗仪式”

现在，如果发生自赋值，那么 s 和 *this 是同一个对象。因此，在第 3 步释放 _str 时，实际上也释放了 s._str，因为它们指向同一块内存。然后，在第 2 步中，我们试图从已经被释放的内存中复制数据（s._str 现在是一个悬空指针），这会导致未定义行为（通常程序崩溃）。

所以，自赋值检查 if (this != &s) 是为了避免在自赋值时出现先释放再使用的问题。

string& operator=(const string& s) {
    // 假设没有 if (this != &s) 检查
    // 1. 分配新内存
    char* temp = new char[s._capacity + 1]; // 分配新空间
    // 2. 复制数据：memcpy(temp, s._str, s._size + 1); // 此时 s._str 和 this->_str 指向同一块内存
    // 3. 释放旧内存：delete[] _str; // 这里释放了 _str，但 s._str 也指向同一块内存！
    // 现在 s._str 变成了悬空指针
    // 4. 更新指针：_str = temp;
    return *this;
}

四、赋值运算符重载传统写法：优雅的'换碗仪式'

现代写法是把开空间、拷贝内容到新空间、释放旧空间、更新成员变量等操作交给拷贝构造去做，拷贝构造出一个临时对象，然后再与这个临时对象交换内容，并且让临时对象生命周期结束的时候调用析构函数来清理自己原本的空间，而自己完成了赋值的深拷贝。

场景：A = B（赋值操作）

准备阶段（传值参数）：厨师用 B 的配方重新做一份菜（深拷贝临时对象）。新菜和原菜食材独立，味道相同。 交换阶段（swap 操作）：A 说：'我把我的剩菜给你，你把新菜给我'。双方优雅交换碗，不破坏任何食物。 清理阶段（析构临时对象）：服务员收走 A 的剩菜剩饭（临时对象析构）。新菜完好留在 A 的桌上。

自赋值安全：A = A

厨师用 A 的配方做新菜（创建副本），A 与新菜交换，服务员收走 A 的旧菜。结果：A 的菜品保持不变。

阶段一：引入拷贝构造辅助

string& operator=(const string& s) {
    if (this != &s) {
        string temp(s); // 拷贝构造创建临时对象
        std::swap(_str, temp._str); // 交换资源
        std::swap(_size, temp._size);
        std::swap(_capacity, temp._capacity);
    }
    return *this;
}

阶段二：封装 Swap 操作

void swap(string& temp) {
    std::swap(_str, temp._str);
    std::swap(_size, temp._size);
    std::swap(_capacity, temp._capacity);
}

string& operator=(const string& s) {
    if (this != &s) {
        string temp(s); // 厨师做新菜
        swap(temp); // 优雅换碗
    }
    return *this;
}

阶段三：终极版 Copy-and-Swap

在这个版本中，我们利用了一个事实：参数s是一个临时对象，它是传入对象的副本。我们直接交换当前对象和s，这样当前对象就拥有了传入对象的副本，而s则拥有了当前对象原来的资源。当函数返回时，s超出作用域，析构函数被调用，释放掉原对象资源。

自赋值的情况：**当发生自赋值时，比如 str = str，传值会调用拷贝构造函数，创建一个与 str 相同的临时对象，然后交换，临时对象被销毁，最终 str 还是原来的值。虽然效率低一些，但是正确。**最终版本中不需要显式检查自赋值，因为自赋值的情况也能正确工作。

总结：最终版本的赋值运算符重载代码简洁、安全（异常安全、自赋值安全），是推荐的写法。需要注意的是，这种写法依赖于拷贝构造函数的正确实现和析构函数的正确实现。

void swap(string& s) {
    std::swap(_str, s._str);
    std::swap(_size, s._size);
    std::swap(_capacity, s._capacity);
}

string& operator=(string s)// 传值参数：自动创建副本
{
    swap(s);// 交换资源
    return *this;// 临时对象析构清理旧资源
}