17370845950

指针是存储地址的变量，引用是变量的别名；指针占内存且可重定向，引用不占额外内存、不可重绑定、无自身地址、sizeof返回原类型大小。

指针是存储地址的变量，引用是变量的别名

指针本身是一个独立对象，占用内存（通常 4 或 8 字节），其值是另一个变量的地址；引用不是新对象，不占额外内存，只是目标变量的另一个名字。编译器在符号表里把引用直接替换为原变量的地址，生成的汇编指令中通常看不到“引用变量”这个实体。

& 在声明时语义完全不同

声明语句中的 & 是类型修饰符，不是取地址操作符：它绑定到类型上，表示“引用类型”。而指针声明用 *，同样属于类型修饰符。混淆这点会导致常见错误：

• int& r = x; —— 正确：r 是 int 的引用，必须初始化
• int& r; —— 错误：引用未初始化，编译失败
• int* p; —— 合法：p 是未初始化的指针，可后续赋值
• int& r = x, &s = y; —— 正确：每个 & 都修饰紧邻的标识符
• int& r = x, s = y; —— 错误：s 是 int 类型变量，不是引用（& 不作用于 s）

引用一旦绑定就不能再绑定到别的对象

引用没有“重新赋值”的概念，所谓 r = y; 实际是给原绑定对象赋值，不是让 r 指向 y。指针则可以随时改变指向：

int x = 10, y = 20;
int& r = x;  // r 绑定到 x
r = y;       // x 变成 20，r 仍绑定 x，没换目标
int* p = &x;
p = &y;      // p 现在指向 y —— 地址值被修改了

这也是为什么没有“引用数组”“引用的引用”或“指向引用的指针”——引用不是对象，无法取地址（&r 得到的是 x 的地址，不是“r 的地址”）。

函数参数传递时的底层行为差异

传引用形参（如 void f(int& x)）和传指针（如 void f(int* x)）都能实现修改实参的效果，但机制不同：

• 引用调用无需显式解引用，语法更简洁，且避免空值风险（除非通过 const_cast 等手段破坏 const 正确性）
• 指针可为 nullptr，需手动判空；引用则强制要求绑定有效对象（初始化时即检查）
• 编译器对引用更容易做优化（如寄存器分配、内联消除），因为它的生命周期和绑定对象完全一致
• 返回局部变量的引用是未定义行为；返回局部变量的指针同理，但指针还可能被误判为“合法地址”而掩盖问题

真正容易被忽略的一点：引用的底层实现虽然常被说成“就是地址”，但它没有自己的地址空间 —— 这导致 sizeof(int&) 返回的是 sizeof(int)，而非指针大小；而 typeid(r).name() 和 typeid(x).name() 完全相同。