C++引用一旦绑定就无法重新绑定到其他对象，它是已有对象的别名，声明时必须初始化，且不占额外存储空间；而指针可随时改变指向。
引用一旦绑定就不能再绑定到其他对象
不能。C++ 引用不是变量，而是已有对象的别名，声明时必须初始化，且之后无法“重新赋值”指向另一个对象。int& r = a; 这行代码不是给 r 赋值，而是让 r 成为 a 的别名；后续写 r = b; 实际上是把 b 的值赋给 a（即修改原对象），而非改变 r 的绑定目标。
常见错误现象：r = b; 看起来像“重绑定”，但调试时会发现 a 的值变了，而 r 依然绑定在 a 上——这说明它根本没换目标。
- 引用没有自己的内存地址，
&r返回的是它所引用对象的地址 - 不存在“空引用”，也不可取地址后再解引用（
&r合法，但&r + 1不等于另一个引用） - 函数参数中使用
const int&可避免拷贝，但调用者仍无法通过该引用间接改变实参绑定关系
指针可以随时改变指向，但引用不行
指针是变量，存储的是地址，因此可以多次赋值：int* p = &a; p = &b; 是完全合法的。而引用从诞生起就和某个对象“锁死”，编译器通常将其优化为直接访问原对象地址，不占额外存储空间。
关键差异点：
立即学习“C++免费学习笔记（深入）”；
-
sizeof(int&)等于sizeof(int)；sizeof(int*)是指针大小（通常 4 或 8 字节） - 指针可为
nullptr，引用必须绑定有效对象（否则行为未定义） - 指针支持算术运算（
p++, p += 2），引用不支持 - 多级间接：可以有
int**，但没有int&&&（虽然&&是右值引用，但那是另一套语义）
面试常考陷阱：返回局部变量的引用 vs 指针
两者都危险，但表现不同。返回局部变量的指针，至少还能编译（尽管运行时可能崩溃）；而返回局部变量的引用，编译器通常会警告甚至报错（如 warning: reference to local variable returned）。
示例：
int& bad_ref() {
int x = 42;
return x; // ❌ 编译器大概率报错或严重警告
}
int* bad_ptr() {
int x = 42;
return &x; // ⚠️ 可编译，但返回悬垂指针
}原因在于：引用的语义要求它必须绑定到一个“活”的对象，编译器在静态分析阶段更容易识别出这种明显违背约束的行为。
- 若真需返回栈对象，应返回值（
int）或确保生命周期足够长（如 static 局部变量、类成员） - 返回
const std::string&时，要确认该字符串对象不会在函数返回后析构 - 移动语义下，
std::move(x)返回的是T&&，不是普通引用，不适用“不可重绑定”规则
本质区别不在语法糖，而在编译期约束与运行时表示
很多人说“引用是语法糖”，这是误导。引用带来的约束是编译器强制实施的契约：你声明一个引用，就等于向编译器承诺“这个别名永远只代表那个对象”。而指针只是保存地址的整数，所有检查都靠程序员自觉。
这也解释了为什么：
- 引用成员变量必须在构造函数初始化列表中绑定（
MyClass(int& r) : ref(r) {}），不能在构造函数体内赋值 - 没有引用数组（
int& arr[5]非法），因为数组元素必须可独立寻址、可赋值，而引用不满足 - 模板推导中，
T&和T*推导行为完全不同（如auto& x = y;推出引用类型，auto* p = &y;才推指针）
真正容易被忽略的是：引用的“不可重绑定”不是运行时保护机制，而是编译期禁止生成相关代码——一旦绕过（比如通过 reinterpret_cast 强转引用的地址再写入），结果是未定义行为，不是抛异常或断言失败。
