一个C程序问题, 高手请指点.

tancotq

#include <stdio.h>

int main()
{
        int i = 3, j, k;

        j = i++;
        k = ++i;

        printf("i = %d, j = %d, k = %d\n", i, j, k);
        printf("%d\n", -i++);
        printf("%d, %d, %d\n", i, i++, i++);

}

程序如上.
编译:
[root@localhost 2-5]# gcc -o 2-5 2-5.c

运行:
[root@localhost 2-5]# ./2-5
i = 5, j = 3, k = 5
-5
8, 7, 6
[root@localhost 2-5]#

请问结果 8,7,6 怎么得来的?请解释一下.....

accessory

编译器的问题，在MS VC上，如果是RELEASE版，最后一行打印的是6， 6， 6。如果是DEBUG版，打印的是8,7,6.

下面是GCC编译出来的汇编代码，可以看出在第三个PRINTF时候，I是被改了之后，又传给了RPINTF. 注意看2和3之间。

        .file        "2-5.c"
        .section        .rodata
.LC0:
        .string        "i = %d, j = %d, k = %d\n"
.LC1:
        .string        "%d\n"
.LC2:
        .string        "%d, %d, %d\n"
        .text
.globl main
        .type        main, @function
main:
        leal        4(%esp), %ecx
        andl        $-16, %esp
        pushl        -4(%ecx)
        pushl        %ebp
        movl        %esp, %ebp
        pushl        %ecx
        subl        $36, %esp
        movl        $3, -8(%ebp)
        movl        -8(%ebp), %eax
        movl        %eax, -12(%ebp)
        addl        $1, -8(%ebp)
        addl        $1, -8(%ebp)
        movl        -8(%ebp), %eax
        movl        %eax, -16(%ebp)
        movl        -16(%ebp), %eax
        movl        %eax, 12(%esp)
        movl        -12(%ebp), %eax
        movl        %eax, 8(%esp)
        movl        -8(%ebp), %eax
        movl        %eax, 4(%esp)
        movl        $.LC0, (%esp)
1        call        printf
        movl        -8(%ebp), %eax
        negl        %eax
        addl        $1, -8(%ebp)
        movl        %eax, 4(%esp)
        movl        $.LC1, (%esp)
2        call        printf
        movl        -8(%ebp), %edx  
        addl        $1, -8(%ebp)
        movl        -8(%ebp), %eax
        addl        $1, -8(%ebp)   
        movl        %edx, 12(%esp)
        movl        %eax, 8(%esp)
        movl        -8(%ebp), %eax
        movl        %eax, 4(%esp)
        movl        $.LC2, (%esp)
3        call        printf
        addl        $36, %esp
        popl        %ecx
        popl        %ebp
        leal        -4(%ecx), %esp
        ret
        .size        main, .-main
        .ident        "GCC: (GNU) 4.2.3 (Ubuntu 4.2.3-2ubuntu7)"
        .section        .note.GNU-stack,"",@progbits

[ 本帖最后由 accessory 于 2009-7-2 03:46 编辑 ]

MMMIX

原帖由 accessory 于 2009-7-2 03:37 发表
编译器的问题，

是楼主代码的问题，他的那个代码行为本来就是不确定的/未定义的。

liujunwei1234

你这个很正常啊，打出8,7,6来是对的！这里主要就是说明了一个问题，几乎所有的编译器的对函数参数的压栈顺序都是从右到左的而已，没有什么奇怪的现象！不知道楼主哪里不明白！
而且release和debug的主要区别是：debug是没有经过优化的，release是经过优化的。
这就导致的变量的值是从寄存器中取还是内存中取。没有优化时是从内存中取的，因此就是8,7,6,优化后的值是从寄存器中取的，因此就是
6，6，6.

[ 本帖最后由 liujunwei1234 于 2009-7-2 08:36 编辑 ]

yidou

这种问题很无聊

fxpbupt

c 学的不到家，看看 《c陷阱于缺陷》

fleurly

像这种代码
        j = i++;
        k = ++i;
不同的编译器有些差别的

MMMIX

原帖由 fleurly 于 2009-7-2 12:02 发表
像这种代码
        j = i++;
        k = ++i;
不同的编译器有些差别的

瞎说。真正有问题的是 i = ++i; or i = i++; 这种写法。

liujunwei1234

真不知道你在说什么？明显和人家问的问题没关系，人家现在的这个问题绝对可不是i++或是++i的问题

anders0913

原帖由 liujunwei1234 于 2009-7-2 08:26 发表
你这个很正常啊，打出8,7,6来是对的！这里主要就是说明了一个问题，几乎所有的编译器的对函数参数的压栈顺序都是从右到左的而已，没有什么奇怪的现象！不知道楼主哪里不明白！
而且release和debug的主要区别是 ...

说的好~~