从MSIL角度分析.net中++i和i++具体的区别

在学.net的第一天估计就已经学到了++i和i++的区别 表现上讲 i++完成后 i并没有被马上赋值为i+1 或者说需要被赋值为i++的值不会得到这个更新后的i值 而++i的话i的值会马上会赋值为i+1 同样需要被赋值为i+1的变量会马上得到更新后的i+1值

从百度知道上是这么解释的

i++ 先执行此行语句再i=i+1++i 先执行i=i+1再执行此行语句 

虽然容易理解 但是编程中经常性的也会出现i++不行的话就试试++i的情况

比如下面这行代码

using System;namespace VimTest{public class VimeTest{public static void Main(string[] arg){                        int i=0;                        int j=0;                        j=i++;                        Console.WriteLine(i);                        Console.WriteLine(j);                        Console.ReadLine();}}}

最后的输出如果不仔细想的话会认为是i=j=1 但是事实上i=1而j=0

如果换一种方式 j=++i 则最后的输出会是i=j=1

好吧其实死记硬背还是记得住的 但是总会想知道背后到底是怎么回事 正好这几天在学习MSIL 所以打算把这行程序反汇编一下看看到底是为什么导致了++在前和在后的区别

首先反汇编j==i++的情况

.method public hidebysig static void  Main(string[] arg) cil managed
{
  .entrypoint
  // 代码大小       32 (0x20)
  .maxstack  3
  .locals init (int32 V_0,
           int32 V_1)
  IL_0000:  nop
  IL_0001:  ldc.i4.0
  IL_0002:  stloc.0  i 赋值为0 索引0
  IL_0003:  ldc.i4.0 
  IL_0004:  stloc.1  j 赋值为0 所以1
  IL_0005:  ldloc.0 索引0元素i入栈
  IL_0006:  dup      复制栈顶元素的值 复制后的值入栈 
  IL_0007:  ldc.i4.1 数值1入栈
  IL_0008:  add      栈顶两个元素相加 结果入栈
  IL_0009:  stloc.0  出栈 将栈顶元素赋值给索引为0的变量 即i 此时i值为栈顶元素的值1
  IL_000a:  stloc.1  同上 但是此时因为栈顶元素值为0 所以j值为0
  IL_000b:  ldloc.0
  IL_000c:  call       void [mscorlib]System.Console::WriteLine(int32)
  IL_0011:  nop
  IL_0012:  ldloc.1
  IL_0013:  call       void [mscorlib]System.Console::WriteLine(int32)
  IL_0018:  nop
  IL_0019:  call       string [mscorlib]System.Console::ReadLine()
  IL_001e:  pop
  IL_001f:  ret
} // end of method VimeTest::Main

忽略掉最后几行函数调用 我们来看下i++到底做了什么

首先0到4行是初始化，i和j分别索引为0,1 第五行，意思是将本地变量0（i）入栈 第六行是重点，dup指令复制栈顶元素 并入栈 实质就是生成了一个临时变量temp，temp=i

第7行 将数值1入栈 第8行 将栈顶两个元素相加 并将结果入栈 最后结果就是 栈顶元素值为1 栈顶之后的第二个元素（就是刚刚复制的那个i）0，注意这是很重要的一点，因为最后的赋值涉及到出栈顺序 第9行 栈顶元素出栈 赋值给索引为0的变量 也就是i，这个时候i=1，而我们的栈顶元素现在则是原始的i值0，第10行，栈顶元素出栈，赋值给索引为1的变量，也就是j，所以最后 j=0

再来看j=++i的情况

反汇编的MSIL代码 

.method public hidebysig static void  Main(string[] arg) cil managed
{
  .entrypoint
  // 代码大小       32 (0x20)
  .maxstack  2
  .locals init (int32 V_0,
           int32 V_1)
  IL_0000:  nop
  IL_0001:  ldc.i4.0
  IL_0002:  stloc.0
  IL_0003:  ldc.i4.0
  IL_0004:  stloc.1
  IL_0005:  ldloc.0
  IL_0006:  ldc.i4.1
  IL_0007:  add
  IL_0008:  dup
  IL_0009:  stloc.0
  IL_000a:  stloc.1
  IL_000b:  ldloc.0
  IL_000c:  call       void [mscorlib]System.Console::WriteLine(int32)
  IL_0011:  nop
  IL_0012:  ldloc.1
  IL_0013:  call       void [mscorlib]System.Console::WriteLine(int32)
  IL_0018:  nop
  IL_0019:  call       string [mscorlib]System.Console::ReadLine()
  IL_001e:  pop
  IL_001f:  ret
} // end of method VimeTest::Main

看上去和i++的情况差不多 唯一不同的是dup指令所在的位置 dup指令在第8行而add在第7行 也就意味着栈顶的复制是发生在相加之后的 这样 最后出栈的时候两个值均为1 也就是i=j=1

通过上面的分析 大致就理清楚了i++和++i真正的区别在什么地方 对于.net来说 执行自增操作的时候 会将需要自增的值复制一份入栈 而++在前还是在后则决定了这个复制是发生在自增之前还是之后 如果是i++ 则会导致复制出来的值+1而原始值没有+1 最后出栈的顺序导致了一个为自增的值而另一个为没有自增的值 反之 对于++i 由于复制操作发生在相加操作之后 所以栈顶两个元素都为自增后的值 也就使得i和j都为1