C++ 右值引用 - 技术栈

C++ 中的右值引用（Rvalue Reference）是 C++11 引入的一项核心特性，它彻底改变了 C++ 处理临时对象和资源管理的方式，主要目的是实现移动语义（Move Semantics）和完美转发（Perfect Forwarding），从而显著提升程序性能。

1. 核心概念：左值 vs 右值

要理解右值引用，首先必须区分左值（lvalue） 和右值（rvalue）：

左值 (lvalue) ：指代一个具有身份（identity）的对象，通常可以取地址（&）。它们通常有名字，生命周期较长。
- 例子：变量 int x = 10; 中的 x，函数返回的引用。
右值 (rvalue) ：指代一个临时的、即将销毁的对象，通常没有名字，不能取地址。
- 例子：字面量 10，临时对象 std::string("hello") + " world"，函数返回的非引用类型值。

右值引用 的语法是在类型后加上两个与号 &&，例如 T&&。它只能绑定到右值（临时对象）

cpp 复制代码

int x = 10;
int& lref = x;        // 合法：左值引用绑定左值
// int& rref = 10;    // 非法：左值引用不能绑定右值（临时量）

int&& rref = 10;      // 合法：右值引用绑定右值（临时量）
int&& rref2 = x + 5;  // 合法：绑定表达式产生的临时结果

2. 核心作用一：移动语义 (Move Semantics)

在 C++11 之前，当我们需要将一个临时对象赋值给另一个对象时，会发生深拷贝（Deep Copy） 。如果对象内部管理了堆内存（如 std::vector, std::string），深拷贝意味着分配新内存并复制所有数据，开销巨大。

移动语义允许我们"窃取"临时对象内部的资源，而不是复制它们。因为临时对象马上就要销毁了，所以"偷走"它的指针是安全的。

示例：移动构造函数

cpp 复制代码

class MyString {
public:
    char* data;
    size_t size;

    // 普通构造函数
    MyString(const char* str) {
        size = strlen(str);
        data = new char[size + 1];
        strcpy(data, str);
        std::cout << "构造\n";
    }

    // 拷贝构造函数 (深拷贝)
    MyString(const MyString& other) {
        size = other.size;
        data = new char[size + 1];
        strcpy(data, other.data);
        std::cout << "拷贝构造 (深拷贝)\n";
    }

    // 移动构造函数 (关键！)
    // 参数是右值引用，表示来源是一个即将销毁的临时对象
    MyString(MyString&& other) noexcept {
        std::cout << "移动构造 (窃取资源)\n";
        size = other.size;
        data = other.data; // 直接窃取指针
        
        // 重要：将原对象的指针置空，防止其析构时释放这块内存
        other.data = nullptr; 
        other.size = 0;
    }

    // 析构函数
    ~MyString() {
        if (data) delete[] data;
    }
};

void test() {
    // 这里会调用移动构造函数，因为右边是临时对象
    MyString s1 = MyString("Hello"); 
    
    // 显式转换为右值引用，强制触发移动
    MyString s2 = std::move(s1); 
}

std::move 的作用 ：
std::move 本身不做任何移动操作，它只是一个类型转换工具。它将一个左值（如 s1）强制转换为右值引用类型（MyString&&），从而告诉编译器："这个对象我不再需要了，你可以安全地移动它的资源。"

3. 核心作用二：完美转发 (Perfect Forwarding)

在泛型编程（模板）中，我们经常需要编写一个函数，它接收参数并将其原封不动地传递给另一个函数。我们希望保留参数的"左值/右值"属性：如果传进来的是左值，转发后也是左值；如果是右值，转发后也是右值。

这就是完美转发 ，它依赖于万能引用（Universal Reference / Forwarding Reference） 和 std::forward。

万能引用 ：在模板中，形如 T&& 的写法（其中 T 是推导出的模板参数）。
- 如果传入左值，T 推导为 U&，根据引用折叠规则 U& && 变成 U&（左值引用）。
- 如果传入右值，T 推导为 U，结果是 U&&（右值引用）。

cpp 复制代码

template<typename T>
void wrapper(T&& arg) {
    // std::forward<T>(arg) 会根据 T 的类型决定是将 arg 作为左值还是右值传递
    // 如果 arg 原本是左值，forward 后是左值引用
    // 如果 arg 原本是右值，forward 后是右值引用
    target_function(std::forward<T>(arg));
}

如果没有完美转发，我们可能需要为左值和右值写两个重载版本，或者被迫进行不必要的拷贝。

4. 引用折叠规则 (Reference Collapsing)

这是实现完美转发的底层机制。C++11 规定：

模板参数推导	实际声明类型	最终结果
`T` 是 `U&`	`U& &&`	`U&` (左值引用)
`T` 是 `U&`	`U& &`	`U&` (左值引用)
`T` 是 `U`	`U && &&`	`U&&` (右值引用)
`T` 是 `U`	`U & &&`	`U&` (左值引用)

只要有一个是左值引用，结果就是左值引用；只有全是右值引用，结果才是右值引用。

5. 总结

性能提升：对于管理资源（内存、文件句柄等）的类，务必提供移动构造函数和移动赋值运算符，避免昂贵的深拷贝。
std::move 的使用 ：
- 当你确定一个左值对象不再被使用，且希望将其资源转移时，使用 std::move。
- 注意：对使用了 std::move 的对象，之后不要再使用它（除非重新赋值），因为它处于"有效但未指定"的状态（通常内部指针为空）。
const T&& ：
- 很少使用。因为右值引用通常是为了修改并窃取资源，加上 const 后就不能修改源对象了，也就无法移动，只能拷贝。这通常没有意义，除非是为了延长临时对象的生命周期。
标准库支持 ：现代 C++ 标准库容器（vector, string, map 等）都全面支持移动语义。在 push_back 或 insert 时，配合 std::move 可以极大提升性能。