引用必须初始化，因其是对象别名而非变量，绑定在声明时完成且不可更改；未初始化引用在C++中非法，编译器禁止其存在。
因为引用不是变量，而是对象的别名；没有初始化的引用在语言模型里根本不存在，编译器连让它“暂时为空”的机会都不给。
引用初始化 = 绑定目标对象，不是赋值
很多人看到 int& r = a; 就以为这是“先声明、再赋值”，其实这行代码里没有“赋值操作符”的语义。这里的 = 是初始化语法的一部分，不是 operator=。它唯一的作用是让 r 和 a 在编译期建立不可更改的绑定关系。
你不能写：
int a = 42; int& r; // ❌ 编译错误：E0252 引用变量 "r" 需要初始值设定项 r = a; // 这行根本不会执行到——前面就卡死了
- 引用不占独立存储空间（多数情况下编译器不为其分配地址），它只是符号表里的一个重命名条目
- 绑定动作必须发生在声明点，之后没有任何语法能修改这个绑定
- 所谓“未初始化引用”在 C++ 对象模型中是非法状态，不是“暂时没绑”，而是“根本不允许存在”
类成员引用必须在构造函数初始化列表中完成
类里有 int& 成员时，你没法靠构造函数体内的赋值来“补救”。因为构造函数体执行前，所有成员必须已完成初始化——而引用没得“默认初始化”，只能靠初始化列表。
立即学习“C++免费学习笔记（深入）”；
下面这段代码会编译失败：
struct S {
int& ref;
S(int& r) { ref = r; } // ❌ 错误：ref 在进入函数体前就必须绑定
};- 正确写法必须用初始化列表：
S(int& r) : ref(r) {} - 含引用成员的类自动失去默认构造函数能力，哪怕你显式写
S() = default;也会报错 - 如果引用成员依赖某个临时对象（比如函数返回的局部变量），极易产生悬空引用，即使语法通过也不安全
为什么指针可以不初始化，引用却不行
指针是实体变量，它自己存着一个地址值；int* p; 合法，是因为你可以后续赋 nullptr 或有效地址，而且每次解引用前还能检查 p != nullptr。引用没这个余地。
- 引用没有“空状态”可表示，也没有运行时检查机制
- C++ 不提供
if (r)这种语法来判断引用是否有效——它压根不该无效 - 允许未初始化引用，等于把野指针问题从运行时前移到更难调试的编译后阶段：程序可能读写随机内存却不崩溃，结果数据静默损坏
- 这个设计是主动放弃灵活性，换取确定性：只要编译通过，引用一定指向合法对象（至少在绑定那一刻）
最易被忽略的一点是：初始化了 ≠ 安全了。比如绑定到局部变量、绑定到函数返回的临时量、或绑定到已析构对象的成员，都会导致悬空引用——这种错误编译器通常不报，但行为未定义。初始化只是必要条件，不是充分条件。
