-
-
[讨论]有趣的C程序，欢迎踊跃讨论
-
发表于: 2009-12-6 13:28
-
首先，VC下的，一个很简单的程序
大家猜才结果是什么呢？
答案是F。
欢迎提出自己的观点认为出现这个问题的原因在哪，下面是冬祭的解释，个人认为不太合适，所以搬来看雪 一起讨论。
http://bbs.pediy.com/showthread.php?t=95528 的观点：
[QUOTE=冬祭;669661]
如果你认为是T，呵呵，最好自己调试一下，找到原因，不太难的，找不到的话再往下看~~
（如果你认为本来就是F，理由是short int 的范围是-32768到32767，这里0x8000是32768，溢出了，不相等，那么，不好意思，你的理解有偏差。不信你把short int换成int，再把0x8000扩展到0x80000000，同样的问题在int型的时候输出T，怎么解释？~）
这里，a是short int型，占两个字节。当我们把0x8000赋给a后，a中的值为
1000 0000 0000 0000（二进制）
在执行if条件时，程序要把a的值和立即数0x8000进行比较。
但是a的值保存在内存当中，于是程序会将a的值从内存里取到寄存器中（通常是eax）
mov eax, a的地址 ; 这个是假想生成的代码
但是a的值只有2字节，eax有4字节。这里编译器在取的时候做了一个符号扩展：
movsx eax, a的地址 ; 这个是实际生成的代码
这样，编译器其实是拿eax里，也就是a的值符号扩展后，也就是0xffff8000和0x8000进行比较，判定为不相等。
现在，如果把short int 换成int，0x8000换成0x80000000就不会出现判断失误的问题了。因为int和eax是等长的，没有进行符号扩展。[/QUOTE]
个人观点：
因为如果把 if (a == 0x8000) 这句话修改为 if (a == (short int)0x8000) 那么输入结果就变为了T，所以问题的所在是编译器对这个立即数 0x800的解释是什么样的，在本程序中，通过反汇编发现
没有（short int）
11: if (a == 0x8000)
0040102E movsx eax,word ptr [ebp-4]
00401032 cmp eax,8000h
00401037 jne main+38h (00401048)
加上了 （short int）
11: if (a == (short int)0x8000)
0040102E movsx eax,word ptr [ebp-4]
00401032 cmp eax,0FFFF8000h
00401037 jne main+38h (00401048)
不加(short int) 对立即数0x8000的解释是0x00008000 ，而加上 (short int)之后就会解释成 0xFFFF8000(应该是一个符合扩展，将0x8000扩展成 0xFFFF8000)，所以本题的应该注意的另一个问题是对立即数解析方式。
提一个问题，在设计编译器的时候，像本例子中 short int a需要符号扩展成4字节然后再比较，为什么不把立即数也扩展成相同字字节数（4字节）来比较呢？ 我认为出现这个问题的关键在微软没有将编译器设计好
哈哈
编译器改成这样：
movsx eax,word ptr [ebp-4]
mov bx,0x8000h
movsx ecx,bx
cmp eax,ecx
jne main+38h (00401048)
# include <stdio.h>
int main ()
{
short int a ;
a = 0x8000 ;
if (a == 0x8000)
printf ("T\n") ;
else
printf ("F\n") ;
return 0 ;
}
大家猜才结果是什么呢？
答案是F。
欢迎提出自己的观点认为出现这个问题的原因在哪，下面是冬祭的解释，个人认为不太合适，所以搬来看雪 一起讨论。
http://bbs.pediy.com/showthread.php?t=95528 的观点：
[QUOTE=冬祭;669661]
如果你认为是T，呵呵，最好自己调试一下，找到原因，不太难的，找不到的话再往下看~~
（如果你认为本来就是F，理由是short int 的范围是-32768到32767，这里0x8000是32768，溢出了，不相等，那么，不好意思，你的理解有偏差。不信你把short int换成int，再把0x8000扩展到0x80000000，同样的问题在int型的时候输出T，怎么解释？~）
这里，a是short int型，占两个字节。当我们把0x8000赋给a后，a中的值为
1000 0000 0000 0000（二进制）
在执行if条件时，程序要把a的值和立即数0x8000进行比较。
但是a的值保存在内存当中，于是程序会将a的值从内存里取到寄存器中（通常是eax）
mov eax, a的地址 ; 这个是假想生成的代码
但是a的值只有2字节，eax有4字节。这里编译器在取的时候做了一个符号扩展：
movsx eax, a的地址 ; 这个是实际生成的代码
这样，编译器其实是拿eax里，也就是a的值符号扩展后，也就是0xffff8000和0x8000进行比较，判定为不相等。
现在，如果把short int 换成int，0x8000换成0x80000000就不会出现判断失误的问题了。因为int和eax是等长的，没有进行符号扩展。[/QUOTE]
个人观点：
因为如果把 if (a == 0x8000) 这句话修改为 if (a == (short int)0x8000) 那么输入结果就变为了T，所以问题的所在是编译器对这个立即数 0x800的解释是什么样的，在本程序中，通过反汇编发现
没有（short int）
11: if (a == 0x8000)
0040102E movsx eax,word ptr [ebp-4]
00401032 cmp eax,8000h
00401037 jne main+38h (00401048)
加上了 （short int）
11: if (a == (short int)0x8000)
0040102E movsx eax,word ptr [ebp-4]
00401032 cmp eax,0FFFF8000h
00401037 jne main+38h (00401048)
不加(short int) 对立即数0x8000的解释是0x00008000 ，而加上 (short int)之后就会解释成 0xFFFF8000(应该是一个符合扩展，将0x8000扩展成 0xFFFF8000)，所以本题的应该注意的另一个问题是对立即数解析方式。
提一个问题，在设计编译器的时候，像本例子中 short int a需要符号扩展成4字节然后再比较，为什么不把立即数也扩展成相同字字节数（4字节）来比较呢？ 我认为出现这个问题的关键在微软没有将编译器设计好
哈哈编译器改成这样：
movsx eax,word ptr [ebp-4]
mov bx,0x8000h
movsx ecx,bx
cmp eax,ecx
jne main+38h (00401048)
[注意]传递专业知识、拓宽行业人脉——看雪讲师团队等你加入！
|
|
|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
唉，汇编没学合格，闹出笑话了
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
bug
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
囧~~~不是啦，我看的这个帖子真不是在看雪看到的，是在一个讨论MFC的论坛看的，他们转贴也没说原帖在哪 在看雪看到会说啦。。。 哈哈
感谢冬祭，知道了一个整形提升的概念，还有一个，比较小的立即数（int的范围内）汇编里会当成int型来处理，不管这个立即数多小， 人家微软没错，哈哈~~ |
|
|
|
|
|
|
|
|
|
|
|
|
