局部变量存放在栈中是硬件、内存与编译器协同优化的高效选择：分配释放仅需移动栈指针，耗时1纳秒内；缓存友好、寄存器优化可行；生命周期确定，无需运行时管理；支撑函数调用、异常处理等核心机制。

局部变量存放在栈中，不是历史习惯，而是经过长期工程验证的高效选择。它的快，不是相对而言，而是由底层硬件、内存结构和编译器协同决定的硬性优势。

分配与释放仅需移动一个指针

函数调用时，系统不搜索空闲内存，也不维护空闲链表——它只把栈顶指针（如RSP）向下移动一段固定距离，这块区域就“立刻可用”。函数返回时，指针直接回退，整块内存瞬间归还。这个过程在CPU指令级完成，通常只需1条汇编指令。

• 对比堆内存：malloc/new需遍历空闲块、更新元数据、可能触发系统调用，耗时几十到数百纳秒
• 栈操作耗时通常在1纳秒以内，且无锁、无竞争，天然适合高频调用场景
• 递归函数每次调用都生成新栈帧，但开销恒定，不会随深度线性增长

缓存友好，访问延迟极低

栈内存是连续分配的，局部变量在栈帧内紧密排列。CPU加载一个缓存行（通常64字节），往往能一次性载入多个相邻局部变量。后续读写都在L1缓存中完成，速度比访问主内存快10倍以上。

• 堆上对象地址随机，容易导致缓存行浪费甚至频繁未命中
• 编译器可将频繁访问的局部变量进一步优化到CPU寄存器，跳过内存访问
• 函数内联后，栈帧可能被完全消除，变量直接驻留寄存器

生命周期明确，无需额外管理

局部变量的生命期严格绑定函数调用：进入即存在，退出即销毁。这种确定性让编译器能在编译期完成全部布局规划，无需运行时跟踪或垃圾回收介入。

• 栈帧大小在编译时已知（由变量类型和数量决定），无需动态计算
• 线程独占栈空间，不存在跨线程引用或同步开销
• 没有悬垂指针风险——栈变量地址一旦函数返回就失效，编译器可提前报错

逻辑清晰，支撑语言核心机制

栈不仅是存储位置，更是函数调用模型的物理实现。参数传递、返回地址保存、嵌套作用域隔离，全都依赖栈的LIFO特性来保证正确性。

• 每个函数调用形成独立栈帧，天然隔离变量，避免命名冲突
• 异常处理、setjmp/longjmp等机制也基于栈展开（stack unwinding）实现
• 即使像Python这样“局部变量实际存于堆帧”的语言，仍模拟栈语义——帧对象按调用顺序链式组织，销毁时机与栈帧一致