<1> 运行结果为:
2 2
2 2
你可能用的是VC6的编译器,同时使用的是Debug方式编译。这是VC6的一个bug(我不知道其它版本有没有这个bug,VC6的Release方式虽然结果正确,但属于巧合,因为编译器对编译代码进行了优化,这个也可以通过进一步的测试来证明)。"正确结果"应该是书上的答案,你也可以通过其它编译器来测试,比如GCC和LCC。
.
下面是我使用VC6+Debug方式,并打开汇编界面逐步跟踪后某次运行的雷人结果:
3 1245121
4 1245122
.
<2> "为什么第一个printf的*(q++)也等于2呢?"
这是因为*(q++)是先取q所指的对象的值(这里也就是2了),然后将q增1。这个和直觉有点相背,但的确就是这样。而*q++则完全等同于*(q++),因为自增运算符++和解引用运算符*的结合性都是自右至左的,所以,*q++也就是等同于*(q++)。也因此,第一个printf输出"2 2"。
.
<3> "第二个*p等于3呢"
这是因为先计算的是最后面的(*q)++。也就是先取q指向的变量(a)的值(2),然后该值增加1并放回q指向的变量(a)。这样a就的值就变为了3。但给函数入栈的还是最初的2。
然后计算*p,因为p指向的变量a的值已经被改为了3,所以,这里也就输出的是3了。
.
但是:第二个printf的输出结果其实是未定义的。这是因为C语言中,计算函数参数的顺序ANSI并未对其作出规定,也就是说,可以先计算(*q)++,然后计算*p;也可以先计算*p,然后计算(*q)++(这种情况下第二个printf将输出"2 2",但这与VC6的bug又不同。)。关于这一点,《C陷阱与缺陷》中文版的3.7节有讲,况且也已经有人在SPARC的机器上使用GCC的编译器证实过其使用从左到右的参数计算顺序。也因此,我在<1>中给"正确结果"加上了双引号,这道题目反映了出题人自身对C语言的理解有限。
[
本帖最后由 prankmoon 于 2009-9-7 01:44 编辑 ]