C语言数组名、数组名取地址、数组首元素地址之间的关系

C语言中数组名a、数组名取地址&a、数组首元素地址&a[0]三者的概念有点绕，花了点时间好好琢磨了一下，将自己的理解记录下来，如有错误之处，欢迎赐教。
首先看下面的一小段代码：

#include <stdio.h>

int main()
{
	int a[3] = { 1, 2, 3 };

	printf("a       = %p\n", a);
	printf("&a[0]   = %p\n", &a[0]);
	printf("&a      = %p\n", &a);

	printf("a+1     = %p\n", a+1);
	printf("&a[0]+1 = %p\n", &a[0]+1);
	printf("&a+1    = %p\n", &a+1);

	return 0;
}

数组名 a 是一个常量指针，指向数组的起始地址；数组首元素的地址 &a[0] 指向数组第一个元素的地址，也就是数组的起始地址，这两点大部分人应该都是知道的。但是对数组名 a 取地址会得到什么结果？这点估计不少人没有仔细想过。上述代码的执行结果如下（WIN32环境）：

a       = 00DEF97C
&a[0]   = 00DEF97C
&a      = 00DEF97C
a+1     = 00DEF980
&a[0]+1 = 00DEF980
&a+1    = 00DEF988

&a 表示的地址与前两个地址一样，但 &a+1 表示的地址与前两个却不一样！这说明 &a 的指针类型与 a 的指针类型不一样，a+1 的地址相对于 a 的地址偏移了4个字节，很显然因为 a 是 int 类型的指针；而 &a+1 的地址相对于 &a 的地址偏移了12个字节，这正好是 int a[3] 数组所占内存空间的大小，所以 &a
实际上是一个数组指针，形如 int (*p)[3]，指向具有3个元素的数组。

以下是我画的数组a在内存中的存储示意图（32位平台，小端模式），辅助理解。

如上图左侧所示，a 指向地址 0x00DEF97C，那么 a+1 就指向了 0x00DEF980，步进了1个int类型数据的地址空间。
如上图右侧所示，&a 指向地址 0x00DEF97C，那么 &a+1 就指向了 0x00DEF988，步进了1个int a[3]数组的地址空间。

指针能表示两个维度的信息，第一个是内存当中的地址，第二个是访问内存的“尺度”。
数组名 a、数组首元素的地址 &a[0]、数组名取地址 &a，这三者在内存中其实是同一个地址，但访问内存的尺度有所不同，其中 a 和 &a[0] 是以 int 类型所占内存空间为尺度来访问内存，而 &a 是以数组 int a[3] 所占内存空间为尺度来访问内存。

打个比方，假设内存是一栋教学楼，数组 a 是其中第一层，共有 3 个教室，那么 a[0] 是一年级一班，a[1] 是一年级二班，a[2] 是一年级三班，这时候一年级一班的门顶上可能就是下面这样的门牌号：

F1表示这是一楼，等价于数组名取地址 &a

一年级等价于数组名 a

101表示这是一楼第一个房间（一年级一班），等价于数组首元素地址&a[0]

有了上面的类比，接下来就好理解了：

&a 是按楼层访问（也就是按年级访问），&a+1 就指向二楼F2（二年级）

a 有点特殊， 作为变量它表示的是一年级，sizeof(a) 得到的是一年级的班级数量 * 单个班级所占的空间； 作为地址它等价于首元素地址（一年级一班的地址），是按班级访问，a+1 就指向一年级二班

&a[0] 是按班级访问，&a[0]+1 自然指向的就是一年级二班