指针可为空且支持算术运算，引用必须绑定有效对象且不可重绑定；指针占固定字节，引用不占额外空间；函数参数优先用指针或optional表达可选性，避免误用引用。
指针可以为空，引用必须绑定有效对象
这是最常踩的坑：用未初始化的引用会直接编译失败，而指针若没初始化或赋为 nullptr，后续解引用就会触发未定义行为（常见崩溃或随机值）。C++ 标准强制要求引用在声明时就必须初始化，且之后不能再改绑——它不是“别名变量”，而是对象的另一个名字。
实操建议：
- 函数参数想表达“可选对象”时，优先用
const T*或std::optional，别用T&加空检查（引用没法为空） - 返回局部对象的引用是危险操作，编译器未必报错，但运行时栈已被回收，访问即 UB；指针同理，但至少你能显式写
return nullptr做防御 -
int x = 42; int& r = x; int* p = &x;—— 这里r和x共享同一内存地址，p存的是那个地址的值；&r和&x结果相同，但&p是另一个地址（指针变量自身的地址）
引用不占额外存储空间，指针一定占 sizeof(void*) 字节
这是底层原理的关键差异。引用本身不是对象，编译器通常将其优化为直接访问原变量地址（不生成独立符号），所以 sizeof(int&) 就是 sizeof(int)；而指针是实实在在的变量，无论指向什么类型，在 64 位系统上都占 8 字节。
实操建议：
- 结构体里存大量“别名”字段时，用引用成员会出错（C++ 不允许），只能用指针；反过来，想节省空间且确定不为空，传参/返回用引用更轻量
- 调试时看汇编：
int& r = x;后续所有对r的读写，通常直接转成对x地址的操作，没有中间跳转；而*p一定会有一条mov eax, [rax]类似的间接寻址指令 - 类成员函数中，
this是个隐式T*，不是T&——这也说明“当前对象”是以指针形式传递的，只是语法糖让你用.而非->
指针支持算术运算和多级间接，引用只能单层绑定
指针本质是地址值，能加减、比较、做数组偏移；引用一旦绑定，就锁死到一个对象，不能“指向下一个”。这也是为什么 vector::data() 返回 T* 而不是 T&：你需要遍历连续内存。
实操建议：
- 遍历 C 风格数组或
std::array时，用指针迭代比用引用更自然：for (int* p = arr; p != arr + N; ++p) { ... }；引用无法自增 - 实现类似
std::span的视图类时，底层必须用指针+长度，引用无法表达“起始位置+偏移”语义 - 二级指针
int**可以修改指针本身的值（比如函数内重新malloc并赋给外部指针），而引用参数int*&才能达到同样效果——普通int&只能改所指对象的值，改不了指针变量自己
函数重载与模板推导中，指针和引用的行为完全不同
编译器对引用类型更“敏感”：void f(int&) 和 void f(const int&) 是两个重载，但 void f(int*) 和 void f(const int*) 中的 const 修饰的是所指内容，不影响重载决议；模板参数推导时，T& 能接受左值并保留 cv 限定，T* 则可能退化为 T。
实操建议：
- 写通用函数时，如果想让调用者明确传入左值（避免临时对象绑定），用
void f(T&)；若允许右值，用void f(const T&)或void f(T&&) - 避免写
template然后传入数组——数组名会退化为指针，丢失长度信息；改用void g(T*) template更安全void g(int (&)[N]) - 调试模板实例化失败时，先检查参数是指针还是引用：比如
std::vector是指针类，但::iterator std::vector是::reference int&，混用会导致类型不匹配
真正容易被忽略的是：引用的“不可重绑定”特性在 RAII 类型中常被误用——比如把 std::fstream& 当作类成员，以为能延迟绑定，结果编译不过；这时候必须用指针或 std::optional<:fstream>。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
