int a[]={1,2,3};
int *p;
p = (int *)(&a+1); // = 两边的数据类型需一致
printf("%d\n", *(a + 1) ); //输出语句 1
printf("%d\n", *(p - 1) ); //输出语句 2
问题:输出语句 1、2分别输出什么?
分析:
数组名 a :代表数组的首元素的首地址
取数组名 a的地址(&a):同样是首元素的首地址,但是,它与 a 的意思远不一样!虽然值一样。
&a 是整个数组的起始地址,所以 +1 操作的话,就是等于 + sizeof( a ),即&a + 5 * sizeof( int )
a 是首元素的首地址,所以 +1 操作的话,就是等于 + sizeof( int )。
从以上的分析,我们可以总结出,在进行 +1 的时候,我们要注意是谁进行 +1 。通过下面的一个例子会再次强调这点。
数组指针:
我们这里讨论的是 数组指针 。而不是 指针数组 。
数组指针 简单来说就是一个指向数组的指针。下面我们看看其定义
int (*p)[10];
接着看下一个例子:
int a[5]={1,2,3,4,5};
int (*p3)[5] = &a;
// char (*p4)[5] = a;
printf("%x\n", *(p3+1)); //输出语句 3
这个例子,我们主要看 输出语句 3 。这里的 *(p3 + 1) 是?
结合上面所分析的。我们总结过,在进行 +1 的时候,我们要注意是谁进行 +1。
OK,这里是 p3 进行加 1 。那么 p3 是什么?它是一个数组指针,它指向一个有 5 个元素的数组。所以其大小就是 5 * sizeof( int )。说到这里估计大家也明白了这里的输出内容是什么了。
我在VC++6.0的测试输出结果是:18FF48 。而数组的起始地址是 18FF34 。
我们注意到,这个例子中有条被注释掉的语句。为什么呢?
因为在C语言中, "=" 两边的数据类型必须是相同,如果不相同,则需要进行显式或隐式类型转换。a 是首元素的地址,大小为 sizeof(int) 。而左边的是大小为 5 * sizeof( int )的数组指针。两者中一个是首元素的地址,一个是指向整个数组的指针,前者的类型与后者不符合。
如果将 int (*p)[5] 改成 int (*p)[10] 或 int (*p)[3]呢?行吗?
答案是不行的。因为数组指针指向的数组大小需要与数组指针定义的大小一致。