数组名a+1和&a+1的区别

以下代码会打印出什么样的日志呢？

int a[2] = {1,2};

int main(){

printf("a = %p\n", a);// I

printf("&a = %p\n", &a); //II

printf("a + 1 = %p\n", a + 1);//III

printf("&a + 1 = %p\n",&a + 1);// IV

return 0;

 

本机（linux）结果输出：
a = 0x804a014
&a = 0x804a014
a + 1 = 0x804a018
&a + 1 = 0x804a01c

没错，上面I 和 II打印出来的地址是一样的，IV 要比 III 大4个字节的地址空间。下面是我对这一现象的解释，如有不妥的地方请各位大虾一定给于指出:

首先引用《C和指针》p141中的理论：
在C中， 在几乎所有使用数组的表达式中，数组名的值是个指针常量，也就是数组第一个元素的地址。 它的类型取决于数组元素的类型： 如果它们是int类型，那么数组名的类型就是“指向int的常量指针“。
看到这里我想应该就知道为什么 会有I 和 III式的结果了。

对于II 和 IV 则是特殊情况，在《C和指针》p142中说到，在以下两中场合下，数组名并不是用指针常量来表示，就是当数组名作为sizeof操作符和单目操作符&的操作数时。sizeof返回整个数组的长度，而不是指向数组的指针的长度。 取一个数组名的地址所产生的是一个指向数组的指针，而不是一个指向某个指针常量的指针。

所以&a后返回的指针便是指向数组的指针，跟a（一个指向a[0]的指针）在指针的类型上是有区别的。与二维数组比较。数组名和&数组名代表同一个地址不同意思

所对应用户代码为printf("a =%p\n", &a + 1)，根据《C和指针》中的理论，当a前面有&操作符时，编译器将会把a对应符号表中的地址看作指向数组的指针，sizeof（a）为8，