C语言的数组名和对数组名取地址

相信不少的C语言初学者都知道，数组名相当于指针，指向数组的首地址，而函数名相当于函数指针，指向函数的入口地址。现在又这样一个问题，如果对数组名取地址，那得到的会是什么呢？很多人立刻会想到：给指针取地址，就是指针的指针，既二级指针嘛！当然这样的结论是错误的，不然这篇笔记也就没有意义了。

下面我们来逐步分析，下面是一段验证这个问题的代码

Code:

1. #include<stdio.h>   
2. int main()   
3. {   
4.     int a[10];   
5.   
6.     printf("a:/t%p/n", a);            
7.     printf("&a:/t%p/n", &a);          
8.     printf("a+1:/t%p/n", a+1);        
9.     printf("&a+1:/t%p/n", &a+1);     
10.   
11.     return 0;   
12. }  

 

大家可以编译运行一下，我的输出的结果是：

Code:

1. /*   
2. a:          0012FF20  
3. &a:         0012FF20  
4. a+1:        0012FF24  
5. &a+1:       0012FF48  
6. */  

a和&a指向的是同一块地址，但他们+1后的效果不同，a+1是一个元素的内存大小（增加4），而&a+1增加的是整个数组的内存大小（增加40）。既a和&a的指向和&a[0]是相同的，但性质不同！

读到这里，有很多朋友已经明白其中的机制了，如果还是有些模糊，请继续往下看

Code:

1. int main()   
2. {   
3.     int a[10];   
4.     printf("%d/n",sizeof(a));   
5.     return 0;   
6. }  

这段代码会输出整个数组的内存大小，而不是首元素的大小，由此我们是否联系到，sizeof（a）这里的a和
&a有些相同之处呢？！  是的，没错，&a取都得是整个数组的地址！既数组名取地址等价于对数组取地址。

好了，让我们总结一下，如果你还是不太理解，不用担心，下面的概念很清晰

其实a和 &a结果都是数组的首地址，但他们的类型是不一样。
a表示&a[0],也即对数组首元素取地址，a+1表示首地址+sizeof(元素类型)。
&a虽然值为数组首元素地址，但类型为：类型 (*)[数组元素个数],所以&a+1大小为：首地址+sizeof(a)。

还有这篇文章最初提到的指针的指针的那个错误结论，其实即使不懂上述内容，也应该判断出结论是错误的，大家应该在了解数组名即是数组的首地址的同时，也要知道，数组名仅仅是“相当”于指针，而并非真的是指针，数组名是只是个常量（一个值为数组首元素地址的常量），所以不能进行++或者--运算。而常量更是无法取地址的，而之所以有&a，其实这里的a的意义早已经不是当初那个数组名了，它此时代表了整个数组。