连续内存、元素地址、数组名本质

左侧为二维逻辑视图，右侧为物理上的连续内存，展示行优先拼接与地址公式。

从三维逻辑结构出发，经行优先偏移公式计算，最终摊平为连续的一维内存。

行优先和列优先名字像、规则反，混用时偏移计算直接错位。

前页我们看到二维数组在内存里也是按行线性排开的，那 arr 这个名字本身究竟指向哪里？它跟一维数组里的 arr 含义完全一样吗？

从 a[i][j] 出发，逐步拆解下标的指针本质，得到纯指针运算形式。

值相同不代表类型相同——a 是常量、p 是变量，混淆就会越界或编译报错。

用一段 C 程序把 a 与 &a[0] 打印出来，对比它们在地址值与步长上的关系。

a 与 &a[0] 值相同，但 a+1 跳一整行（16 字节），*a+1 只跳一个 int（4 字节）——这是行优先遍历的指针基础。

上一页我们看到 a 和 &a 的值相同，C 却用两种类型去描述它们——看似多余，恰恰是数组指针区别于普通指针的关键。

让 p 指向二维数组的“行”，验证步长与三种访问写法。

高亮行串起核心：括号决定 p 是“行指针”，步长 = sizeof(int[3]) = 12；(*p)[i]、p[0][i]、(*(p+1))[i] 三种写法等价。

两个长得像、优先级相反的概念，括号位置决定一切。

三种声明在编译器眼里究竟是不是一回事？跑一下就知道。

写法 1 在参数调整后与写法 2 类型完全相同；写法 3 退化为 int*，行列维度信息丢失，只能手动算偏移。

上一节我们看了三种写法都能接收二维数组：int a[][5]、int (*a)[5]、甚至二维指针。但写法不同，生成的机器码真的相同吗？答案是——形参写什么，编译器就怎么算地址。

完整演示 int (*p)[col] 作形参：p+1 跳整行，p[i][j] 两层解引用。

形参 int (*p)[3] 是指向含 3 个 int 数组的指针；p+1 跨 12 字节（一整行）；p[i][j] 即 *(*(p+i)+j)；调用时 a 自动退化为该类型。

从调用现场到形参内部，看传递瞬间的地址与维度信息取舍。

把 a[i][j] 拆成纯指针运算，一步步看清每步在干什么。

对比双重下标与纯指针算术两种遍历二维数组的方式，并验证它们访问同一块内存。

L5 取首元素地址；L10/12 双重循环按下标访问；L17/18 单层循环按指针偏移访问；L22 证明 a[1][2] 与 *(p+5) 指向同一地址。

三类错误症状都像「指针乱跑」，但病在边界、类型、步长三个不同维度。

• ✓内存本质是一维连续的线性空间
• ✓指针类型决定了 +1 跨越的元素数
• ✓下标访问等价于指针的解引用
• ✓传参时高维信息会部分丢失
• ✓类型不匹配是越界访问的常见根因

先自己琢磨再看参考答案，三道题对应核心、用法与边界。