数组名和指针的区别

近段时间在整理自己大学几年来学习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,可自行结合自己的知识进行分析

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值