首先引用《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返回数组的长度,而不是数组名的指针大小;&是返回一个指向数组的指针,而不是指向数组名(即指针常量)的指针。