二维数组本质上是“数组的数组”，内存中按行优先连续存储，列数不可省略以保障地址计算正确，下标访问中列下标变化快、行下标变化慢。

二维数组本质上是“数组的数组”，它的结构像一张表格，有横向的行和纵向的列。行对应外层数组的索引，列对应内层数组的索引。理解这一点，就抓住了二维数组最核心的组织逻辑。

行与列在内存中怎么排？

二维数组在内存里是连续存放的，采用行优先顺序：先存完第0行所有列，再存第1行所有列，依此类推。比如 int a[2][3]，实际存储顺序是：
a[0][0] → a[0][1] → a[0][2] → a[1][0] → a[1][1] → a[1][2]

为什么列数不能省略，而行数可以？

编译器需要知道每行占多大空间，才能正确计算任意元素的地址。列数决定了单行长度，没有它就无法定位下一行起始位置。

• ✅ 允许写 int arr[][4] = {{1,2,3,4}, {5,6,7,8}}; —— 编译器根据初始化数据算出有2行
• ❌ 禁止写 int arr[2][] = {...}; —— 列数缺失，编译直接报错
• ⚠️ 即使只初始化部分元素，列数仍必须显式给出，否则无法确定每行边界

下标怎么读？什么时候变？

二维数组下标写作 arr[i][j]，其中 i 是行号，j 是列号。访问时注意变化节奏：

• 列下标 j 变化快：同一行内遍历时，j 从 0 递增到列数−1
• 行下标 i 变化慢：换行才加1，比如遍历完 a[0][0]~a[0][2] 后，才跳到 a[1][0]
• 这种快慢关系正源于行优先存储——地址连续性由列先行体现

常见误区提醒

别把“二维”当成物理平面去想象坐标系；它只是逻辑分层：外层管行数，内层管列数。比如 int grid[5][10] 表示5个一维数组，每个长度为10。

• 不是“5×10 的格子”，而是“5个长度为10的数组并列存放”
• 所有行必须等长（列容量固定），这是C/C++二维数组的硬约束
• 初始化时用花括号嵌套，是为了清晰体现行的划分，而非语法必需（也可平铺写，但易错）