return i++ 的正确解释

yangxingmeng 2014-10-16 04:20:22

问题：
reutrn i++; 按照正常的解释第一步是return i; 第二部操作是 i++ 所以问题就出来了
源码
int add()
{
int i = 0;
return i++;
}
汇编后：
add:
pushl %ebp
movl %esp, %ebp
subl $16, %esp
movl $1, -4(%ebp)
movl -4(%ebp), %eax
addl $1, -4(%ebp)
leave
ret
.size add, .-add
问题出在 addl $1,-4(%ebp) 这个位置
即这一句按正常理解是在 ret后面不是在前面如果在前面的话在ret前面 i的值已经为 2，这个和我们见到的不一样。

...全文

772 16 打赏收藏转发到动态举报

写回复

用AI写文章

16 条回复

切换为时间正序

请发表友善的回复…

发表回复

li4c 2014-11-01

打赏
举报

我也是学习了啊

bai12345633 2014-10-31

打赏
举报

赞同版主，虽然在C语言里面我们认为是函数返回之后才++，但是在汇编中，ret之后函数栈就已经释放了，肯定不能再执行函数中的内容了，所以++肯定是在ret之前执行的，不过返回值在eax中，所以返回的值仍是++之前的值，并不矛盾。

yangxingmeng 2014-10-31

打赏
举报

引用 8 楼 buyong 的回复:

addl $1, -4(%ebp) 这里是ebp-4, 而ebp是返回值，并没有变化

你也可以翻译下试试我用的是centos 6.5 gcc 4.4.7

yangxingmeng 2014-10-31

打赏
举报

引用 6 楼 mymtom 的回复:

[quote=引用 4 楼 FENGQIYUNRAN 的回复:] 全局变量: return(i++); <==> return i ; i=i+1; 局部变量: return(i++); <==> return i ; //应该没有i=i+1这个动作发生了

不管是局部变量，还是全局变量，i++一定会把i的值加一的（也许有的编译器会优化？）楼主的汇编代码可以证明下面程序也可以证明


#include <stdio.h>

static int *p = NULL;
static int x = 0;

int add(void)
{
    int i = 0;

    p = &i;
    return i++;
}

int
main(int argc, char *argv[])
{

    int r;

    r = add();
    x = *p;
    printf("r=%d\n", r);
    printf("x=%d\n", x);

    return 0;
}

[/quote] 十分同意你的解释我的问题是程序执行了一句无关的代码并且是做了i++ 这个动作这个动作照我们的理解应该是在ret后发生但是现在在ret前发生了？？？？

fly 100% 2014-10-21

打赏
举报

i++ 还是计算的知识存放到其他地方了

awsqsh 2014-10-21

打赏
举报

实际中就不应该写这样的代码。

Joseph_1118 2014-10-21

打赏
举报

楼上正解返回值放在eax里面的

mymtom 2014-10-17

打赏
举报

引用 8 楼 buyong 的回复:

addl $1, -4(%ebp) 这里是ebp-4, 而ebp是返回值，并没有变化

这不科学吧？返回值是放在 %eax 中的。楼主的汇编代码有问题，第五行是$0, 不应该是$1


add:
        pushl   %ebp
        movl    %esp, %ebp
        subl    $16, %esp
        movl    $0, -4(%ebp)
        movl    -4(%ebp), %eax    /*  -4(%ebp) 就是 i 的地址，这里把 i 的值装入 %eax, 作为函数返回值 */
        addl    $1, -4(%ebp)         /* i 的值加 1 */
        leave
        ret
        .size   add, .-add

buyong 2014-10-17

打赏
举报

addl $1, -4(%ebp) 这里是ebp-4, 而ebp是返回值，并没有变化

Cody2k3 2014-10-17

打赏
举报

楼主挺能动脑筋，值得褒扬，不过对于这个语句的解释是不正确的 return i++ 并不是理解成 return i; i++ 相反，是中间值 = i++; return 中间值当return statement带有一个非空的expression的时候， expression先被evaluate，然后convert成return所期待的type

mymtom 2014-10-17

打赏
举报

引用 4 楼 FENGQIYUNRAN 的回复:

全局变量: return(i++); <==> return i ; i=i+1; 局部变量: return(i++); <==> return i ; //应该没有i=i+1这个动作发生了

不管是局部变量，还是全局变量，i++一定会把i的值加一的（也许有的编译器会优化？）楼主的汇编代码可以证明下面程序也可以证明


#include <stdio.h>

static int *p = NULL;
static int x = 0;

int add(void)
{
    int i = 0;

    p = &i;
    return i++;
}

int
main(int argc, char *argv[])
{

    int r;

    r = add();
    x = *p;
    printf("r=%d\n", r);
    printf("x=%d\n", x);

    return 0;
}