C++中重新绑定右值引用是否合法？为何示例代码可编译

这段代码没有语法问题，本质是对C++引用语义和类型推导规则存在两个常见认知偏差：

• 第一个认知偏差：给引用赋值不等于重新绑定引用
  C++里的引用一旦在初始化阶段完成对象绑定，后续就永远指向这个初始对象，没有任何语法可以修改引用的绑定目标。所有写在引用变量名上的赋值操作，本质都是给它绑定的那个对象赋值，而非修改引用本身。
  举个最基础的例子：

  int a = 1, b = 2;
  int& ref = a; // ref初始化时绑定到变量a
  ref = b; // 这行不是把ref改绑到b，而是把b的值赋给a，执行后a的值变为2，ref始终指向a
  

  你代码里的expr = x和上面的逻辑完全一致，根本不是什么引用重绑定操作，自然不会触发“引用不能重绑定”的编译错误。
• 第二个认知偏差：绑定到表达式结果的临时对象不是只读的
  首先看表达式2*x + x*x的属性：这是浮点数算术运算表达式，求值结果是float类型的纯右值，也就是运算过程中临时生成的一个float类型值对象。
  按照auto&&的类型推导规则，当初始化值是float类型纯右值时，auto会被推导为float，最终expr的实际类型是float&&——也就是非const的右值引用。这个引用会把临时生成的float对象的生命周期延长到和expr本身一致，整个作用域内这个临时对象都是合法有效的。
  C++从来没有规定临时对象是只读的：只要绑定临时对象的引用没有const限定，你完全可以正常修改这个临时对象的值，给它赋值是完全合法的操作。

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