C语言多维数组指针疑问：为何*(a[2]-1)输出4而非随机值？

先看这段代码的内存布局：
int a[3][2] = {{1,2},{3,4},{5,6}}; 在内存中是连续存储的，顺序为：1, 2, 3, 4, 5, 6，所有元素占用连续的内存空间。

关键知识点拆解 #

• a[2] 是数组a的第3个元素（下标从0开始），也就是{5,6}这个一维数组。当数组名在表达式中使用时，会自动隐式转换为指向该数组首元素的指针，所以a[2]在这里的类型是int*，指向的是5（即a[2][0]）。
• a[2]-1 是指针减法操作：因为a[2]是int*类型，减1会让指针向前移动一个int的内存大小，最终指向的是a[1][1]（也就是值为4的元素）。
• *(a[2]-1) 就是取这个指针指向的内存值，结果自然是4。

纠正你的误解 #

你误以为a[2]是指向数组的指针，但实际上只有&a[2]才是指向{5,6}这个一维数组的指针（类型为int(*)[2]）。而单独的a[2]作为表达式时会退化为指向首元素的int*，所以不会指向随机内存，而是数组的有效区域。

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