1.一个实例+理论分析

 

在了解数组和指针的访问方式前提下，下面再看这个例子：

打印出来的值为多少呢? 这里主要是考查关于指针加减操作的理解。

　　对指针进行加1操作，得到的是下一个元素的地址，而不是原有地址值直接加1。所 以，一个类型为T的指针的移动，以sizeof(T) 为移动单位。

　　因此，对上题来说，a是一个一维数组，数组中有5个元素，所以a的类型是数组指针；ptr是一个int 型的指针，ptr的类型是整型指针。　

　　显然当前指针已经越过了数组的界限。

 (int *)(&a+1): 则是把上一步计算出来的地址，强制转换为int * 类型，赋值给ptr。

　　

　　*(a+1): a,&a的值是一样的，但意思不一样，a是数组首元素的首地址，也就是a[0]的首地址，&a是数组的首地址，a+1是数组下一元素的首地址，即a[1]的首地址,&a+1是下一个数组的首地址。

　　所以输出2*(ptr-1):因为ptr是指向a[5]，并且ptr是int * 类型，所以*(ptr-1)是指向a[4]，输出5。

 

2.Visual C++6.0上的真实调试结果

这些分析我相信大家都能理解，但是在授课时，学生向我（陈正冲老师）提出了如下问题：

在Visual C++6.0的Watch窗口中&a+1的值怎么会是（x0012ff6d（0x0012ff6c+1）呢？

 

上图是在Visual C++6.0调试本函数时的截图。

问题就是&a+1的值怎么会是（x0012ff6d（0x0012ff6c+1）呢？

按照我们上面的分析应该为0x0012ff6c+5*sizeof（int）。其实很好理解。当你把&a+1放到Watch窗口中观察其值时，表达式&a+1已经脱离其上下文环境，编译器就很简单的把它解析为&a的值然后加上1byte。而a+1的解析就正确，我(陈正冲老师)认为这是Visual C++6.0的一个bug。既然如此，我们怎么证明证明&a+1的值确实为0x0012ff6c+5*sizeof（int）呢？

　　很好办，用printf函数打印出来。这就是我在本书前言里所说的，有的时候我们确实需要printf函数才能解决问题。你可以试试用printf("%x",&a+1);打印其值，看是否为0x0012ff6c+5*sizeof（int）。注意如果你用的是printf("%d",&a+1);打印，那你必须在十进制和十六进制之间换算一下，不要冤枉了编译器。

　　另外我(陈正冲老师)要强调一点：不到非不得已，尽量别使用printf函数，它会使你养成只看结果不问为什么的习惯。比如这个列子，*(a+1)和*(ptr-1)的值完全可以通过Watch窗口来查看。平时初学者很喜欢用“printf("%d,%d",*(a+1),*(ptr-1));”这类的表达式来直接打印出值，如果发现值是正确的就欢天喜地。这个时候往往认为自己的代码没有问题，根本就不去查看其变量的值，更别说是内存和寄存器的值了。(嗯，这个坏习惯，我是有的。)

 

 

3. 最好不要利用printf函数进行调试

 

陈正冲老师的经验与教诲：

 

　　更有甚者，printf函数打印出来的值不正确，就措手无策，举手问“老师，我这里为什么不对啊？”。长此以往就养成了很不好的习惯，只看结果，不重调试。这就是为什么同样的几年经验，有的人水平很高，而有的人水平却很低。其根本原因就在于此，往往被一些表面现象所迷惑。printf函数打印出来的值是对的就能说明你的代码一定没问题吗？我看未必。曾经一个学生，我让其实现直接插入排序算法。很快他把函数写完了，把值用printf函数打印出来给我看。我看其代码却发现他使用的算法本质上其实是冒泡排序，只是写得像直接插入排序罢了。等等这种情况数都数不过来，往往犯了错误还以为自己是对的。所以我平时上课之前往往会强调，不到非不得已，不允许使用printf函数，而要自己去查看变量和内存的值。学生的这种不好的习惯也与目前市面上的教材、参考书有关，这些书甚至花大篇幅来介绍scanf和printf这类的函数，却几乎不讲解调试技术。甚至有的书还在讲TruboC 2.0之类的调试器！如此教材教出来的学生质量可想而知。

 本文转自二郎三郎博客园博客，原文链接：http://www.cnblogs.com/haore147/p/3647231.html，如需转载请自行联系原作者