左值引用只能绑定到左值，这是编译器强制的规则
当你写 int& r1 = x;（x 是已命名变量），编译能过；但写 int& r2 = 42; 或 int& r3 = std::move(x); 就会报错：「cannot bind non-const lvalue reference to an rvalue」。这不是设计缺陷，而是为了防止意外延长临时对象生命周期——左值引用本意是给已有对象起别名，不是接管临时值。
常见错误场景：
- 试图用
std::vector<int>& v_ref = get_temp_vector();</int>接收函数返回的临时std::vector，直接编译失败 - 在模板推导中误以为
T&能“自动适配”右值，结果函数根本无法实例化
解决办法只有两个：改用 const int&（允许隐式绑定右值，但只读），或改用右值引用。
右值引用 && 的本质是绑定到将亡值和纯右值
int&& r = 42; 合法，int&& r2 = std::move(x); 也合法，因为 std::move 返回的是 int&& 类型的将亡值。注意：&& 不代表“一定移动”，它只是个类型标签；是否真执行移动操作，取决于你是否在函数体内调用了移动构造/赋值。
立即学习“C++免费学习笔记（深入）”；
关键细节：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 右值引用变量本身是左值（有名字、可取地址），所以
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<typename t> void f(T&&)</typename> 中的 T&& 才叫万能引用。它的类型由实参决定：传左值 → T 推为 U& → T&& 折叠为 U&（左值引用）；传右值 → T 推为 U → T&& 保持为 U&&（右值引用）。这就是 std::forward 能保真转发的基础。
容易混淆的点：
-
void f(auto&&)（C++20）也是万能引用 -
void f(std::string&&)是普通右值引用，不参与类型推导，永远只接受右值 - 万能引用必须是「未加限定的模板参数 + &&」，写成
template<typename t> void f(const T&&)</typename>就失去万能性，变成纯右值引用
值类别判断比语法更依赖上下文，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<decltype></decltype>最稳妥
值类别不是对象属性，是表达式属性；同一个变量名，在不同上下文中可能产生不同值类别的表达式。这点一旦忽略，模板转发和重载解析就会出乎意料地失败。
