近段时间在整理自己大学几年来学习C++的点点滴滴,写这篇文章源于看林锐博士的《高质量C++指南》时,看到文章直接把指针和数组名视为同一东西,原文为“数组名本身就是一个指针,是一个指针常量,即a等价于int * const a,因此你不能试图修改数组名的值”,摘自第三版127页第7.2.1小节。
首先看C标准对指针的解释为:指针是一个变量,变量的值是另外一个变量的地址。那么,既然指针是变量,那么指针必然有自己的存储空间,只不过是该存储空间内的值是一个地址值,而不是别的内容。如果按照林博士的观点“数组名就是指针”,想必,数组名也会是一个变量,而且有自己的存储空间?下面上汇编代码反驳之,汇编代码没有骗我们,数组名仅仅是一个符号,不是变量,它没有自己的存储空间,而指针实实在在的是个变量,有自己的空间:
下面是C++代码:
- #include
- using
namespace std; -
-
- int
main() - {
-
int i = 10; -
int *pi = &i; //(1)测试指针pi是否有自己的空间 -
-
-
int a[2]; //(1)的对比实验,测试数组名是否有自己的空间 -
a[0] = 5; -
a[1] = 15; -
-
int *pa = a; //(2)测试对数组名的引用的寻址方法 -
pa = a+1; -
-
-
int j = a[0]; //(3)对比测试对数组名的引用和对指针变量的引用的不同 -
int k = *pa; -
-
-
//++a; //(4)对比测试对指针变量的修改和对数组名的修改的不同 -
++pa; -
-
-
return 0; -
-
- }
这段代码的目的是通过4个对比实验逐一证明指针和数组名不是用一个东西,请看下面的汇编代码便可一目了然,每个对比实验的结果都能说名:数组名不是指针,它就是一个符号。
- 6:
int i = 10; - 00401048
mov dword ptr [ebp-4],0Ah //(1) - 7:
int *pi = &i; - 0040104F
lea eax,[ebp-4] - 00401052
mov dword ptr [ebp-8],eax //(2) - 8:
- 9:
int a[2]; - 10:
a[0] = 5; - 00401055
mov dword ptr [ebp-10h],5 //(3) -
- 11:
a[1] = 15; - 0040105C
mov dword ptr [ebp-0Ch],0Fh - 12:
- 13:
int *pa = a; - 00401063
lea ecx,[ebp-10h] //(4) - 00401066
mov dword ptr [ebp-14h],ecx - 14:
pa = a+1; - 00401069
lea edx,[ebp-0Ch] //(5) - 0040106C
mov dword ptr [ebp-14h],edx - 15:
- 16:
int j = a[0]; - 0040106F
mov eax,dword ptr [ebp-10h] //(6) - 00401072
mov dword ptr [ebp-18h],eax - 17:
int k = *pa; - 00401075
mov ecx,dword ptr [ebp-14h] - 00401078
mov edx,dword ptr [ecx] - 0040107A
mov dword ptr [ebp-1Ch],edx - 18:
- 19:
//++a; - 20:
++pa; - 0040107D
mov eax,dword ptr [ebp-14h] //(7) - 00401080
add eax,4 - 00401083
mov dword ptr [ebp-14h],eax - 21:
- 22:
return 0; - 00401086
xor eax,eax - 23:
- 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:
00401075
00401078
0040107A
对指针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,可自行结合自己的知识进行分析
原帖地址http://blog.csdn.net/yby4769250/article/details/7294718