变态的C表达式
前阵子与X-man逛书店,一边斜眼看着MM,一边盯着可以找到什么好书。突然,X-man以迅雷不及掩耳盗铃之势出招了:“俺们上学时,有
道
C语言题, 没有学生可以答对,我说你听听?!”。C语言,也算俺看家本领了,面对挑战不能畏惧,只有奋勇直前,“什么玩意儿,这么强?!”。只见X-man不慌不忙,慢慢悠悠地说道:“i初值等于1,加加i加上加加i等于i,最后i等于多少?”,嗯,俺暗付改绕口令了不成?我想了想,道“2+3,等于5呗”,遂见X-man脸上露出小人得意的笑容,“正确答案是6!”,Faint,中招了。
而后没也没太意这个问题,因为谁要是在产品代码写这种表达式,准得挨50屁板儿,然后逐出本派师门。这天晚上在家里、又突然想起这件事,心想权当智力测验了。
下面,是我层层剥茧之后,总结出来的“代码介绍语言”,估计已经可以解释为什么上面的代码等于6了。诚然,文字说明更直观。不过,俺懒呀,大热的天实在不想敲太多文字了。
越是熟悉的角落,越是隐藏着不易发现的秘密。
OK,最后,还是写一些提示吧:
1、局部变量i,是保存在栈上的,没有拷贝!
2、不要试图编译成汇编代码分析,它们对你理解代码没有什么帮助,这招儿我试过了,后来想想也是不应该有用~
3、后缀++,和前缀++的求值时间是理解以下程序的另一个关键点。
4、程序中的注释,也是一些提示。嗯?你觉得它们更像谜语?猜吧。
5、开动你的脑筋,只有自己想出来的答案,记忆才是最深刻的。
#endif
#include <stdio.h>
int
main()
{
int i;
i = (i=2)+(i=10); /* 10 + 10 */
printf("%d/n", i);//20
i = 1;
i = (++i)+(i=10); /* 10 + 10 */
printf("%d/n", i);//20
i = 1;
i = (i++)+(i=10); /* 10 + 10 + 1 */
printf("%d/n", i);//21
i = 1;
i += ++i; /* 2 += 2 */
printf("%d/n", i);//4
i = 1;
i += i++; /* 1 += 1 + 1 */
printf("%d/n", i);//3
i = 1;
i = (++i)+(++i); /* 3 + 3 */
printf("%d /n", i);//6
i = 1;
i = (++i)+(i++); /* 2 + 2 + 1 */
printf("%d/n", i);//5
i = 1;
i = (i++)+(++i); /* 2 + 2 + 1 */
printf("%d/n", i);//5
i = 1;
i = (i++)+(i++); /* 1 + 1 + 1 + 1 */
printf("%d/n", i);//4
i = 1;
i = (++i)+(i++, i); /* 3 + 3 (汗,这个没看懂)*/
printf("%d/n", i);//6
}
下面关于自增运算符处理的细节问题,问题如下:
int i = 0;
i = (i++) + (++i);
i = ?
那天小帆同学在群里问起,我图方便,顺手写了个脚本如下:
<html>
<script>
var i = 0;
i = (i++)+(++i);
alert(i);
</script>
</html>
执行该脚本计算得i=2;不想小帆却告诉我i=3!?并给出VC的执行过程:
9: int i=0;
0040B488 mov dword ptr [ebp-4],0
10: i=(i++)+(++i);
0040B48F mov eax,dword ptr [ebp-4] (++i开始)
0040B492 add eax,1 (++i)
0040B495 mov dword ptr [ebp-4],eax (++i结束)
0040B498 mov ecx,dword ptr [ebp-4]
0040B49B add ecx,dword ptr [ebp-4] (i+i,i已执行++i操作,这里是1+1)
0040B49E mov dword ptr [ebp-4],ecx (i=2的赋值操作)
0040B4A1 mov edx,dword ptr [ebp-4] (i++开始)
0040B4A4 add edx,1 (i++)
0040B4A7 mov dword ptr [ebp-4],edx (i++结束)
如果您能看懂以上代码就知道为什么i=3而不等于2了,i的值在最后进行处理,改变了最后的结果。
如果改成如下过程:
int i = 0;
j = (i++) + (++i);
j = ?
汇编码如下:
17: j=(i++)+(++i);
0040B7D9 mov ecx,dword ptr [ebp-4]
0040B7DC add ecx,1
0040B7DF mov dword ptr [ebp-4],ecx
0040B7E2 mov edx,dword ptr [ebp-4]
0040B7E5 add edx,dword ptr [ebp-4]
0040B7E8 mov dword ptr [ebp-8],edx (j=2赋值,注意,结果被放在了高8位)
0040B7EB mov eax,dword ptr [ebp-4] (i++仍然放在最后执行)
0040B7EE add eax,1
0040B7F1 mov dword ptr [ebp-4],eax
很显然,j=2!
通过对比我们应该知道:在表达式的执行过程中,i++操作是放在最后执行的,甚至在"="赋值操作之后。
真相大白,hoho,搞清楚了个问题,值得高兴。
如果再不信,去试试:
i = (i++) + (i++),i是不是等于2? (0+0,接着i两次自加)
j = (i++) + (i++),j是不是等于0? (i没自加前把值赋给了j)
就知道了:)
至于在javascript里执行结果为什么是3?仿佛我对js没什么兴趣,有兴趣的同学去研究吧。
-------------------------------------------------------------------------
Linux版本:
源代码:
#include <stdio.h>
int main()
{
int i = 1, j = 1, k;
i = (i++) + (++i);
printf("i=%d /n", i);
k = (j++) + (++j);
printf("j=%d, k=%d/n", j, k);
}
执行结果:
i=5
j=3, k=4
关键的汇编码片段:
movl $0x1,0xfffffff0(%ebp)
movl $0x1,0xfffffff4(%ebp)
addl $0x1,0xfffffff0(%ebp)
mov 0xfffffff0(%ebp),%eax
add %eax,0xfffffff0(%ebp)
addl $0x1,0xfffffff0(%ebp)
mov 0xfffffff0(%ebp),%eax
mov %eax,0x4(%esp)
movl $0x8048500,(%esp)
call 80482f8 <printf@plt>
addl $0x1,0xfffffff4(%ebp)
mov 0xfffffff4(%ebp),%eax
add 0xfffffff4(%ebp),%eax
mov %eax,0xfffffff8(%ebp)
addl $0x1,0xfffffff4(%ebp)
mov 0xfffffff8(%ebp),%eax
mov %eax,0x8(%esp)
mov 0xfffffff4(%ebp),%eax
mov %eax,0x4(%esp)
movl $0x8048507,(%esp)
call 80482f8 <printf@plt>
明白了以后这就不难解释为什么i=1,执行(++i)+(++i)之后为什么i=6了。