C语言谜题系列2

仰望天上的光

第二个谜题：一致程序如下，它会输出什么呢？

1. #include<stdio.h>
   
2. #include<limits.h>
   
3. int main(){
   
4.   short x;
   
5.   for( x = SHRT_MIN; x<SHRT_MAX;++x ){
   
6.     if( x == 0x9000 ) printf("JOY!\n");
   
7.   }
   
8. }

复制代码

说明：SHRT_MIN和SHRT_MAX是两个定义在limits.h中的宏，分别表示short类型的最小值和最大值。

ccqiji

再简单点  0x9000 在32位下 不可能是负的 他就是个正的16进制9000
除非 你指定0x9000是16位  他才会是负的

ccqiji

这题目嫩简单唉  啥都不输出 因为9000H根本不在范围内呗。。。

weixianlang

- -.  感觉像脑筋急转弯!~唬人啊

仰望天上的光

ccqiji 发表于 2011-8-3 10:25

                               
登录/注册后可看大图

这题目嫩简单唉  啥都不输出 因为9000H根本不在范围内呗。。。

确实不输出，但0x9000不在范围内？不会吧？0x9000按补码来说是个负数，在循环中肯定会遇到的。

wangyexin

0x9000如果当做有符号数是个负数，但是这里被认为是个无符号数，所以0x9000大于SHRT_MAX，就不会有什么输出来了
要想输出JOY可以改为这样if( x == (short)0x9000 ) printf("JOY!\n");

仰望天上的光

。。。0x9000是int类型的，int类型不是默认是有符号类型的吗？

ccqiji

仰望天上的光 发表于 2011-8-3 17:54

                               
登录/注册后可看大图

确实不输出，但0x9000不在范围内？不会吧？0x9000按补码来说是个负数，在循环中肯定会遇到的。

你说的如果在32位机器下就错了  我VC6.0反汇编是这样的

因为short非32位
所以给word ptr [ebp-4]  = 8000 就是-32768
提升x到32位

movsx ecx，[ebp - 4]

cmp ecx,9000h;
相当于
FFFF8000h 与00009000h 比较   因为00009000h永远大于 32767 所以永远不会成立的

tC我机子没装 TC应该可以

所以你想表达的 应该这样写就对了

• #include<stdio.h>
• #include<limits.h>
• int main(){
•   short x;
• short y = 0x9000;
•   for( x = SHRT_MIN; x<SHRT_MAX;++x ){
•     if( x == y) printf("JOY!\n");
•   }
• }
  

仰望天上的光

ccqiji 发表于 2011-8-3 19:31

                               
登录/注册后可看大图

再简单点  0x9000 在32位下 不可能是负的 他就是个正的16进制9000
除非 你指定0x9000是16位  他才会是负的

嗯，说得很好。
主要原因就是if( x == 0x9000 )
中short类型的x和int类型的数据比较，所以首先要将short类型的数据提升为int类型。又因为short是带符号的，所以发生了符号位扩展，所以当x的值为0x9000的时候，扩展为int后的x仍然是负数，而int类型的0x9000是正数，所以不会相等。