&符号在C++中是类型修饰符而非运算符，其语义取决于位置：紧贴类型名（如int&）为引用声明，前置变量（如&x）为取地址操作；引用必须初始化且不可重绑定，指针可延迟初始化；const修饰对象或指针本身，但不能修饰引用本身；复合类型中&绑定优先级高于*和[]，需用括号明确意图。
声明语法差异：& 的位置和上下文决定是引用还是取地址
看 & 出现在哪里——它不是统一的“取地址符”，而是依赖左侧类型声明的语义分水岭。
- 如果
&紧贴类型名（如int&），且右边是新变量名，那就是**引用声明**：int& ref = x; - 如果
&出现在已有变量前（如&x），且左边是表达式或赋值右侧，那就是**取地址操作**：int* p = &x; - 混淆高发点：写成
int &x = y;看似像取地址，但其实是合法引用声明——空格不影响语义，关键在左侧是否为类型
int* 和 int& 的初始化约束完全不同
指针可以延迟初始化甚至留空；引用必须“一气呵成”绑定到一个活对象。
- 指针允许：
int* p;（未初始化，危险但合法）、int* p = nullptr;、int* p = &x; - 引用禁止：
int& r;（编译报错）、int& r = nullptr;（错）、int& r; r = x;（错） - 引用一旦写成
int& r = x;，r就永远代表x，后续所有对r的读写都等价于对x操作
声明时带 const 的组合容易误判
const 修饰的是“谁”，决定了行为边界，而 & 的角色不变。
-
const int& r = x;→ 引用本身不可变（不能重绑定），且通过它不能改x的值 -
int* const p = &x;→ 指针本身不可变（不能改指向），但可通过*p改x -
const int* p = &x;→ 指针可改指向，但不能通过它改所指对象的值 - 错误写法：
int& const r = x;（语法错误，const不能修饰引用本身）
数组和函数类型声明中 & 的歧义更隐蔽
当涉及复合类型时，& 的绑定优先级比 * 高，也比数组维度符号 [N] 高——这直接决定你得到的是“引用数组”还是“数组引用”。
立即学习“C++免费学习笔记（深入）”；
-
int& arr[3];→ 错误！C++ 不允许“引用数组”（即不能有多个引用变量） -
int (&arr)[3];→ 正确！这是对一个含 3 个int的数组的引用 -
int (*p)[3];→ 指向含 3 个int的数组的指针 - 函数引用：
void (&func)() = some_function;，而void (*fp)()是函数指针
真正卡住人的从来不是单行声明，而是把 & 当作万能“取地址符号”去套用，结果在复杂类型或模板推导里突然失效。记住：声明里的 & 是类型修饰符，不是运算符——它属于左边的类型，而不是右边的变量。
