题目重点：把调用栈帧与动态对象存储分开，说明 GC/分配器、跨线程共享及编译器优化。
题意与假设
这道练习题保留了面经中值得训练的核心约束，并将需要澄清的条件单独列出。现场拿到变体时，先和面试官确认这些条件。
- 按常见 native/JVM runtime 的概念层回答，不把 C/C++、Java、Python 的每个对象分配位置说成完全一样。
- ‘heap’指动态内存区域，不是 heap priority queue 数据结构。
解题路线
- Stack 按线程维护调用帧，通常含返回地址、部分局部变量、保存寄存器等；函数返回可批量回收帧。递归深或大栈对象可 stack overflow。
- Heap 用于生命周期不随单一调用结束而消失或需动态大小的对象，分配/释放由 allocator 或 GC 管理；它可能跨线程共享，因此需要同步和可见性规则。
- 不要机械认定‘局部变量在栈、对象在堆’：JIT 逃逸分析可标量替换/栈上分配，C++ 局部对象自身可在栈但其内部 buffer 在堆，编译器也可能寄存器分配。
- 性能看分配频率、GC、缓存局部性和所有权；在没有 profile 的情况下不应一律把 heap 分配视为慢。线程栈与进程堆的访问都使用虚拟内存，不能混成地址翻译问题。
手动走一遍
函数创建短命对象并只在函数内用，优化器可消除实际堆分配；把对象引用返回或存到全局结构通常逃逸，生命周期超出当前帧。
规模与取舍
函数栈帧入/出通常随调用常数级操作，但递归深度 D 占 O(D×每帧大小) 栈；heap 分配/回收成本受 allocator/GC 和对象数量影响，没有普适 O(1) 延迟保证。
易错点与追问
容易失分的边界
- 把 heap memory 与堆数据结构混淆。
- 说所有局部变量必物理存栈。
- 说堆分配一定慢到不可用。
- 忽略线程各自栈与共享 heap 的同步。
- 把 GC 回收等同函数返回。
继续深挖
- 逃逸分析何时可消除分配？
- 线程栈溢出与堆 OOM 有何差别？
- C++ RAII 局部对象可以持有堆内存吗？
- 如何 profile 分配热点？
