指针是存储地址的变量，引用是变量的别名；指针占内存且可重定向，引用不占额外内存、不可重绑定、无自身地址、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() 完全相同。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
