
左值引用只能绑定到左值,这是编译器强制的规则
当你写 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&& 类型的将亡值。注意:&& 不代表“一定移动”,它只是个类型标签;是否真执行移动操作,取决于你是否在函数体内调用了移动构造/赋值。
立即学习“C++免费学习笔记(深入)”;
关键细节:
- 右值引用变量本身是左值(有名字、可取地址),所以
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 中的 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最稳妥
值类别不是对象属性,是表达式属性;同一个变量名,在不同上下文中可能产生不同值类别的表达式。这点一旦忽略,模板转发和重载解析就会出乎意料地失败。










