23. 重载赋值运算符的移动语义：移动赋值运算符，实现高效的资源转移

大家好，我是你们的老朋友。今天我们来聊聊移动赋值运算符。说实话，这个特性刚出来那会儿，我第一反应是：「拷贝赋值用得好好的，干嘛要搞个新的？」直到我在项目中遇到一个处理百万级点云数据的类，每次赋值都要深拷贝一遍，性能直接崩了。嗯，从那以后，我就彻底爱上了移动语义。

为什么需要移动赋值？

先想想看，传统的拷贝赋值干了什么？它会把源对象的所有资源完整复制一份。但如果源对象是个临时对象（比如函数返回的局部变量），你复制完它就被销毁了，这不是白费功夫吗？

说白了，移动赋值就是「资源偷窃」。它把源对象的资源直接拿过来，再把源对象置为空壳。这样避免了深拷贝的开销，效率提升非常明显。

移动赋值运算符的语法

先看一个典型的例子。假设我们有个 String 类，管理动态分配的字符数组：

class String {
private:
    char* data_;
    size_t size_;

public:
    // 移动赋值运算符
    String& operator=(String&& other) noexcept {
        if (this != &other) {          // 自赋值检查
            delete[] data_;            // 释放当前资源
            
            data_ = other.data_;       // 偷走指针
            size_ = other.size_;       // 偷走大小
            
            other.data_ = nullptr;     // 源对象置空
            other.size_ = 0;
        }
        return *this;
    }
};

注意几个关键点：

• 参数类型是 String&&，即右值引用
• 返回类型是 String&，支持链式赋值
• 标记为 noexcept，移动操作不应抛异常
• 需要自赋值检查，虽然移动自赋值很少见

我踩过的坑：自赋值检查

我曾经写过一个移动赋值，忘了加自赋值检查。结果某次代码里出现了 a = std::move(a) 这种写法——虽然看起来很蠢，但在模板代码里确实可能发生。程序直接崩溃了，因为先 delete[] 了自己的数据，然后又试图从自己身上偷数据……

移动赋值 vs 拷贝赋值

这两者的区别，我用一个表格来对比：

特性	拷贝赋值	移动赋值
参数类型	const T&	T&&
资源处理	深拷贝	转移所有权
源对象状态	不变	有效但未指定（通常为空）
异常安全	可能抛异常	通常 noexcept
性能	O(n)	O(1)

移动赋值的正确写法

我个人习惯用「交换手法」来实现移动赋值，这样更简洁、更安全：

class String {
public:
    String& operator=(String&& other) noexcept {
        if (this != &other) {
            String temp(std::move(other));  // 移动构造临时对象
            swap(temp);                     // 交换资源
        }
        return *this;
    }

    void swap(String& other) noexcept {
        std::swap(data_, other.data_);
        std::swap(size_, other.size_);
    }
};

为什么这样好？因为 swap 不会抛异常，而且临时对象 temp 会在函数结束时自动释放旧资源。你想想看，这样既避免了重复代码，又保证了异常安全。

什么时候用移动赋值？

编译器会自动选择移动赋值，只要满足两个条件：

1. 赋值表达式的右侧是右值（比如 std::move() 的结果，或者函数返回的临时对象）
2. 类提供了移动赋值运算符

举个例子：

String a("Hello");
String b("World");

b = std::move(a);           // 调用移动赋值
b = createString();         // 临时对象，也调用移动赋值

避坑指南：五法则

如果你定义了移动赋值运算符，通常也需要定义：

• 移动构造函数
• 拷贝构造函数
• 拷贝赋值运算符
• 析构函数

这就是 C++11 引入的「五法则」。我曾经偷懒只写了移动赋值，没写移动构造，结果 std::vector 扩容时调用了拷贝构造，性能直接打回原形。嗯，这个教训挺深刻的。

知识体系总览

下面这张图总结了移动赋值运算符的核心要点：

总结

移动赋值运算符是现代 C++ 里提升性能的重要工具。它通过资源转移代替深拷贝，让赋值操作从 O(n) 降到了 O(1)。记住几个要点：

• 参数是右值引用，标记 noexcept
• 记得做自赋值检查
• 配合五法则一起使用
• 能用 = default 就别手写

好了，移动赋值就聊到这里。下次你写类的时候，不妨想想：这个赋值操作能不能用移动语义来优化？

---