对于一个数组:int a[]={1,2,3,4,5}
1.数组名a代表数组的首地址,可以引用下标为 0的元素,但其单元为整个数组的大小。
2.&a取数组a的地址,可以看成是指向数组a的指针。
(注意此时p的指针类型不是整形,即其一个单元并不是sizeof(int),而且一整个数组元素占用的总字节。)
用sizeof输出一个单元占用内存的字节大小:
sizeof(a)=20;
sizeof(a[0])=4;
注意:sizeof()内不进行运算,只输出类型所占字节的大小。
因此&a+1指向下一个与该数组总元素占用字节相同的一个内存空间(越界)
下列操作产生warning:
这是因为&a的单元不是int的大小而是整个数组的大小。可以通过类型强转解决。
需要强调的是&a仍为数组元素的首地址,即&a→a→a[0],不同之处在于a+1和&a+1时加的单位不同。
例:
int a[5] = { 1, 2, 3, 4, 5 };
int* ptr = (int*)(&a + 1);
printf("%d,%d", *(a + 1), *(ptr - 1));
return 0;
程序的结果是什么?为什么?
程序的结果是:2,5
a+1指向下标为1的元素(首地址加一个单元)
&a+1指向整个数组内存单元之后的一个相同大小的内存单元的首地址(如上图)
但是,为什么ptr-1指向的内容为什么不是&a所指向的元素呢?
按上面的逻辑,指针变量ptr=&a+1, 那ptr-1不就是&a吗???
花生,你发现了盲点!
重点在于int* ptr = (int*)(&a + 1);
类型强转后,系统认为指针变量的一个单元大小为sizeof(int),即4个字节,二不再是强转前的5x4=20个字节。
所以,ptr-1指向数组的最后一个元素(ptr所指向单元的首地址减4个字节)
注意:尽管&a的单位是整个数组,但它指向的地址仍第一个元素的首地址,ptr也一样。
(变单元不变首地址)
所以ptr-1并不等价于&a-1,它是用ptr指向单元的首地址,往后移一个sizeof (int),刚好指向数组a中最后一个元素的地址。
总结:
1.在一个数组中,用元素首地址代表数组地址,即数组名的地址是数组元素的首地址,但数组名所代表的单元是整个数组。
2.因此,对指向一个数组的指针增一,代表的是增加一个与该数组大小相同的单位。而增一后的地址是数组最后一个元素的地址加4(整形),即下一单元的首地址。
3.而对数组名,此时可以理解为首地址(第一个元素的地址),对其增一,代表增一个元素大小的单位,即指向下一个元素。