多维数组在内存中是线性展开的一维连续块，非立体结构；C/C++/Java/NumPy等采用行优先存储，Fortran/MATLAB等用列优先，而Java/Python原生嵌套数组则为非连续引用结构。
多维数组在内存中不是“立体结构”，而是被线性展开的一维连续块。识别其存储方式，关键看语言默认的映射规则；而它对 GC 的影响，则取决于数组类型（值类型 vs 引用类型）、是否含引用字段，以及遍历或修改时是否意外延长对象生命周期。
看语言规范：行优先还是列优先？
主流语言有明确约定：
-
C、C++、Go、Java、Python（NumPy 默认）、PHP、Rust：采用行优先（Row-Major）——即先填满最右侧下标（如二维中是列），再推进左侧下标（如行）。例如
arr[2][3]在内存中顺序为：arr[0][0], arr[0][1], arr[0][2], arr[1][0], arr[1][1], arr[1][2]。 - Fortran、MATLAB、Julia（默认）、R（部分底层）：采用列优先（Column-Major）——先填满最左侧下标（如二维中是行），再推进右侧下标（如列）。
- 注意：JavaScript、Python 原生 list 是“数组的数组”，即每个子数组独立分配，整体不连续，不属于严格意义上的多维数组，也不适用行列优先讨论。
查运行时行为：是否真正连续？
不能只看语法，要区分物理布局：
-
真多维数组（如 C 的
int arr[3][4]、Go 的[3][4]int、Java 的int[3][4]）：编译器/运行时保证内存连续（或按行列优先紧凑排布），缓存友好。 -
伪多维（如 Go 的
[][]int、Java 的int[][]、PHP 的嵌套 array）：外层数组存的是指针/引用，每个子数组单独堆分配，地址不连续，遍历时容易 cache miss，GC 要跟踪更多独立对象。 - 验证方法：在支持 unsafe 操作的语言中（如 Go），可对比
&matrix[0][0]和&matrix[0][1]地址差是否等于元素大小；在 Java 中可用 JOL（Java Object Layout）工具查看实际内存占用与对齐。
GC 影响：不只是“大数组占内存”那么简单
多维数组本身不直接触发特殊 GC 策略，但结构选择会间接放大三类问题：
-
引用驻留延迟回收：PHP 中用
foreach ($arr as &$v)遍历后未unset($v)，会导致最后一个元素引用持续存在，阻止整块数组被回收。 -
切片隐式拷贝（Go）：用
for _, row := range matrix遍历[][]int时，每次row是子切片头的值拷贝（含 ptr/len/cap），虽小但高频；若该 row 被闭包捕获或传入长生命周期函数，可能让整个底层数组无法释放。 -
稀疏结构放大 GC 压力：用哈希表模拟“稀疏二维数组”（如
map[[2]int]int）时，键值对分散堆上，GC 需扫描更多对象；而等效的连续[1000][1000]int虽大，但单个对象，标记开销低。
实用判断技巧
无需读源码，几条经验可快速定位：
- 查官方文档关键词：“row-major order” 或 “column-major order”；
- 看初始化语法：C 风格固定大小声明（
int a[2][3]）大概率连续；动态嵌套（new int[2][]）大概率非连续； - 测局部性：写两个循环，一个
i外层j内层，一个反过来，用相同数据跑多次取平均耗时，快的那个方向大概率匹配存储顺序； - 观察 GC 日志：如果频繁出现大量小对象晋升老年代，且来源集中于某个多维容器构建逻辑，很可能是用了
[][]T类型而非[N][M]T。
