有趣的++i和i++

　　作为一个天天和代码“约会”的人来说i++和++i这玩意再熟悉不过了，因为使用频率太高了。

虽然如此，但也未必见得我们真的了解她，不妨猜猜下面的输出结果。

 #inlcude <stdio.h>

 int main(void)
 {
     int i = , j = ;

     printf("i[1] = %d i[2] = %d\n", i++ + ++i, ++i + i++);

     printf("j[1] = %d j[2] = %d\n", j++ + j++, ++j + ++j);

     return ;
  } 

　　

　　最后结果是：

　　i[1] = 6 i[2] = 2

　　j[1] = 4 j[2] = 4

　　想要得出正确答案，仅仅知道前+和后+的区别是不够的，这里面有两个坑。

　　第一个是cpu处理前+和后+真正的执行过程。

　　第二个是printf这个“小妾”暗藏一腿。

　　先把简单的第二个坑填了，以一般的思维和习惯会下意识的认为printf先计算前面那个表达式（即代码中的i[1] 和 j[1]），然后计算后面那个表达式的值(即  代码中的i[2]和j[2])，事实却正好相反，要先算后面再算前面。

　　要想填平第一个大坑，我们需要研究编译后的汇编代码。

　　

  @by tid_think
  @arm-linux-gcc -S test.c -o test.s
  @tiny4412
     .cpu arm1176jzf-s
     .eabi_attribute ,
     .fpu vfp
     .eabi_attribute ,
     .eabi_attribute ,
     .eabi_attribute ,
     .eabi_attribute ,
     .eabi_attribute ,
     .eabi_attribute ,
     .eabi_attribute ,
     .eabi_attribute ,
     .file    "test.c"
     .section    .rodata
     .align
 .LC0:
     .ascii    "i[1] = %d i[2] = %d\012\000"
     .align
 .LC1:
     .ascii    "j[1] = %d j[2] = %d\012\000"
     .text
     .align
     .global    main
     .type    main, %function
 main:
     @ args = , pretend = , frame =
     @ frame_needed = , uses_anonymous_args = 

                               @by tid_think
                               @关键代码
     stmfd    sp!, {fp, lr}    @将fp，lr两个寄存器的值压栈
     add    fp, sp, #         @fp = sp +
     sub    sp, sp, #         @sp = sp +
     mov    r3, #             @r3 =
     str    r3, [fp, #-]      @将r3的值（）写入 fp - 的地方 int i = 0
     mov    r3, #             @r3 =
     str    r3, [fp, #-]     @将r3的值（）写入 fp - 的地方 int j = 0
     ldr    r1, .L2            @将.L2的地址加载到r1
     ldr    r3, [fp, #-]      @将fp -8地址上的值(i = ) 给r3
     add    r3, r3, #         @r3 = r3 +    ===>i =
     str    r3, [fp, #-]      @将r3的值（）写入 fp - 的地方 i
     ldr    r2, [fp, #-]      @将fp -8地址上的值(i = ) 给r2
     ldr    r3, [fp, #-]      @将fp -8地址上的值(i = ) 给r3
     add    r2, r2, r3         @r2 = r2 + r  =
     ldr    r3, [fp, #-]      @将fp -8地址上的值(i = ) 给r3
     add    r3, r3, #         @ r3 = r3 +  =
     str    r3, [fp, #-]      @将r3的值（）写入 fp - 的地方 i
     ldr    r3, [fp, #-]      @将fp -8地址上的值(i = ) 给r3
     add    r3, r3, #         @ r3 = r3 +  =
     str    r3, [fp, #-]      @将r3的值（）写入 fp - 的地方 i
     ldr    r0, [fp, #-]      @将fp -8地址上的值(i = ) 给r0
     ldr    r3, [fp, #-]      @将fp -8地址上的值(i = ) 给r3
     add    r3, r0, r3         @ r3 = r0 + r3 =
     ldr    r0, [fp, #-]      @将fp -8地址上的值(i = ) 给r0
     add    r0, r0, #         @r0 = r0 +  =
     str    r0, [fp, #-]      @将r0的值（）写入 fp - 的地方
     mov    r0, r1             @r0 = r1    给printf传参数1
     mov    r1, r2             @r1 = r2 =    给printf传参数2
     mov    r2, r3             @r2 = r3 =    给printf传参数3
     bl    printf              @调用printf打印
     ldr    r1, .L2+4          @开始计算j了............
     ldr    r2, [fp, #-]
     ldr    r3, [fp, #-]
     add    r2, r2, r3
     ldr    r3, [fp, #-]
     add    r3, r3, #
     str    r3, [fp, #-]
     ldr    r3, [fp, #-]
     add    r3, r3, #
     str    r3, [fp, #-]
     ldr    r3, [fp, #-]
     add    r3, r3, #
     str    r3, [fp, #-]
     ldr    r3, [fp, #-]
     add    r3, r3, #
     str    r3, [fp, #-]
     ldr    r0, [fp, #-]
     ldr    r3, [fp, #-]
     add    r3, r0, r3
     mov    r0, r1
     mov    r1, r2
     mov    r2, r3
     bl    printf
     mov    r3, #
     mov    r0, r3
     sub    sp, fp, #
     ldmfd    sp!, {fp, pc}
 .L3:
     .align
 .L2:
     .word    .LC0
     .word    .LC1
     .size    main, .-main
     .ident    "GCC: (ctng-1.8.1-FA) 4.5.1"
     .section    .note.GNU-stack,"",%progbits    

汇编代码解析：

　　首先刨去没用的信息，直接从 31行开始看

　　33~35行都是对栈指针的一些偏移和保存。

　　从以上汇编代码看可以看出简单的两句C编译成汇编就是一大坨，如果用纯汇编写15行左右应该就能搞定 执行效率几乎是C的20倍……………………