注册 登录
编程论坛 C语言论坛

i=4,p = (++i) + (i++) + (i++);语句的结果为啥是17?汇编代码分析如何与源代码对应?

ghxjk666 发布于 2023-03-03 22:52, 934 次点击
程序代码:

void f05_1(){
    int p = 0, i = 4;
    p = (++i) + (i++) + (i++);
    printf("p = %d,i = %d\n", p, i);
}

程序代码:

f05_1:
.LFB10:
    .cfi_startproc
    endbr64
    pushq    %rbp
    .cfi_def_cfa_offset 16
    .cfi_offset 6, -16
    movq    %rsp, %rbp
    .cfi_def_cfa_register 6
    subq    $16, %rsp
    movl    $0, -8(%rbp)
    movl    $4, -4(%rbp)
    addl    $1, -4(%rbp)
    movl    -4(%rbp), %eax
    leal    1(%rax), %edx
    movl    %edx, -4(%rbp)
    movl    -4(%rbp), %edx
    leal    (%rax,%rdx), %ecx
    movl    -4(%rbp), %eax
    leal    1(%rax), %edx
    movl    %edx, -4(%rbp)
    addl    %ecx, %eax
    movl    %eax, -8(%rbp)
    movl    -4(%rbp), %edx
    movl    -8(%rbp), %eax
    movl    %eax, %esi
    leaq    .LC0(%rip), %rdi
    movl    $0, %eax
    call    printf@PLT
    nop
    leave
    .cfi_def_cfa 7, 8
    ret
    .cfi_endproc
.LFE10:
    .size    f05_1, .-f05_1
    .globl    f05_2
    .type    f05_2, @function

汇编代码中第十二句的
movl    -4(%rbp), %eax
是对应C语言表达式中的保存第一个(i++)的值吗
7 回复
#2
rjsp2023-03-04 09:33
a. 语句的结果不一定是17,在C/C++中它属于“未定义行为”,17只是无限中可能------包括直接宕机------中的一种。
b. 用汇编来反推标准规定 乃 颠倒因果,毫无意义
#3
forever742023-03-04 11:07
我一般这样表达,例如洗澡。
洗澡的相关规范里面并没有规定您搓的时候是先搓左臂还是先搓右腿,这就叫做搓洗顺序是个未定义行为。
实践中您甚至可以把体表划分为若干面积为1平方厘米的格子(当然是抽象说法),然后给格子用正整数依次编号,接着搓1号,留下2号不搓,依次搓2的2,3,4...整数倍编号的格子,然后留下3号不搓,依次搓3的2,3,4...整数倍编号的格子,以此类推。
所以根据您习惯的搓澡顺序总结提炼一个规范甚至企图推广搓澡顺序规范这种努力是无效努力。
不要做无效努力,亲。
#4
forever742023-03-04 11:15
在追求短平快的今天总有人觉得我弯子绕得过大了,那么浓缩一下,
分析未定义行为的努力是无效努力。
谢谢。
#5
ghxjk6662023-03-05 00:34
回复 2楼 rjsp
大学考试和考研考试会有这种题目,应试遇到了就研究了一下。研究这个没意义的话那就不纠结了。谢谢您的解答
#6
ghxjk6662023-03-05 00:34
回复 3楼 forever74
明白了,谢谢您的解答
#7
八画小子2023-03-05 01:01
以下是引用ghxjk666在2023-3-5 00:34:24的发言:

大学考试和考研考试会有这种题目,应试遇到了就研究了一下。研究这个没意义的话那就不纠结了。谢谢您的解答



嗯,你也说到了,大学考试和考研考试会有这种题目。所以说,学校里面考个高分,不一定就可以说水平很高。
学校里面学到的东西只能说是让你从0到1,但工作中用到的东西却需要你从1积累到1000。你细细体会一下。
#8
pvm20002023-03-05 07:45
研究这个没有意义。
1