先看一道测试题:
int main()
{
int a[5] = {1, 3, 0, 4, 6};
int *p = (int*)(&a + 1);
cout<<*(a + 1)<<' ';
cout<<*(p - 1)<<endl;
return 0;
}
猜猜结果?
下面说说a和&a的区别,说完了,再看该题的结果。
C/C++里面的数组名字会退化为指针,所以数组名a实际指的是数组的第一个元素的地址。而数组名作为指针来讲有特殊性,它正在它所指向的内存区域中,&a的值和a的数值是相同的(可以输出观察一下),但是类型和意义不同。而指针的加法操作和指向的数据类型密切相关。
所以,int a[10]; a就相当于int *,如果是对它加1(a + 1)是相当于a + 1 * sizeof(int)。但是&a的类型则相当于int **,是所谓指向数组的指针,是数组元素类型的二级指针,对它加1是相当于 &a + 1 * sizeof(a)的,所以会偏移一个数组长度。
现在来看程序,&a + 1其实偏移了一个数组的长度即就是6,其实在VS中通过调试可以查看&a + 1的类型,其类型为int[5] *,所以(int*)(&a + 1)将其强制转成int *类型。这里应该很明显了a + 1指向的是数组a的第二个元素,p指向的是数组后面的元素(这里我们不知道它是多少),p - 1则指向数组的最后一个元素!
所以程序运行的结果为3 6.