一、声明与使用

int  a = 10;
int &r = a;          // r 是 a 的引用（别名）

读法：int &r = a; = "r 是 a 的另一个名字"。

用起来和普通变量一模一样：

r = 20;              // 等价于 a = 20
cout << r;           // 20
cout << &r;          // 和 &a 完全相同

不需要任何 *——这是引用比指针好用的地方。

二、三条铁律

铁律 1：声明时必须初始化

int  a = 10;
int &r = a;          // ✅ 一开始就绑定好
int &r2;             // ❌ 编译错误：引用必须初始化

为什么？ 因为引用是"别名"，一个没主的别名根本不存在——总得先有个人，才能给他起外号。

铁律 2：绑定后终身不能改绑（最容易踩）

int a = 10, b = 20;
int &r = a;          // r 绑定了 a

r = b;               // ⚠️ 这不是"让 r 改绑 b"！
                     //    而是"把 b 的值赋给 r（也就是 a）"
cout << a;           // 20   ← a 变了
cout << b;           // 20
cout << &r;          // 仍然等于 &a（没改绑）

这一条最反直觉：指针可以 p = &b;（改指），引用没有这样的语法。任何出现在 r 左边的赋值，都是"给 a 赋值"。

记忆法：外号不能换人。你不能通过"喊老王"来指另一个王小明。

铁律 3：不能为空

int &r = NULL;       // ❌ 没有意义：引用必须绑一个真实存在的对象

指针可以是"空指针"（7.4.4），引用不行——这也是引用更安全的原因：用引用时，永远不用担心"它是不是空的"。

三、& 的四种身份（补全）

同一个 &，在不同位置干完全不同的事：

怎么认： - 出现在声明语句里（前面有类型）→ 引用； - 出现在表达式里（前面是个变量）→ 取地址； - 左右都是值、只有一个 & → 按位与； - 两个 & → 逻辑与。

四、引用 vs 指针：一张表说清

一句话总结：引用是"限权版的指针"——它砍掉了所有容易出错的自由度（改指、为空、运算），换来的是安全和简洁。

五、动手 Demo：亲手验证"不能改绑"

#include <iostream>
using namespace std;

int main() {
    int  a = 10, b = 20;
    int &r = a;                                  // r 绑定 a

    cout << "初始：  a=" << a << " b=" << b << " r=" << r << endl;   // 10 20 10

    r = b;                                       // ⚠️ 看似"改绑"，其实是 a = b
    cout << "r=b 后：a=" << a << " b=" << b << " r=" << r << endl;   // 20 20 20

    cout << "---- 地址验证 ----" << endl;
    cout << "&a = " << &a << endl;
    cout << "&r = " << &r << endl;               // 与 &a 相同（没改绑）
    cout << "&b = " << &b << endl;               // 另一个地址

    int &r2 = b;                                 // 想要"指向 b"，只能另起一个引用
    cout << "r2 绑定 b：&r2 = " << &r2 << endl;  // 与 &b 相同
    return 0;
}

看到什么算成功：

初始：  a=10 b=20 r=10
r=b 后：a=20 b=20 r=20      ← a 被改了！
---- 地址验证 ----
&a = 0x61ff04
&r = 0x61ff04               ← 和 &a 一样：r 还是绑着 a
&b = 0x61ff00
r2 绑定 b：&r2 = 0x61ff00   ← 另起的 r2 才绑上了 b

最关键的对照：r = b; 之后 a 变成了 20（说明是赋值），而 &r 依然等于 &a（说明没改绑）。想"改指"，只能另声明一个引用（int &r2 = b;）——这是引用和指针最重要的行为差异。

30 秒实验：把 int &r = a; 改成 int &r;（去掉初始化），重新编译——报错 declared as reference but not initialized。再把它改成 int &r = NULL;——同样报错。两条铁律一次试完。

六、常见误区

1. "r = b; 能让 r 改绑到 b"——不能。它是"把 b 的值赋给 a"。这就是最需要动手验证的一条。
2. "引用声明里的 & 是取地址"——不是，那是引用声明符（本节第三节的四种身份表）。
3. "引用和指针可以混着用"——语法上天差地别。引用不能做 p + 1、不能 p = &x、不能判空。
4. "引用必须在定义时就用到，很受限"——恰恰相反，正因为它"绑定即终身"，编译器能做出更好的优化，也更不容易出错。
5. "引用比指针慢"——不会。绝大多数情况下，编译器生成的是同样的代码。选哪个看语义：需要"可空、可改指"用指针；"只是另一个名字"用引用。

• ☐ 7.8.2 使用引用传递参数（下一节）

相关笔记

• 引用 —— 引用是什么
• 使用引用传递参数 —— 下一节：最漂亮的 swap
• 指针运算符和取地址运算符 —— & 的取地址身份
• 位运算符 —— & 的按位与身份
• 🔷 C++基础 · 索引 —— 全课路线图