指针是存储地址的变量,引用是变量的别名;指针占内存且可重定向,引用不占额外内存、不可重绑定、无自身地址、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 的地址”)。
立即学习“C++免费学习笔记(深入)”;
函数参数传递时的底层行为差异
传引用形参(如 void f(int& x))和传指针(如 void f(int* x))都能实现修改实参的效果,但机制不同:
- 引用调用无需显式解引用,语法更简洁,且避免空值风险(除非通过
const_cast等手段破坏 const 正确性) - 指针可为
nullptr,需手动判空;引用则强制要求绑定有效对象(初始化时即检查) - 编译器对引用更容易做优化(如寄存器分配、内联消除),因为它的生命周期和绑定对象完全一致
- 返回局部变量的引用是未定义行为;返回局部变量的指针同理,但指针还可能被误判为“合法地址”而掩盖问题
真正容易被忽略的一点:引用的底层实现虽然常被说成“就是地址”,但它没有自己的地址空间 —— 这导致 sizeof(int&) 返回的是 sizeof(int),而非指针大小;而 typeid(r).name() 和 typeid(x).name() 完全相同。









