一、右值引用基础：左值与右值的定义、右值引用的语法、移动语义的动机与核心思想

1.1 左值与右值——从赋值说起

我们先从最基础的概念开始。左值和右值，这两个词听起来有点学院派，但说白了，它们就是表达式中两种不同的“身份”。

我刚开始学C++那会儿，老师告诉我一个简单粗暴的判断方法：能取地址的是左值，不能取地址的是右值。这个规则到今天依然好用。

左值（Lvalue）：代表一个内存位置，有名字，可以取地址。比如变量名、数组元素、返回左值引用的函数调用。

右值（Rvalue）：代表一个临时值，没有名字，不能取地址。比如字面常量、算术表达式的结果、返回非引用的函数调用。

来看个例子：

int a = 42;      // a 是左值，42 是右值
int b = a + 5;   // b 是左值，(a + 5) 是右值
int* p = &a;     // 可以取 a 的地址
// int* q = &42; // 错误！不能取右值的地址

嗯，这里要注意：a + 5 这个表达式的结果是一个临时值，它没有名字，计算完就被丢弃了。这就是典型的右值。

1.2 右值引用的语法——&& 符号

C++11 引入了右值引用，语法就是 T&&。你可能会问：这不就是“引用的引用”吗？其实不是。它专门用来绑定到右值上。

int&& rref = 42;       // 正确：右值引用绑定到右值
int x = 10;
// int&& rref2 = x;    // 错误：不能绑定到左值
int&& rref3 = std::move(x); // 正确：std::move 把左值转为右值

我个人习惯把右值引用理解为“一个可以修改的临时对象的别名”。它让你有机会“抓住”那些即将销毁的临时对象，把它们的资源“偷”过来。

小技巧：右值引用本身是左值（因为它有名字，可以取地址）。所以当你写 void foo(T&& param) 时，param 在函数内部是左值。这个细节很重要，后面讲完美转发时会再提到。

1.3 移动语义的动机——为什么要折腾这些？

你想想看，C++98 时代我们是怎么传对象的？要么传值（拷贝），要么传引用（避免拷贝）。传值会复制整个对象，如果对象很大（比如 std::vector<int> 里有 100 万个元素），那代价就很高。

我在项目中遇到过这样一个场景：一个函数返回一个巨大的 std::string，调用方拿到后赋值给另一个变量。C++98 下，这个字符串会被完整拷贝一次。但实际上，那个临时返回的字符串马上就要被销毁了，拷贝它的内容完全是浪费。

移动语义要解决的就是这个问题：与其拷贝，不如直接“偷”走临时对象的资源。

核心思想：当源对象是右值（即将销毁的临时对象）时，我们可以把它的内部指针、句柄等资源直接“转移”给目标对象，然后让源对象处于“空壳”状态。这样避免了深拷贝的开销。

1.4 移动语义的核心思想——资源转移

说白了，移动语义就是“资源所有权的转移”。

来看一个简单的 MyString 类，演示移动构造和移动赋值：

class MyString {
public:
    // 移动构造函数
    MyString(MyString&& other) noexcept
        : data_(other.data_), size_(other.size_) {
        other.data_ = nullptr;  // 源对象置空
        other.size_ = 0;
    }

    // 移动赋值运算符
    MyString& operator=(MyString&& other) noexcept {
        if (this != &other) {
            delete[] data_;           // 释放自己的资源
            data_ = other.data_;      // 偷走对方的资源
            size_ = other.size_;
            other.data_ = nullptr;    // 源对象置空
            other.size_ = 0;
        }
        return *this;
    }

private:
    char* data_;
    size_t size_;
};

注意看：移动构造只是把指针从源对象“拿”过来，然后把源对象的指针置空。没有分配新内存，没有拷贝字符。这就是移动语义的精髓。

避坑指南：我曾经在项目中忘记把源对象的指针置空，结果析构函数把同一块内存释放了两次，导致 double free 崩溃。记住：移动后的源对象必须处于“可析构”的状态，通常是空状态。

1.5 知识体系总览

下面这张图帮你理清本章的核心脉络：

右值引用与移动语义知识体系 左值与右值 左值：有名字，可取地址 右值：临时值，不可取地址 右值引用语法 T&& 绑定到右值 std::move() 转换左值为右值 移动语义的动机 避免临时对象的深拷贝开销，提升性能 核心思想：资源所有权转移 移动构造 / 移动赋值：偷指针，置空源对象

1.6 什么时候该用移动语义？

不是所有场景都需要移动语义。我总结了几条经验：

  • 大对象传值返回：函数返回 std::vector、std::string 等容器时，移动语义自动生效（编译器会做 RVO，但移动语义是保底方案）。
  • 容器插入临时对象：比如 vec.push_back(std::move(someString))，如果你不再需要 someString 的原始值。
  • 实现移动构造/移动赋值：自定义类如果持有堆内存、文件句柄、网络连接等资源，应该提供移动操作。

经验之谈：我建议在自定义类中，如果手动实现了析构函数、拷贝构造或拷贝赋值，那大概率也需要实现移动构造和移动赋值。这叫“五法则”（Rule of Five）。

1.7 本章小结

这一章我们聊了左值和右值的区别，认识了右值引用的 T&& 语法，理解了移动语义为什么能提升性能——说白了就是“资源偷窃”。

记住三个关键点：

  1. 左值有地址，右值没地址。
  2. 右值引用 T&& 绑定到右值，让你能修改临时对象。
  3. 移动语义的核心是转移资源所有权，避免深拷贝。

下一章我们会深入 std::move 和 std::forward 的实现细节，看看它们到底是怎么工作的。

公众号:蓝海资料掘金营，微信deep3321

← 上一章 📖 返回目录 下一章 →