c++ 左值引用与右值引用_c++值类别基础详解_技术教程

左值引用只能绑定到左值，这是编译器强制的规则

当你写 int& r1 = x;（x 是已命名变量），编译能过；但写 int& r2 = 42; 或 int& r3 = std::move(x); 就会报错：「cannot bind non-const lvalue reference to an rvalue」。这不是设计缺陷，而是为了防止意外延长临时对象生命周期——左值引用本意是给已有对象起别名，不是接管临时值。

常见错误场景：

试图用 std::vector& v_ref = get_temp_vector(); 接收函数返回的临时 std::vector，直接编译失败
在模板推导中误以为 T& 能“自动适配”右值，结果函数根本无法实例化

解决办法只有两个：改用 const int&（允许隐式绑定右值，但只读），或改用右值引用。

右值引用 `&&` 的本质是绑定到将亡值和纯右值

int&& r = 42; 合法，int&& r2 = std::move(x); 也合法，因为 std::move 返回的是 int&& 类型的将亡值。注意：&& 不代表“一定移动”，它只是个类型标签；是否真执行移动操作，取决于你是否在函数体内调用了移动构造/赋值。

关键细节：

右值引用变量本身是左值（有名字、可取地址），所以 decltype(r) 是 int&&，但 r 在表达式中是左值
想再次触发移动，必须再套一层 std::move(r)，否则会调用拷贝构造
不能直接绑定到 const 右值，比如 const int&& cr = 42; 合法，但几乎没人这么写——const int& 更通用且安全

void foo(std::string&& s) {
    std::string s2 = s;        // ❌ 拷贝！s 是左值
    std::string s3 = std::move(s); // ✅ 移动
}

万能引用（转发引用）依赖模板参数推导，不是所有 `&&` 都是右值引用

只有形如 template void f(T&&) 中的 T&& 才叫万能引用。它的类型由实参决定：传左值 → T 推为 U& → T&& 折叠为 U&（左值引用）；传右值 → T 推为 U → T&& 保持为 U&&（右值引用）。这就是 std::forward 能保真转发的基础。

容易混淆的点：

void f(auto&&)（C++20）也是
万能引用
void f(std::string&&) 是普通右值引用，不参与类型推导，永远只接受右值
万能引用必须是「未加限定的模板参数 + &&」，写成 template void f(const T&&) 就失去万能性，变成纯右值引用

值类别判断比语法更依赖上下文，`decltype` 是唯一可靠手段

一个表达式是左值还是右值，不能光看有没有名字。比如 std::move(x) 有名字（函数调用），但它是右值；std::string().c_str() 返回 const char*，是右值；而 s.c_str()（s 是变量）返回的指针却是左值（因为返回的是局部变量的地址？错——其实是函数返回的是内置类型指针，按 C++ 规则，内置类型纯右值表达式不能有地址，但这里返回的是左值，因为 c_str() 返回的是左值引用？也不对……）——这恰恰说明手动猜不可靠。

真正该做的是：

对任意表达式 e，用 decltype((e)) 判断其值类别：decltype((e)) 带括号 → 总是返回引用类型（左值返回 T&，右值返回 T&&）
不带括号的 decltype(e) 返回声明类型，忽略值类别（decltype(std::move(x)) 是 int&&，但 decltype(x) 是 int）
调试时直接打印 std::is_lvalue_reference_v 最稳妥