C++中引用为何不支持重新赋值？

首先要明确：C++引用从设计之初的定位就不是“带非空约束的受限指针”，而是已有对象的别名，这个核心定位决定了它的所有特性。

• 语义一致性要求：引用本身不被语言定义为独立的可修改实体，所有作用于引用的操作，都会直接转发到它绑定的底层对象上。当你对引用写赋值语句时，语义永远是“给引用指向的原对象赋值”，而非“让引用绑定到新对象”。这个设计保证了引用的使用体验和原生对象完全一致，不需要额外解引用操作，也不会出现操作语义的混淆。
• 重绑定会带来无法消解的语法歧义：如果允许引用重新绑定到其他对象，那么普通赋值语句的语义会出现二义性。比如代码ref = val，你无法从语法上判断开发者的意图是“把val的值写入ref当前绑定的对象”，还是“让ref放弃原绑定，改为指向val对应的对象”。这种歧义无法靠额外语法规则无代价解决——毕竟引用的核心价值就是用法和原生对象无差异，一旦引入重绑定能力，每次写涉及引用的赋值都要额外区分意图，反而大幅提升心智负担。
• 你遇到的场景本质是需求和引用定位不匹配：你提到的两个场景——在vector中存储引用、对象内需要可重新赋值的非空字段，需求本质是“可重定位、满足容器元素要求、带非空约束的指针语义”，这和引用“对象别名”的定位完全不符。容器要求元素是可拷贝/移动、可赋值的独立对象，引用不满足这个基本要求；类内可修改的关联字段本质是可变的指向关系，本来就应该用指针语义实现。

注意：编译器在实现引用（比如函数传引用、类成员引用）时，大多会在底层用常量指针存储地址，但这只是实现细节，绝非引用的语义定义。不存在编译器层面无法实现可重绑定引用的技术限制，不支持重绑定完全是主动的语义选择。

• 针对你需要的“无额外开销的非空指针”场景，不需要修改语言层面的引用设计：你完全可以自行封装一个轻量指针包装类，在构造时完成非空校验，重载*、->等运算符，运行时没有任何额外开销，同时能从类型层面保证非空、支持重绑定、可以存入标准容器，完全匹配这类场景的需求。

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