二维数组与指针的困惑：数组名转指针规则的矛盾疑问

你遇到的困惑核心在于没有准确区分不同指针的类型，以及数组名转指针规则的适用场景。我们一步步拆解这个问题：

先明确各变量的类型 #

• int a[2][3]: a是一个包含2个元素的数组，每个元素是int[3]类型的子数组。
• int (*p)[3]: p是一个指向包含3个int元素的数组的指针（简称“数组指针”），它的类型和&a[0]、a（数组名转指针后）的类型完全匹配。

你的推导错误点 #

你认为p = a[0]等价于p = &a[0][0]，这里犯了两个关键错误：

1. a[0]是int[3]类型的子数组名，它转换为指针时，是指向该子数组首元素的指针，也就是int*类型，而不是int(*)[3]类型。直接把int*赋值给int(*)[3]类型的p是类型不兼容的，这属于C语言中的未定义行为——只是因为你的编译器允许这种隐式转换，且内存布局刚好连续，才得到了预期结果。
2. 当p的类型是int(*)[3]时，*p的含义并不是解引用得到一个int元素，而是解引用得到一个int[3]类型的数组。这个数组名再参与运算时，会再次转换为指向其首元素的int*指针，所以(*p)[i]等价于*((*p) + i)，也就是这个数组的第i个元素。

分析你测试的三种赋值情况 #

情况1：p = a[0] #

如前所述，a[0]转成int*（指向a[0][0]），被隐式转换为int(*)[3]赋值给p。此时*p会把p存储的地址（&a[0][0]）当成指向int[3]数组的指针，解引用后得到的就是从a[0][0]开始的3个int组成的数组，所以(*p)[i]访问的就是a[0][i]，输出123。但这是未定义行为，不能依赖。

情况2：p = &a[0][0] #

这和情况1本质一样：&a[0][0]是int*类型，被转成int(*)[3]赋值给p。后续的内存访问逻辑和情况1完全相同，所以输出也是123，但同样是未定义行为。

情况3：p = &a[0] #

这才是符合C语言标准的正确赋值：&a[0]是指向a[0]这个int[3]数组的指针，类型和p完全匹配。此时*p就是a[0]这个子数组，(*p)[i]就是a[0][i]，输出123是完全合理且符合预期的。

总结正确的用法 #

如果要使用数组指针p来访问二维数组的子数组，正确的赋值方式应该是：

p = a;  // 数组名a转成指向第一个子数组a[0]的指针，类型匹配
// 或者
p = &a[0];  // 直接取子数组a[0]的地址，类型匹配

此时无论是(*p)[i]还是p[0][i]，都能正确访问a[0][i]。

内容的提问来源于stack exchange，提问作者Avi