C语言中(*p)[num2]指针指向及p++行为的技术疑问

1. 为什么(*p)[num2]指向二维数组的行 #

先明确类型对应关系：

• 二维数组a[num1][num2]里，a[0]是第一行的数组名，它的类型是int[num2]（假设数组元素为int类型），而&a[0]是第一行的地址，对应的类型就是int (*)[num2]——也就是「指向一个长度为num2的int数组的指针」，这正是(*p)[num2]声明的指针类型。
• 所以当你把&a[0]赋值给p时，p存储的是一行的起始地址，*p等价于这一行的数组名，(*p)[i]自然就是这一行第i列的元素。

2. 为什么p++指向的是下一行 #

指针的自增步长由它的类型决定：

• p的类型是int (*)[num2]，它指向的是一个长度为num2的int数组，所以p++时，地址会增加sizeof(int[num2])（也就是一整行的字节数），直接跳到下一行的起始地址，而非单个元素的地址。
• 要是用普通的int *p，p++只会跳sizeof(int)，也就是单个元素的地址，这是两者的本质区别。

3. 为什么要用(*p)[num]而不是普通指针*p #

普通指针int *p确实能通过偏移遍历二维数组，但行指针有两个核心优势：

• 语义更清晰：行指针的设计贴合二维数组「行+列」的逻辑结构，用p指代一行，(*p)[i]直接定位到该行第i列，代码可读性更高，别人一眼就能看出你是按行处理二维数组。
• 操作更便捷：如果需要对整行操作（比如行与行的复制、比较），行指针的语义更直接，不用手动计算跨行列的偏移量。比如遍历所有行，直接p++就能跳到下一行，不用写p += num2这类偏移计算。

另外你提到的「创建*p并令p=&a[num1]」存在问题：&a[num1]的类型是int (*)[num2]，和普通指针int *p类型不匹配，直接赋值会触发编译警告；而且要实现列赋值的话，循环逻辑得改成*(p + i) = 0; p += num2;，和行指针的写法逻辑完全不同，并非等价实现。

内容的提问来源于stack exchange，提问作者阿卡丽