为何非const引用绑定rvalue报错，返回lvalue引用的函数可合法赋值？

触发编译报错的场景逻辑 #

• int& z = 0; 触发报错的核心是非const左值引用的初始化绑定约束在生效。
  代码里的0是字面值常量，属于C值分类体系里的纯右值，本身没有持久的可修改内存地址。C标准明确要求：非const修饰的左值引用，在初始化阶段必须绑定到一个可修改的左值上，不允许绑定到右值、临时对象、const修饰的只读左值上，否则就会直接抛出你看到的“non-const reference to initial value must be lvalue”类编译错误。这个规则的设计目的是避免引用绑定到生命周期极短的临时对象上，引发后续的未定义行为。

get_value() = 20; 合法的核心逻辑 #

• 函数调用表达式的值类别，是由函数的返回类型直接决定的，和函数内部的实现细节没有表层语法上的强绑定。
  当函数的返回类型是int&（非const左值引用）时，整个get_value()表达式的值类别就是可修改的左值，和直接写函数内部静态变量x作为表达式的属性完全一致。在这个示例里：
  • 函数内部返回的static变量x，本身是存放在静态存储区、拥有全局持久生命周期的可修改左值
  • 函数返回x的左值引用，本质是把x对应的稳定内存地址作为函数调用的结果向外传递
  • C++中赋值运算符=的语法约束，仅仅要求左操作数是可修改的左值——get_value()完全满足这个要求，因此整个赋值语句可以正常通过编译。

容易混淆的认知误区 #

常见错误认知：所有函数调用的结果都是右值
实际的判定规则为：

• 如果函数返回非const左值引用，函数调用表达式是可修改左值
• 如果函数返回const左值引用，函数调用表达式是const修饰的只读左值
• 如果函数返回右值引用，函数调用表达式是将亡值（xvalue）
• 如果函数返回非引用的普通值类型，函数调用表达式才是纯右值（prvalue）

可以做个直观对比：如果把get_value的返回类型从int&改成普通的int，那get_value() = 20;语句就会触发和你之前碰到的同类编译错误——因为这时候函数调用是纯右值，根本不满足作为赋值左操作数的语法要求。

内容的提问来源于stack exchange，提问作者Pro_gram_mer