首先引用《C和指针》p141中的理论：
在C中， 在几乎所有使用数组的表达式中，数组名的值是个指针常量，也就是数组第一个元素的地址。 它的类型取决于数组元素的类型： 如果它们是int类型，那么数组名的类型就是“指向int的常量指针“。
看到这里我想应该就知道为什么 会有I 和 III式的结果了。
对于II 和 IV 则是特殊情况，在《C和指针》p142中说到，在以下两中场合下，数组名并不是用指针常量来表示，就是当数组名作为sizeof操作符和单目操作符&的操作数时。 sizeof返回整个数组的长度，而不是指向数组的指针的长度。 取一个数组名的地址所产生的是一个指向数组的指针，而不是一个指向某个指针常量的指针。
所以&a后返回的指针便是指向数组的指针，跟a（一个指向a[0]的指针）在指针的类型上是有区别的。
今天有对数组有了新的认识。代码如下：
int i = 1;
// (1)
int* p = &i;
cout<<p<<endl;
cout<<&p<<endl;
// (2)
int arr[2] = {0};
cout<<arr<<endl;
cout<<&arr<<endl;
乍一看，两部分的原理一样。都是输出指针和取指针的地址。但是只要细心测试一下，就发现不同了。（1）中的地址是不同的，但是（2）中的地址输出是一样的。
我开始也比较惊讶，但是静下心了分析一番之后。发现数组名是特殊的指针，即常量指针。然后联想到数组的sizeof的特殊性质。便猜想，数组名和&有玄机。然后着手查找资料，果不其然，原来数组有两个特殊的性质：当数组名作为sizeof和&操作符的操作数的时候有新的含义。sizeof返回数组的长度，而不是数组名的指针大小；&是返回一个指向数组的指针，而不是指向数组名（即指针常量）的指针。