请教C语言牛人----关于int与unsigned int的奇怪问题

syoubin_sai

在64位系统下运行。

有如下代码：

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <assert.h>
   
4. #include <limits.h>
   
5. int main ()
   
6. {
   
7.         int last_jobid = INT_MAX;
   
8. 
   
9.         printf ("%0x\n", INT_MAX);
   
10.         printf ("%0x\n", INT_MAX+1);
    
11. 
    
12.         if (last_jobid+1 > (unsigned int)INT_MAX) {
    
13.                 printf("ok\n");
    
14.         }
    
15.         return 0;
    
16. }
    

复制代码

结果为：

1. 7fffffff
   
2. 80000000
   

复制代码

上面代码中if 语句判断前last_jobid+1 不是要隐式转换成unsigned int吧？
为什么不输出ok呢？

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <assert.h>
   
4. #include <limits.h>
   
5. int main ()
   
6. {
   
7.         unsigned int last_jobid = INT_MAX;
   
8. 
   
9.         printf ("%0x\n", INT_MAX);
   
10.         printf ("%0x\n", INT_MAX+1);
    
11. 
    
12.         if (last_jobid+1 > (unsigned int)INT_MAX) {
    
13.                 printf("ok\n");
    
14.         }
    
15.         return 0;
    
16. }
    
17. 这个是正确的
    

复制代码

结果为：

1. 7fffffff
   
2. 80000000
   
3. ok
   

复制代码

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <assert.h>
   
4. #include <limits.h>
   
5. int main ()
   
6. {
   
7.         int last_jobid = INT_MAX;
   
8. 
   
9.         printf ("%0x\n", INT_MAX);
   
10.         printf ("%0x\n", INT_MAX+1);
    
11. 
    
12.         if ((unsigned int)(last_jobid+1) > (unsigned int)INT_MAX) {
    
13.                 printf("ok\n");
    
14.         }
    
15.         return 0;
    
16. }
    
17. 
    
18. 这里我自己强制转换了下怎么不对呢？
    
19. 应该输出ok吧？
    

复制代码

结果为：

7fffffff
80000000

OwnWaterloo

最后一个没有输出ok？

syoubin_sai

回复 2# OwnWaterloo


    没呢{:3_185:}

churchmice

为啥我有？

kernel@fairland:~/tmp$ cc b.c -o b -Wall
b.c: In function ‘main’:
b.c:11: warning: integer overflow in expression
kernel@fairland:~/tmp$ ./b
7fffffff
80000000
ok

32位机器是有的，64位的确实没有

syoubin_sai

为啥我有？
churchmice 发表于 2010-06-10 16:56

  怪了 那第一个有吗？

hellioncu

我在64位Linux也是没有输出ok，改成
if ((unsigned int)last_jobid+1 > (unsigned int)INT_MAX)
就有输出ok了。

看来要看看生成的汇编代码了

churchmice

回复 5# syoubin_sai


    32位机器两个都有，64位机器两个都没有

syoubin_sai

1. #include <stdio.h>
   
2. #include <stdlib.h>
   
3. #include <assert.h>
   
4. #include <limits.h>
   
5. int main ()
   
6. {
   
7.         int last_jobid = 4294967294;
   
8. 
   
9.         printf ("%0x\n", INT_MAX);
   
10.         printf ("%0x\n", last_jobid);
    
11.         printf ("%0x\n", INT_MAX+1);
    
12. 
    
13.         if (last_jobid+1 > (unsigned int)INT_MAX) {
    
14.                 printf("ok\n");
    
15.         }
    
16.         return 0;
    
17. }
    

复制代码

7fffffff
fffffffe
80000000
ok

这个是OK的{:3_203:}

hellioncu

回复  syoubin_sai


    32位机器两个都有，64位机器两个都没有
churchmice 发表于 2010-06-10 17:03

    我用HP 的 aCC试了，64位也输出ok

   AIX 的 xlc也试了，64位也输出ok

syoubin_sai

{:3_199:} 依然很迷惑

我用HP 的 aCC试了，64位也输出ok

   AIX 的 xlc也试了，64位也输出ok
hellioncu 发表于 2010-06-10 17:09