感叹一下：为什么CLR可以保持效率

 

using System;
using System.Collections.Generic;
using System.Text;

namespace IL_Learn
...{
    class Program
    ...{
        static void Main(string[] args)
        ...{
            int a = 1;
            int b = 2;

            float c;

            c = a + b;

            float d = 0;
            d = a + b + c;
        }
    }
}

编译后ildasm /adv一下，得到：

.method private hidebysig static void  Main(string[] args) cil managed
{
  .entrypoint
  // Code size       24 (0x18)
  .maxstack  2
  .locals init (int32 V_0,
           int32 V_1,
           float32 V_2,
           float32 V_3)
  IL_0000:  nop
  IL_0001:  ldc.i4.1
  IL_0002:  stloc.0
  IL_0003:  ldc.i4.2
  IL_0004:  stloc.1
  IL_0005:  ldloc.0
  IL_0006:  ldloc.1
  IL_0007:  add
  IL_0008:  conv.r4
  IL_0009:  stloc.2
  IL_000a:  ldc.r4     0.0
  IL_000f:  stloc.3
  IL_0010:  ldloc.0
  IL_0011:  ldloc.1
  IL_0012:  add
  IL_0013:  conv.r4
  IL_0014:  ldloc.2
  IL_0015:  add
  IL_0016:  stloc.3
  IL_0017:  ret
} // end of method Program::Main

原来，每次要进行类型转换，都有csc产生的conv.r4，意思是将栈顶的一个家伙转型为float型，哎，CLR懒死了，连这条指令都由CSC产生！不过，这样，把尽量多的工作交给编译器完成，CLR只是简单的JIT和执行，从而保证了效率。还是应该佩服一下的。