数组名和指针的区别

近段时间在整理自己大学几年来学习C++的点点滴滴，写这篇文章源于看林锐博士的《高质量C++指南》时，看到文章直接把指针和数组名视为同一东西，原文为“数组名本身就是一个指针，是一个指针常量，即a等价于int * const a,因此你不能试图修改数组名的值”，摘自第三版127页第7.2.1小节。

    自己初学C++时也被数组和指针搞得昏头转向过，通过多方求证和对比实验已把指针和数组弄得稍明白，但是今天又看到一个人说“数组名就是指针”这样的言论，我就有这个想法把自己对指针和数组名的理解写出来，我不敢说我的理解是正确的，但是，至少没那么彻底的祸害人。

   数组名绝对不等于指针，而且不是指针，这是我的观点

首先看C标准对指针的解释为：指针是一个变量，变量的值是另外一个变量的地址。那么，既然指针是变量，那么指针必然有自己的存储空间，只不过是该存储空间内的值是一个地址值，而不是别的内容。如果按照林博士的观点“数组名就是指针”，想必，数组名也会是一个变量，而且有自己的存储空间？下面上汇编代码反驳之，汇编代码没有骗我们，数组名仅仅是一个符号，不是变量，它没有自己的存储空间，而指针实实在在的是个变量，有自己的空间：

下面是C++代码：

[cpp]  view plain copy

1. #include <iostream>  
2. using namespace std;  
3.   
4.   
5. int main()  
6. {  
7.     int i = 10;  
8.     int *pi = &i; //（1）测试指针pi是否有自己的空间  
9.   
10.   
11.     int a[2];     //（1）的对比实验，测试数组名是否有自己的空间  
12.     a[0] = 5;  
13.     a[1] = 15;  
14.       
15.     int *pa = a;  //（2）测试对数组名的引用的寻址方法  
16.     pa = a+1;  
17.   
18.   
19.     int j = a[0]; //（3）对比测试对数组名的引用和对指针变量的引用的不同  
20.     int k = *pa;  
21.   
22.   
23.     //++a;        //（4）对比测试对指针变量的修改和对数组名的修改的不同  
24.     ++pa;  
25.   
26.   
27.     return 0;  
28.   
29.   
30. }  

这段代码的目的是通过4个对比实验逐一证明指针和数组名不是用一个东西，请看下面的汇编代码便可一目了然，每个对比实验的结果都能说名：数组名不是指针，它就是一个符号。

[plain]  view plain copy

1. 6:        int i = 10;  
2. 00401048   mov         dword ptr [ebp-4],0Ah    //（1）  
3. 7:        int *pi = &i;  
4. 0040104F   lea         eax,[ebp-4]             
5. 00401052   mov         dword ptr [ebp-8],eax    //（2）  
6. 8:  
7. 9:        int a[2];      
8. 10:       a[0] = 5;  
9. 00401055   mov         dword ptr [ebp-10h],5 //(3)  
10.   
11. 11:       a[1] = 15;  
12. 0040105C   mov         dword ptr [ebp-0Ch],0Fh  
13. 12:  
14. 13:       int *pa = a;    
15. 00401063   lea         ecx,[ebp-10h]            //（4）  
16. 00401066   mov         dword ptr [ebp-14h],ecx  
17. 14:       pa = a+1;  
18. 00401069   lea         edx,[ebp-0Ch]           //（5）  
19. 0040106C   mov         dword ptr [ebp-14h],edx  
20. 15:  
21. 16:       int j = a[0];   
22. 0040106F   mov         eax,dword ptr [ebp-10h]  //（6）  
23. 00401072   mov         dword ptr [ebp-18h],eax  
24. 17:       int k = *pa;  
25. 00401075   mov         ecx,dword ptr [ebp-14h]  
26. 00401078   mov         edx,dword ptr [ecx]  
27. 0040107A   mov         dword ptr [ebp-1Ch],edx  
28. 18:  
29. 19:       //++a;          
30. 20:       ++pa;  
31. 0040107D   mov         eax,dword ptr [ebp-14h]  //（7）  
32. 00401080   add         eax,4  
33. 00401083   mov         dword ptr [ebp-14h],eax  
34. 21:  
35. 22:       return 0;  
36. 00401086   xor         eax,eax  
37. 23:  
38. 24:   }  

简单学过汇编的人都基本能看懂上面的代码，下面逐一分析（1）-（7）的汇编代码告诉我们的事实：

（1）、i是个整型变量，可以看出编译器为i分配了空间，地址为ebp-4

（2）、先lea取i的地址，然后存入到ebp-8的空间中，这就是pi的地址，足矣证明pi是个变量，有自己的空间

（3）、重点之处，定义了一个数组，但是，汇编代码告诉我们，编译器只给a[0]和a[1]分配了内存空间，a[0]的地址为：ebp-10,a[1]为：ebp-0C,却没有给,数组名a也分配空间，这里起码可以断定数组名a不是一个变量只是个符号

（4）、从代码lea ecx,[ebp-10h]可以看出，ebp-10是a[0]的地址，对数组名a的引用已经被替换为对数组首元素的地址了

（5）、a+1的汇编代码也是编程了对ebp-0c地址单元的引用，而这个地址是a[1]的地址，更进一步说明了问题

（6）、是为了对比，对数组的引用和对指针的引用不同之处，通过下面三行汇编代码可以看出：

17:       int k = *pa;
00401075   mov         ecx,dword ptr [ebp-14h]
00401078   mov         edx,dword ptr [ecx]
0040107A   mov         dword ptr [ebp-1Ch],edx

对指针pa的引用是一个间接访问，epb-14h是pa的地址，而mov ecx,dword ptr [ebp-14h]是先取得pa的地址，然后[ecx]取该地址中的内容，并mov到ebp-1c中，改内存就是变量k的内存空间首地址，这样就完成了对pa的引用

（7）这个是重点分析的地方，很对多人对于数组名就是指针持赞同观点的一个冠冕堂皇的证据是“数组名不能被修改，因为数组名是一个常量指针”，也就是不能执行 a = a+1;这句话对一般，错一半，对的是，数组名确实不能被修改，错的是，不能被修改的原因不是因为数组名是常量指针，而是因为数组名只是一个符号，不是一个变量，因此不能作为一个左值，因此不能被修改，这里又涉及到左值和右值的问题，就不再赘述，网上资料很多。

通过上述几个对比实验，能够非常清晰的看到，数组名和指针的本质区别：指针是一个变量，有自己对应的存储空间，而数组名仅仅是一个符号，不是变量，因而没有自己对应的存储空间，到此已经可以得出结论，“数组名永远不等于指针”。

我认为，林博士的意思是说，数组名和指针在参与表达式运算时效果是一样的，但是不能简单粗暴的说两者是相等的

上述如有错误之处，恳请指出，我必会虚心听取，认真论证修改，以免更多的人困惑

上述观点有不少不妥之处，讨论在此http://topic.csdn.net/u/20120316/18/f845d4b5-12b2-4467-9946-d31d3c0fd208.html，可自行结合自己的知识进行分析