二维数组在内存中并非天然二维，其布局取决于存储位置与语言机制：栈上为连续内存、静态分配；堆上为分层分配、动态控制，引用路径和内存管理方式截然不同。
二维数组在内存中不是天然“二维”的，它的引用行为完全取决于存储位置（栈 or 堆）和语言机制。理解这点，才能避免越界、空指针、内存泄漏等典型问题。
栈上二维数组：连续内存 + 静态布局
在C语言中，如 int a[3][4] 这样的定义，整个数组分配在栈上，共 3×4=12 个 int，连续存放，行优先（a[0][0] → a[0][1] → … → a[2][3]）。数组名 a 是一个常量地址，类型为 int (*)[4]（指向含4个int的数组的指针），不能赋值或自增。
- 访问 a[i][j] 实际等价于 *(&a[0][0] + i×4 + j)，编译器靠列数（第二维长度）算偏移
- 下标必须在 [0,2]×[0,3] 范围内，越界不会报错但会读写相邻栈空间——极易引发未定义行为
- 函数传参时，形参需写成 int arr[][4] 或 int (*arr)[4]，否则类型不匹配
堆上二维数组：分层分配 + 动态控制
Java 和 C 中手动 new/malloc 的二维数组本质是“指针的指针”或“数组的数组”，内存不连续：
- Java 中 int[][] mat = new int[3][4]：堆上先分配外层数组（长度3，每个元素是 int[] 引用），再为每行分别分配内层数组（各4个int）。mat 本身是引用，指向外层数组首地址
- C 中 int **p = malloc(3 * sizeof(int*)) 后逐行 malloc：每行可不等长，但管理成本高；而 int (*p)[4] = malloc(3 * 4 * sizeof(int)) 则模拟栈式连续布局，更高效
- 堆分配需显式释放（C）或依赖GC（Java），否则内存泄漏或悬挂指针
引用链的关键差异：从变量到元素的路径
同一句 mat[1][2] 在不同场景下解析路径完全不同：
- 栈数组（C）：变量名 → 栈基址 → (1×4+2)字节偏移 → 直接取值
- Java堆数组：变量 mat → 堆中外层数组首地址 → 索引1处取 int[] 引用 → 解引用得内层数组首地址 → 索引2处取值
- C堆指针数组：p → 堆中指针数组首地址 → 索引1处取 int* → 解引用得某行首地址 → 偏移2取值
常见陷阱与验证方式
混淆栈/堆语义是调试难点。可通过地址打印快速判断：
- C 中打印 &a[0][0]、&a[1][0]、&a[0][1]：若差值恒为 sizeof(int)，说明连续（栈或行指针堆分配）
- Java 中打印 mat[0]、mat[1] 的哈希码：若不等，说明各行内存不连续
- 误把栈数组名当指针使用（如 p = a; p++），实际改变的是局部地址副本，无意义
