与在前面:++(–)有太多让人困惑的地方,(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虚拟机是一种基于栈的架构，如果它要进行两个数相加，它会先弹出两个数，再进行加法运算，再将结果入栈。