再再论指针

再再论指针篇首语指针是C语言规范里面一项核心内容，指针具有与生俱来的优势，利用指针可以写出许多短小精悍、效率极高的代码，它是C语言一把无可替代的利器，凭着这把利器，C语言与其它高级语言相比至少在效率方面高人一筹。

但是，由于指针的原理与使用方式跟人们通常的思维习惯有较大的差别，造成了指针比C语言其它概念难理解得多，这使得对指针认识不足成为了一种在C程序员中普遍存在的现象，这种不足必然导致程序员在指针的使用过程中不断遭受挫折，挫折多了，指针俨然变成一道无法逾越的难关，恐惧感也就油然而生了。

在恐惧感面前，某些程序员甚至产生了要避免使用指针的念头，这是非常不可取的。

指针是如此犀利，正是它才使得C语言威猛无比，如果就这样把它放弃了，那么C语言就算是白学了。

我们应当让指针成为你手中那把砍掉索伦手指上魔戒的举世无双的纳西尔圣剑，而不是成为你心中永远的魔戒。

本文的目的，是希望通过跟各位朋友一起讨论关于指针的几个关键概念及常见问题，以加深对指针的理解。

因此，本文并不是讲述形如int *p、struct {int i;float j;} *p等这些东西是什么的文章，阅读本文的朋友最好对指针已经具有一定的使用经验，正因如此，笔者才给文章起名叫《再再论指针》。

笔者不敢奢望能够完全解开你心中的魔结，但如果通过阅读本文，能够让你在日后的指针使用过程中减少失误，那笔者就心满意足了。

本文将讨论如下十个主题，读者最好按主题的顺序一个一个地阅读，当然，如果你只对其中某个或某几个主题感兴趣，只看那几个也未尝不可。

当你阅读本文后：如果你有不同的意见，欢迎你在评论里留下自己的见解，笔者很乐意跟你一起讨论，共同进步。

如果你觉得我说的全都是废话，那么恭喜你，你的指针已经毕业了。

如果你有太多不明白的地方，那么我介绍你先找一些关于数组与指针的读物看看，笔者推荐你阅读一本叫《C与指针》的书，看完后再回来继续思考你的问题。

第一章什么是数组名？--一个让你吃惊的事实！数组是指针的基础，多数人就是从数组的学习开始指针的旅程的。

下面我节选一些在各种论坛和文章里经常见到的关于数组的文字：“一维数组是一级指针”“二维数组是二级指针”“数组名可以作为指针使用”“数组名就是..........的常量指针”“数组名就是..........的指针常量” ..................................这些文字看起来非常熟悉吧？类似的文字还有许多，或许你就是经常说这些话的人呢。

不过非常遗憾，这些文字都是错误的，实际上数组名永远都不会是指针！这个结论也许会让你震惊，但它的确是事实。

数组名、指针、地址这几个概念虽然是基础中的基础，但它们恰恰是被混淆和滥用得最多的概念，把数组名说成指针，是一个概念性的错误，实质是混淆了指针与地址两个概念的本质。

俗话说得好：浅水淹死人。

因此，在讨论数组之前，有必要先回过头来澄清一下什么是指针，什么是地址，什么是数组名。

指针是C语言具有低级语言特征的最直接的证据。

在汇编语言里面，指针的概念随处可见。

比如SP，SP寄存器又叫堆栈指针，它的值是地址，由于SP保存的是地址，并且SP的值是不断变化的，因此可以看作一个变量，而且是一个地址变量。

地址也是C语言指针的值，C语言的指针跟SP这样的寄存器虽然不完全一样，但原理却是相通的。

C语言的指针也是一种地址变量，C89明确规定，指针是一个保存对象地址的变量。

这里要注意的是，指针跟地址概念的不同，指针是一种地址变量，通常也叫指针变量，统称指针。

而地址则是地址变量的值。

看到这里，也许你会觉得，这么简单的东西还用你来说吗？的确，对于p与&p来说，99%的人都能在0.1秒内脱口而出谁是指针，谁是地址，但是，又有多少人在使用指针的过程中能够始终如一毫不动摇地遵循这两个概念呢？不少人使用指针的时候就会自觉或不自觉地把指针和地址两个概念混淆得一塌糊涂了，数组名的滥用就是一个活生生的例子。

这一点甚至连一些经典著作也没能避免。

不过也不能全怪你自己，笔者认为某些国内教材应该承担最大的责任。

这些教材一开始就没有给读者好好地分清指针与地址的区别，相反还在讲述的过程中有意无意地混用这两个概念。

更有甚者，甚至在书中明言指针就是地址！说这话的家伙最应该在C语言这个地图上抹掉，呵呵。

两个月前我在购书中心随手翻开了某个作者主编的一本被冠以国家“十五”规划重点研究项目的书，书里就是这么写的。

当时笔者就感慨：不知道又要有多少人的思想被这家伙“强奸”了。

实际上，地址这个东西，本来就是一种基本数据类型，本应该在介绍整数、浮点、字符等基本类型的时候把地址显式地放在一起讨论，这样在后面介绍指针与数组的时候就能避免许多误解。

可惜不少教材或者根本没有谈及，或者就算提起这个类型也用了指针类型这个字眼。

这就错了，指针不是类型，真正的类型是地址，指针只是存储地址这种数据类型的变量！打个比方，对于int i=10；10是整数，而i是存储整数的变量，指针就好比这个i，地址就好比那个10。

指针能够进行加减法，原因并不是因为它是指针，加减法则不是属于指针这种变量的，而是地址这种数据类型的本能，正是因为地址具有加减的能力，所以才使指针作为存放地址的变量能够进行加减运算。

这跟整数变量因为整数能够进行加减乘除因而它也能进行加减乘除一个道理。

那么数组名又应该如何理解呢？用来存放数组的区域是一块在栈中静态分配的内存(非static)，而数组名是这块内存的代表，它被定义为这块内存的首地址。

这就说明了数组名是一个地址，而且，还是一个不可修改的常量，完整地说，就是一个地址常量。

数组名跟枚举常量类似，都属于符号常量。

数组名这个符号，就代表了那块内存的首地址。

注意了！不是数组名这个符号的值是那块内存的首地址，而是数组名这个符号本身就代表了首地址这个地址值，它就是这个地址，这就是数组名属于符号常量的意义所在。

由于数组名是一种符号常量，因此它是一个右值，而指针，作为变量，却是一个左值，一个右值永远都不会是左值，那么，数组名永远都不会是指针！不管什么话，只要说数组名是一个指针的，都是错误的！就象把刚才int i=10例子中的10说成是整数变量一样，在最基本的立足点上就已经完错了。

总之要牢牢记住，数组名是一个地址，一个符号地址常量，不是一个变量，更不是一个作为变量的指针！在数组名并非指针这个问题上，通常会产生两种疑问：1。

作为形参的数组，不是会被转换为指针吗？2。

如果形参是一个指针，数组名可以作为实参传递给那个指针，难道不是说明了数组名是一个指针吗？首先，C语言之所以把作为形参的数组看作指针，并非因为数组名可以转换为指针，而是因为当初ANSI委员会制定标准的时候，从C程序的执行效率出发，不主张参数传递时复制整个数组，而是传递数组的首地址，由被调函数根据这个首地址处理数组中的内容。

那么谁能承担这种“转换”呢？这个主体必须具有地址数据类型，同时应该是一个变量，满足这两个条件的，非指针莫属了。

要注意的是，这种“转换”只是一种逻辑看法上的转换，实际当中并没有发生这个过程，没有任何数组实体被转换为指针实体。

另一方面，大家不要被“转换”这个字眼给蒙蔽了，转换并不意味着相同，实际上，正是因为不相同才会有转换，相同的话还转来干吗？这好比现在社会上有不少人“变性”，一个男人可以“转换”为一个女人，那是不是应该认为男人跟女人是相同的？这不是笑话么。

第二，函数参数传递的过程，本质上是一种赋值过程。

C89对函数调用是这样规定的：函数调用由一个后缀表达式（称为函数标志符,function designator）后跟由圆括号括起来的赋值表达式列表组成，在调用函数之前，函数的每个实际参数将被复制，所有的实际参数严格地按值传递。

因此，形参实际上所期望得到的东西，并不是实参本身，而是实参的值或者实参所代表的值！举个例来说，对于一个函数声明：void fun(int i);我们可以用一个整数变量int n作实参来调用fun，就是fun(n)；当然，也正如大家所熟悉的那样，可以用一个整数常量例如10来做实参，就是fun(10)；那么，按照第二个疑问的看法，由于形参是一个整数变量，而10可以作为实参传递给i，岂不就说明10是一个整数变量吗？这显然是谬误。

实际上，对于形参i 来说，用来声明i的类型说明符int，所起的作用是用来说明需要传递给i一个整数，并非要求实参也是一个整数变量，i真正所期望的，只是一个整数，仅此而已，至于实参是什么，跟i没有任何关系，它才不管呢，只要能正确给i传递一个整数就OK了。

当形参是指针的时候，所发生的事情跟这个是相同的。

指针形参并没有要求实参也是一个指针，它需要的是一个地址，谁能给予它一个地址？显然指针、地址常量和符号地址常量都能满足这个要求，而数组名作为符号地址常量正是指针形参所需要的地址，这个过程就跟把一个整数赋值给一个整数变量一样简单！在后面的章节中，笔者将严格地使用地址这一概念，该是地址时就用地址，该是指针时就用指针，以免象其它教材那样给读者一个错误的暗示。

第二章再一次吃惊--数组的数组与多维数组的区别看见这个题目，也许有些人就会嘀咕了：难道两者不是一样的吗？C语言的多维数组不就是数组的数组吗？不！两者是有区别的，而且还不小呢。

首先看看两者的共同点：1。

内存映象一样。

2。

数组引用方式一样，都是“数组名[下标][下标]........”。

3。

数组名都是数组的首地址，都是一个符号地址常量、一个右值。

由于两者的共同点主要反映在外部表现形式上，因此，从外部看来，数组的数组跟多维数组似乎是一样的，这造成了C程序员对两者的区别长期以来模糊不清。

但实际上，c语言限于本身的语言特性，实现的并非真正的多维数组，而是数组的数组。

数组的数组与多维数组的主要区别，就在于数组的数组各维之间的内在关系是一种鲜明的层级关系。

上一维把下一维看作下一级数组，也就是数组嵌套。

数组引用时需要层层解析，直到最后一维。

举个例，对于数组：int a[7][8][9]；如果要访问元素a[4][5][6]，首先就要计算第一维元素4的地址，也就是a+4，由于是数组的数组，元素4的值代表了一个数组，因此元素4的值就是它所代表的那个数组的首地址，我们用一个符号address1代表它，也就是address1=*(a+4)，接着计算第二维，显然元素5的地址是address1+5，其值也是一个数组的首地址，用address2表示它，就是address2=*(address1+5)，最后一维，由于已经到达了具体的元素，因此这个元素的地址是address2+6，其值*(address2+6)是一个整数，把address1和address2分别代入相应表达式，就成了：*(*(*(a+4)+5)+6);这就是我们熟知的[]运算符的等价表达式。