(i++)+(i++)与(++i)+(++i)

与在前面:++(--)有太多让人困惑的地方,(i++)+(i++)与(++i)+(++i)有什么不同?为什么不同?如果从机器的角度去理解，就会豁然开朗。

先来看段程序:

int main()

{

int i=3;

int j=(i++)+(i++);

// int j=(++i)+(++i);

printf("%d,%d\n",i,j);

}

(1)在VC 6.0下：

对于(i++)+(i++):

结果：i=5,j=6

相应的汇编代码为(有详细注释)：

8B 45 FC mov eax,dword ptr [ebp-4]
;i->eax

03 45 FC add eax,dword ptr [ebp-4] ;i+i=6

89 45 F8 mov dword ptr [ebp-8],eax ;6->j

8B 4D FC mov ecx,dword ptr [ebp-4] ;i->ecx(=3)

83 C1 01 add ecx,1
;ecx=4

89 4D FC mov dword ptr [ebp-4],ecx ;4->i

8B 55 FC mov edx,dword ptr [ebp-4] ;i->edx

83 C2 01 add edx,1
;edx=5

89 55 FC mov dword ptr [ebp-4],edx ;5->i

对于(++i)+(++i)：

结果：i=5,j=10

相应的汇编代码为：

8B 45 FC mov eax,dword ptr [ebp-4] ;i->eax (=3)

83 C0 01 add eax,1
;eax=4

89 45 FC mov dword ptr [ebp-4],eax ;4->i

8B 4D FC mov ecx,dword ptr [ebp-4] ;i->ecx

83 C1 01 add ecx,1
;ecx=5

89 4D FC mov dword ptr [ebp-4],ecx ;5->i

8B 55 FC mov edx,dword ptr [ebp-4] ;i->edx

03 55 FC add edx,dword ptr [ebp-4] ;edx=10 ,即i+i

89 55 F8 mov dword ptr [ebp-8],edx ;10->j

(2)在gcc 3.2.2下:

对于(i++)+(i++):

结果：i=5,j=6相应的汇编代码为：

c7 45 fc 03 00 00 00 movl $3, -4(%ebp） ;3->i

8b 55 fc movl -4(%ebp), %edx ;i->edx (=3)

8b 45 fc movl -4(%ebp), %eax ;i->eax (=3)

8d 04 10 leal (%eax,%edx), %eax ;i+i=6 ->eax

89 45 f8 movl %eax, -8(%ebp) ;6->j

8d 45 fc leal -4(%ebp), %eax ;&i->eax

ff 00 incl (%eax) ;i++ ,即i=4,注意这里为寄存器间接寻址

8d 45 fc leal -4(%ebp), %eax ;&i->eax

ff 00 incl (%eax) ;i++,即i=5

对于(++i)+(++i)：

结果：i=5,j=10

相应的汇编代码为：

movl $3, -4(%ebp) ;3->i

leal -4(%ebp), %eax ;&i->eax

incl (%eax) ;i++,即i=4

leal -4(%ebp), %eax ;&i->eax

incl (%eax) ;i++, i=5

movl -4(%ebp), %eax ;i->eax, eax=5

addl -4(%ebp), %eax ;i+i ->eax ,eax=10

movl %eax, -8(%ebp) ;10->j

可见，对于VC6.0和gcc，二者的结果一致，但是gcc 3.2.2生成的汇编代码明显比VC6.0高效、简洁。这也许是因为VC 6.0出现较早的原因吧。

(3)如果这段代码用java实现，结果会怎样呢？

程序:

public class TestAdd {

public static void main(String[] args) {

int i=3;

int j=(i++)+(i++); //5,7

//int j=(++i)+(++i); //5,9

System.out.println(i+","+j);

}

}

对于(++i)+(++i):

i=5,j=9。结果点意外!

来看看它的字节码吧:

//j=(++i)+(++i)

//5,9

0: iconst_3 ;常量3入栈

1: istore_1 ;从栈中弹出3,存入i,i=3

2: iinc 1, 1 ;i++, i=4

5: iload_1 ;将i压入栈,即4入栈

6: iinc 1, 1 ; i++,i=5

9: iload_1 ;i入栈,即5入栈

10: iadd ;从栈中弹出两个int类型的数相加,结果入栈,即9入栈

11: istore_2 ;从栈中弹出9,存入j,即j=9

对于(i++)+(i++):

i=5,j=7。结果也很意外!

也来看看它的字节码吧:

//j=(i++)+(i++)

//5,7

0: iconst_3 ;常量3入栈

1: istore_1 ;从栈中弹出3,存入i,i=3

2: iload_1 ;i入栈,即3入栈

3: iinc 1, 1 ;i++,即i=4

6: iload_1 ;i入栈,即4入栈

7: iinc 1, 1 ;i++,即i=5;注意：5没有入栈,所以此时栈中的数为3和4

10: iadd ;从栈弹出两个int类型数相加，结果入栈,即7入栈

11: istore_2 ;从栈中弹出7，存入j,即j=7

Java与VC/gcc为什么会有如此的区别呢？其实原因很简单，VC/gcc生成的是本地代码，而X86处理器是基于寄存器的架构，也就是如果它要进行了两个数相加，它会先把两个数移到寄存器，再进行加法运算。而Java虚拟机是一种基于栈的架构，如果它要进行两个数相加，它会先弹出两个数，再进行加法运算，再将结果入栈