为什么C++中引用无法被重新赋值？

这个问题刚好戳中了C++引用最核心的设计特性——引用从诞生的那一刻起，就必须绑定到一个具体对象，并且终身不能改变它的绑定关系。咱们一点点拆解你的疑惑：

首先得搞清楚「引用初始化」和「赋值」的本质区别，看你的代码：

int x=11; // 初始化普通变量x
int z=67;
int &y=x; // 这里是**初始化引用y**：告诉编译器「y就是x的别名」，这一步是强制要求的——引用必须在声明时就绑定对象，不能像普通变量那样先声明再赋值
int &y=z; // 这行代码根本不是给y“重新绑定z”，而是试图在同一个作用域里**重新定义一个名为y的引用**！

编译器看到这行int &y=z时，会认为你在重复定义变量y（因为之前已经有一个int&类型的y了），所以直接抛出编译错误——这和“重新绑定”完全是两回事。

那为什么C++不让引用重新绑定呢？
其实引用的设计初衷就是做一个安全、简洁的固定别名：

• 从标准定义来说，引用不是一个独立的变量，编译器不会为它分配内存空间，所有对引用的操作都会直接被替换成对绑定对象的操作。如果允许重新绑定，编译器就必须为引用额外存储指向信息，那它和指针的区别就几乎消失了。
• 引用的价值在于确定性：当你看到int& y时，你可以100%确定y自始至终都是某个对象的别名，不会突然变成另一个对象的引用——这让代码更易读、更安全，比如函数参数用引用时，你不用担心它指向的对象会偷偷改变。

如果你的需求确实是需要一个可以“切换指向”的别名，那应该用指针：

int x=11;
int z=67;
int *p = &x; // 指针p指向x
p = &z; // 现在指针p指向z，完全合法

指针本身是独立的变量，存储的是对象的地址，所以可以随时改变指向——这就是指针和引用最核心的区别之一。

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