引用在汇编层面通常不占独立空间，仅作为已有变量的别名；例外是类成员引用，因需存储被引用对象地址而占用指针大小空间。
引用在汇编层面通常不占独立空间
绝大多数情况下，int& 这样的引用在编译后不会生成额外的存储单元，它只是编译器给某个已有变量起的别名。你写 int x = 42; int& r = x;，r 不会分配新内存——它只是让后续所有对 r 的读写，直接翻译成对 x 地址的操作。
验证方式：用 g++ -S 生成汇编，观察是否出现新的 .data 或栈上 mov 分配；你会发现对 r 的访问和对 x 完全一致，甚至寄存器使用都相同。
- 例外仅出现在“引用成员变量”场景：类中声明
int& ref;时，该引用必须占用与指针等宽的空间（通常是 8 字节），因为对象布局需固定，且必须保存被引用对象的地址 - 函数参数中的引用（如
void f(int& r)）在调用时传的是地址，但函数体内对r的每次使用都直接解引用，无中间变量 - 返回局部变量引用会导致未定义行为，不是因为引用“占空间”，而是因为原变量生命周期已结束，地址失效
引用和指针的汇编差异极小，但语义约束不同
从机器码看，int& r = x; 和 int* p = &x; 在取值时都可能生成类似 mov eax, DWORD PTR [rbp-4] 的指令（假设 x 在栈上）。区别在于：
-
const int&可能触发常量折叠或寄存器复用，而指针无法隐式绑定到临时对象（除非是 const 引用） - 引用一旦初始化就不能重绑定，编译器可据此做更多优化（比如把
r全局替换成x的符号） - 调试器里看到的引用值，其实是它所绑定对象的值；而指针变量本身有地址、有值（即地址），二者在
gdb中print &r和print &p行为完全不同
结构体/类中引用成员强制占用空间
这是最容易误判的点：局部变量或函数参数里的引用不占空间，但作为类成员时，sizeof 一定会包含它。
立即学习“C++免费学习笔记（深入）”；
struct S {
int x;
int& r; // 编译器必须在这里插入一个指针大小的槽位
};
// sizeof(S) == 16（x 占 4，填充 4，r 占 8）——不是 8 或 12
原因很实在：对象实例化时，每个对象都要知道自己“引用谁”，这个信息必须持久化存储，只能存成地址。此时 r 在汇编里就完全等价于一个隐式 const int* 成员，只是语法上禁止你赋值或取地址。
- 注意：C++ 标准规定引用成员必须在构造函数初始化列表中绑定，否则编译失败——这正是因为它需要在对象创建时就填入有效地址
- 如果你看到某个类的
sizeof比预期大，检查是否有引用成员，它们悄悄占了指针宽度
引用绑定临时对象时，生命周期延长规则不改变内存布局
const int& r = 42 + 1; 看似“凭空产生”了一个引用，其实编译器会在栈上悄悄创建一个匿名 const int 对象（比如叫 __tmp），然后让 r 绑定它。这个临时对象占空间，但 r 本身仍不占额外空间。
- 延长的只是临时对象的生命周期，不是引用的生命周期；引用仍是纯编译期概念
- 若返回这种引用（如
const int& f() { return 42; }），函数返回后临时对象销毁，r成悬垂引用——错误根源是对象消亡，不是引用“没地方存” - 汇编里你能看到类似
mov DWORD PTR [rbp-8], 43（临时对象），再lea rax, [rbp-8]（取地址赋给引用语义），但没有为r单独分配位置
引用的本质是编译器的“别名契约”，它不承诺存在，只承诺行为。真正占空间的是它背后必须存在的那个地址——当这个地址不得不被记住（如类成员、绑定临时对象），空间才出现。
