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

群雄逐鹿中原

trap不算什么，在没有除法的ARM上，编译器通过一个函数实现除法。

syoubin_sai

太深入啦。。。。
努力向大牛们学习中

guoruimin

学C语言，要能看懂汇编语言会方便的多。

ShadowStar

1. MacBookPro tmp $ cat a.c
   
2. #include <stdio.h>
   
3. #include <stdlib.h>
   
4. #include <assert.h>
   
5. #include <limits.h>
   
6. int main ()
   
7. {
   
8.         int last_jobid = INT_MAX;
   
9. 
   
10.         printf ("%0x\n", INT_MAX);
    
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. }
    
18. MacBookPro tmp $ gcc -v
    
19. Using built-in specs.
    
20. Target: i686-apple-darwin10
    
21. Configured with: /var/tmp/gcc/gcc-5659~1/src/configure --disable-checking --enable-werror --prefix=/usr --mandir=/share/man --enable-languages=c,objc,c++,obj-c++ --program-transform-name=/^[cg][^.-]*$/s/$/-4.2/ --with-slibdir=/usr/lib --build=i686-apple-darwin10 --program-prefix=i686-apple-darwin10- --host=x86_64-apple-darwin10 --target=i686-apple-darwin10 --with-gxx-include-dir=/include/c++/4.2.1
    
22. Thread model: posix
    
23. gcc version 4.2.1 (Apple Inc. build 5659)
    
24. MacBookPro tmp $ gcc a.c
    
25. a.c: In function ‘main’:
    
26. a.c:10: warning: integer overflow in expression
    
27. MacBookPro tmp $ file a.out
    
28. a.out: Mach-O 64-bit executable x86_64
    
29. MacBookPro tmp $ ./a.out
    
30. 7fffffff
    
31. 80000000
    
32. ok
    
33. MacBookPro tmp $ gcc -m32 a.c
    
34. a.c: In function ‘main’:
    
35. a.c:10: warning: integer overflow in expression
    
36. MacBookPro tmp $ file a.out
    
37. a.out: Mach-O executable i386
    
38. liuleideMacBookPro tmp $ ./a.out
    
39. 7fffffff
    
40. 80000000
    
41. ok
    
42. MacBookPro tmp $

复制代码

slackware12

数据溢出后， 使用那个数据去进行运算， 行为是未定义的。

此例中， 1和3 的代码是等价的。
因为(last_jobid+1 > (unsigned int)INT_MAX) 和 ((unsigned int)(last_jobid+1 > (unsigned int)INT_MAX)没区别， 前者是隐式转换， 后者是显式转换。

2是没问题的代码。

guoruimin

根据鸡蛋的形状并不能推断出鸡屁股的构造
pmerofc 发表于 2010-06-12 09:12

只知道搬理论，找标准！装的再牛逼也没用！
明明是很浅显的问题，看一下生成的汇编代码，一目了然！

俺还没在CU上轰过谁！但确实很讨厌这种死搬硬套的书呆子！

说句实在话，不懂汇编根本不可能精通C/C++。

ah13k

还是贴汇编码吧，我这没64机器

没本

学C/C++到一定程度是应该了解一些汇编的。学VB.NET/C#/J#/F#也应该会一些ILDASM。编译器产生的代码不见得总是按程序员想到的来，要明白原理就得看汇编。