指针和引用本质不同：指针是占内存的变量，引用只是别名；引用必须初始化且不可重绑定，赋值即修改原对象；引用无空值概念，指针可为空；二者类型系统、模板推导和语义严格区分。
指针和引用不是“差不多的两种写法”，它们在内存模型、语义约束和编译行为上根本不同：指针是变量，引用不是变量。
指针有独立内存，引用没有自己的存储空间
声明 int* p 时，编译器会为 p 分配 8 字节（64 位系统）内存，里面存的是某个 int 的地址；而声明 int& r = x 时，r 不占额外空间——&r 的值永远等于 &x，它只是 x 的另一个名字。
这直接导致：
- sizeof(p) 是 8，sizeof(r) 是 4（即 int 大小）
- 你可对 p 取地址（&p），但对 r 取地址得到的始终是 x 的地址
- 引用无法被放入数组（int& arr[10] 非法），因为数组元素必须有确定大小和独立地址
引用必须初始化且不可重绑定，指针可以延迟赋值、反复改指向
这是最常被误读的一点：给引用赋新值（如 r = y）不是“换绑”，而是给原对象赋值；真正换绑的操作在 C++ 中不存在。
-
int a = 1, b = 2; int& r = a; r = b;→a变成 2，r仍绑在a上 -
int* p = &a; p = &b;→p现在指向b，原来指向a的信息已丢失
所以函数参数用引用时，调用方完全看不出“被修改”意图（func(x) 看似只读，实则可能改 x）；而指针参数（func(&x)）至少暴露了间接访问意图。
空值合法性完全不同：nullptr 合法，空引用未定义
你可以安全地写 int* p = nullptr;，之后用 if (p) 判空；但 int& r = *p; 在 p 为空时立即触发未定义行为——编译器不拦，运行时崩溃或静默错乱都可能。
这意味着：
- 函数参数若允许“可选”，必须用指针（void log(const char* msg)）
- 引用参数天然表达“此参数必传且有效”，省去判空逻辑，但也失去灵活性
- 返回引用时要格外小心生命周期：返回局部变量的引用（int& f() { int x=0; return x; }）产生悬空引用，比野指针更难调试
底层实现相似，但语义不可互换
汇编层面，r 和 *p 常生成几乎一样的指令——但这只是编译器优化结果，不代表二者等价。C++ 标准明确禁止把引用当成“语法糖指针”来理解。
典型反例：
- int&&（右值引用）不能用指针模拟
- decltype(r) 是 int&，decltype(*p) 是 int，类型系统严格区分
- 模板推导中，T& 和 T* 触发完全不同的匹配规则（比如完美转发）
真正容易被忽略的，是引用的“隐式绑定时机”——它发生在初始化表达式求值完成那一刻，之后再无机会干预；而指针的赋值、解引用、重定向，全由程序员在运行期显式控制。这个时间差，决定了很多资源管理、RAII 和模板元编程的设计边界。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
