C++中的指针与多维数组：为何p指向ia的最后一个元素？

让我一步步拆解这个问题，帮你彻底搞清楚背后的逻辑：

1. 先明确二维数组ia的结构 #

你定义的int ia[3][4];是一个数组的数组：

• 它包含3个「顶层元素」，每个顶层元素本身又是一个包含4个int的数组；
• 这3个顶层元素分别是ia[0]、ia[1]、ia[2]（数组索引从0开始），其中ia[2]就是整个ia的最后一个顶层元素。

2. 理解指针p的类型 #

int (*p)[4];这个声明很关键，括号的优先级决定了它的含义：

• 这不是一个「指向int的指针数组」，而是一个指向「包含4个int的数组」的指针；
• 这个类型刚好和ia的顶层元素类型完全匹配（ia的每个顶层元素都是int[4]），所以p专门用来指向ia里的单个顶层元素。

3. 分析赋值操作的逻辑 #

• 初始赋值p = ia;：数组名ia会被隐式转换为指向其第一个顶层元素的指针，也就是等价于p = &ia[0];，此时p指向ia的第一个顶层元素ia[0]；
• 后续赋值p = &ia[2];：ia[2]是ia的第三个（同时也是最后一个）顶层元素，&ia[2]就是取这个元素的地址，而这个地址的类型正好是int (*)[4]，和p的类型完美匹配，所以赋值完成后，p就指向了ia的最后一个顶层元素。

额外提个容易混淆的点：如果是int *q = ia[0];，那q是指向ia中第一个int值的指针；但你的p是指向整个4元素int数组的指针，它的移动步长是4个int的大小，和普通int指针完全不同。

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