定长数组通常分配在栈上还是堆上？数组内存位置会影响什么？
简化版
数组分配在栈上还是堆上取决于语言、大小和创建方式。栈上分配快但空间有限、生命周期短；堆上分配更灵活但需要垃圾回收或手动释放管理。
详细版
面试里问数组内存，不应简单回答“数组都在堆上”或“定长都在栈上”。
- C/C++ 局部定长数组常可在栈上，动态分配通常在堆上。
- Java、JavaScript 等语言的数组对象通常在堆上，由运行时管理。
- 栈内存分配释放快，但容量较小，过大数组可能栈溢出。
- 堆内存容量大、生命周期灵活，但分配和回收成本更高。
- 性能还受连续内存、缓存局部性、对象布局等影响。
完整版教学
一、为什么不能脱离语言谈数组位置
数组是一种逻辑数据结构，栈和堆是内存管理区域。不同语言对数组的实现差异很大：C 里的局部定长数组可能直接在栈帧里，Java 的数组是对象，通常在堆上；JavaScript 数组更是运行时对象，内部可能有多种表示。面试回答要先声明“取决于语言和创建方式”，再讲一般原则。绝对化回答很容易被追问打穿。
void f() {
int a[100]; // 常见实现：栈上
int* b = malloc(100 * sizeof(int)); // 堆上
}记忆钩子：数组是数据怎么排，栈/堆是数据放哪里；两者不是同一个层面的概念。
二、栈上数组有什么特点
栈上分配通常只是移动栈指针，速度很快，函数返回时自动释放。局部小数组很适合放栈上，因为生命周期明确、管理简单。缺点是栈空间有限，如果开很大的数组，比如几千万个整数，可能导致栈溢出。栈上数组也不能在函数返回后继续安全使用，因为栈帧已经被回收。
栈上数组：
分配快
释放自动
容量有限
生命周期跟随函数调用三、堆上数组有什么特点
堆上分配更灵活，可以创建运行时才知道大小的数组，也可以让数据跨函数、跨对象长期存在。代价是分配和释放更复杂：C/C++ 要手动释放或用智能指针；Java、JS 等由 GC 管理，但仍然有回收成本。堆上数组对象可能还包含长度、类型、引用等元数据，不只是裸元素。
int[] a = new int[100]; // Java 中数组对象通常在堆上四、带数字理解栈溢出风险
假设一个 int 4 字节，局部数组 int a[10_000_000] 大约需要 40MB。如果线程栈只有 1MB 或 8MB，这个数组就可能直接栈溢出。堆通常容量更大，更适合大数组。这个例子说明，定长不代表一定适合栈，大小也是关键因素。
| 数组规模 | 约占内存 |
|---|---|
int[1_000] | 约 4KB |
int[1_000_000] | 约 4MB |
int[10_000_000] | 约 40MB |
五、内存位置和缓存局部性的关系
缓存局部性主要来自数组元素是否连续，而不是单纯来自栈或堆。一个堆上连续数组也可以有很好的缓存局部性；一个栈上数组如果访问模式跳跃，也可能不友好。栈/堆更多影响分配成本、生命周期和容量；连续布局和访问模式才是数组遍历性能的关键。面试时把这两个层面区分开，会显得很清楚。
分配位置：栈/堆
布局特征：元素是否连续
访问模式：顺序/随机/跳跃
性能结果：三者共同影响六、逃逸分析和运行时优化
一些现代运行时会做逃逸分析。如果对象没有逃出方法作用域，理论上可能被优化成栈上分配或标量替换。也就是说，源码里写了堆对象，不代表最终机器执行一定完全按朴素模型分配。面试一般不要求深入编译器，但可以补一句：高级语言中具体位置由运行时和优化决定，语义上开发者更关心生命周期和引用可达性。
对象不逃逸 -> 可能被优化
对象被返回/保存到全局 -> 通常需要更长生命周期七、常见误区与追问
- 误区：定长数组一定在栈上。 这取决于语言和创建方式，大数组也可能不适合栈。
- 误区：堆上数组一定慢。 顺序访问的堆上连续数组同样缓存友好，慢不慢还看分配和访问模式。
- 误区：Java 数组和 C 局部数组内存模型一样。 Java 数组是对象，通常由堆和 GC 管理。
- 追问：为什么大局部数组可能崩？ 线程栈空间有限，大数组可能造成栈溢出。
- 追问：缓存局部性主要看什么？ 主要看元素连续性和访问顺序，不只是栈或堆。
八、加强记忆
这题用“两层概念”记：数组回答元素怎么组织，栈/堆回答内存怎么管理。栈快但小、生命周期短；堆大且灵活，但管理成本更高。面试时先说取决于语言，再用 C 和 Java 举例，最后区分内存位置与缓存局部性，就不会被绝对化追问卡住。