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

shang2010

1. 
   
2. printf("%d \n",id);
   
3. printf("%d \n", id+);
   
4. 
   
5. printf("%0x \n", id);
   
6. printf("%0x \n", id+1);
   

复制代码

ubuntu - 10.04 - 32bit

群雄逐鹿中原

我记得int和unsigned int相比较，转成int再比。
看这个结果，貌似我记错了。{:3_183:}

glq2000

我是32位的机器

        if (last_jobid+1 > (unsigned int)INT_MAX) {
                printf("ok\n");
应该是编译器的原因 我用gcc就没输出ok
用dev c++就输出了。。。


请教下达人，按照ansi c的标准， 对于 if (last_jobid+1 > (unsigned int)INT_MAX) ，是不是左边的last_jobid+1会别转为unsigned,故左边大于右边？？？

OwnWaterloo

回复 14# pmerofc

是不是只有这样写才是有良好定义的？

1. 
   
2. if ( (unsigned)last + 1 > /*(unsigned) 可省略*/ INT_MAX )
   

复制代码

syoubin_sai

附64位GCC环境下的汇编代码，麻烦各位高手帮分析下。

1.         .file   "rtn.c"
   
2.         .section        .rodata
   
3. .LC0:
   
4.         .string "ok"
   
5.         .text
   
6. .globl main
   
7.         .type   main, @function
   
8. main:
   
9. .LFB5:
   
10.         pushq   %rbp
    
11. .LCFI0:
    
12.         movq    %rsp, %rbp
    
13. .LCFI1:
    
14.         subq    $16, %rsp
    
15. .LCFI2:
    
16.         movl    $2147483647, -4(%rbp)
    
17.         cmpl    $-1, -4(%rbp)
    
18.         jge     .L2
    
19.         movl    $.LC0, %edi
    
20.         call    puts
    
21. .L2:
    
22.         movl    $0, %eax
    
23.         leave
    
24.         ret
    
25. .LFE5:
    
26.         .size   main, .-main
    
27.         .section        .eh_frame,"a",@progbits
    
28. .Lframe1:
    
29.         .long   .LECIE1-.LSCIE1
    
30. .LSCIE1:
    
31.         .long   0x0
    
32.         .byte   0x1
    
33.         .string "zR"
    
34.         .uleb128 0x1
    
35.         .sleb128 -8
    
36.         .byte   0x10
    
37.         .uleb128 0x1
    
38.         .byte   0x3
    
39.         .byte   0xc
    
40.         .uleb128 0x7
    
41.         .uleb128 0x8
    
42.         .byte   0x90
    
43.         .uleb128 0x1
    
44.         .align 8
    
45. .LECIE1:
    
46. .LSFDE1:
    
47.         .long   .LEFDE1-.LASFDE1
    
48. .LASFDE1:
    
49.         .long   .LASFDE1-.Lframe1
    
50.         .long   .LFB5
    
51.         .long   .LFE5-.LFB5
    
52.         .uleb128 0x0
    
53.         .byte   0x4
    
54.         .long   .LCFI0-.LFB5
    
55.         .byte   0xe
    
56.         .uleb128 0x10
    
57.         .byte   0x86
    
58.         .uleb128 0x2
    
59.         .byte   0x4
    
60.         .long   .LCFI1-.LCFI0
    
61.         .byte   0xd
    
62.         .uleb128 0x6
    
63.         .align 8
    
64. .LEFDE1:
    
65.         .ident  "GCC: (GNU) 4.1.2 20071124 (Red Hat 4.1.2-42)"
    
66.         .section        .note.GNU-stack,"",@progbits
    

复制代码

syoubin_sai

last_jobid+1
已经是未定义行为了
pmerofc 发表于 2010-06-10 17:48

能详细解释下吗？

starwing83

last_jobid+1
已经是未定义行为了
pmerofc 发表于 2010-06-10 17:48

    翻了一遍n1124，实在是没发现哪儿有写未定义行为，能给点提示么……

没本

GCC 4.5.0 x86_64下，第一个程序可以出OK，你的GCC是多少版本的？

1. 
   
2. $ cat a64.c
   
3. #include <stdio.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. }
    
17. $ gcc -o a64 a64.c
    
18. a64.c: 在函数‘main’中:
    
19. a64.c:8:33: 警告：整数溢出
    
20. $ ./a64
    
21. 7fffffff
    
22. 80000000
    
23. ok
    
24. $
    

复制代码

没本

movl    $2147483647, -4(%rbp)
        cmpl    $-1, -4(%rbp)
        jge     .L2
汇编里面last_jobid+1被直接优化成-1了，GCC 4.5.0生成的代码这里是：
       movl    -4(%rbp), %eax
        addl    $1, %eax
        testl   %eax, %eax
        jns     .L2
做了+1，所以是结果对的。