查看IL有2个工具比较好用,一个是大名鼎鼎的Reflector,但已经转向收费,另一个是开源的ILSpy,强大好用,对linq和lambda表达示的支持很好。相关的书籍也很多,比如这本Microsoft.NET IL汇编语言程序设计。看明白IL有一个关键的地方:IL是基于堆栈的语言,类似汇编,每条指令都会从栈顶pop弹出需要用到的变量(if any),然后再把返回值(if any)push压入堆栈。记住这一点,对看懂IL非常有帮助。

1、先说下这东西有什么用

比如关于i++的一个老问题:在C#里下面这段程序的输出是什么?

int i = 0;
for(int j=0;j<3;j++){
  i = i++;
  Console.Write("i={0} ", i);
}

和java一样,这里会输出 i=0 i=0 i=0 ,为什么呢?从IL里就能一目了然:

.locals init (
  [0] int32 i,
  [1] int32 j,
  [2] bool CS$4$0000
)

//for 循环的IL代码不贴了,关键是`i=i++`的部分如下:
IL_0008: ldloc.0
IL_0009: dup //把i复制了一份
IL_000a: ldc.i4.1
IL_000b: add
IL_000c: stloc.0 //把++后的值赋给i
IL_000d: stloc.0 //把复制的原值又重新赋给i

换句话说,编译器是这样来执行i=i++的:tmp=i; i=i+1; i=tmp;,所以会一直输出i=0。如果换成i=++i,那么编译器会转化成tmp=i+1; tmp1=tmp; i=tmp1; i=tmp;,当然就能正常输出i=1 i=2 i=3 了。另外,对于string+string与StringBuilder的性能对比、多线程的对共享变量的争用(你以为的一条C#语句,实际是多条汇编语句、并且CPU还可能优化调整语句的执行顺序),IL代码也有很强的指导意义,这里暂不展开了。

2、再来看一段稍复杂的c#源码,详细了解一下IL

这段代码是用来做AES加密的,如下

public static string Encrypt(string strEncrypt, string strKey){
  try{
    byte[] keyArray = Encoding.UTF8.GetBytes(FormsAuthentication.HashPasswordForStoringInConfigFile(strKey, "md5"));
    byte[] strEncryptArray = Encoding.UTF8.GetBytes(strEncrypt);
    byte[] resultArray = null;
    using(RijndaelManaged rDel = new RijndaelManaged()){
      rDel.Key = keyArray;
      rDel.Mode = CipherMode.ECB;
      rDel.Padding = PaddingMode.PKCS7;
      resultArray = rDel.CreateEncryptor().TransformFinalBlock(strEncryptArray, 0, strEncryptArray.Length);
    }
  }
  catch {
    return null;
  }
}

3、对应的IL及解释如下

.method public hidebysig static string Encrypt(string strEncrypt, string strKey) cil managed{
//hidebysig表示该方法会覆盖父类对应的方法,并且只是提供给Compiler的一个Flag,运行时用不到这个标志位。我理解被hidebysig标记过的方法在C#里相当于加上new关键字
//cil是默认的标识位,表示这段代码采用Common Intermediate Language实现
//managed表示这是一段托管代码,也是默认的标识位
  //代码大小 137(0x89)
  .maxstack 4 //表示这个方法用到的最大栈深度,这里的4不是byte而是slot,每个slot代表一个占位,不论item大小都占一个slot。呆会儿走完这个方法,我们可以数一下最大栈深是不是4?
  .locals init ([0] uint8[] keyArray, //按顺序声明本地变量,uint对应byte
    [1] uint8[] strEncryptArray,
    [2] uint8[] resultArray,
    [3] class [mscorlib]System.Security.Crytography.RijndaelManaged rDel,
    [4] class [mscorlib]System.Security.Crytography.ICryptoTransform cTransform, //rDel.CreateEncryptor()生成的中间变量
    [5] string CS$1$0000, //返回值的临时变量
    [6] bool CS$4$0001)   //判断是否应该释放using里生成的rDel的临时变量
  IL_0000: nop
  .try {
    IL_0001: nop
    IL_0002: call class[mscorlib]System.Text.Encoding [mscorlib]System.Text.Encoding::get_UTF8() //对应Encoding.UTF8,这也反映了属性即方法
    IL_0007: ldarg.1 //将arg.1也就是传入方法的第二个变量strKey压栈,以备下面调用时出栈
    IL_0008: ldstr "md5" //同理,将字符串"md5"压栈,这时最大栈深=3(UTF8、arg.1、"md5")
    IL_000d: call [System.Web]System.Web.Security.FormsAuthentication::HashPasswordForStoringInConfigFile(string, string) //调用方法,按照方法签名弹出栈里的2个slot,即最顶上的2个变量,并且隐含调用完将返回值压栈的操作
    IL_0012: callvirt instance uint8[] [mscorlib]System.Text.Encoding::GetBytes(string) //将上一个方法压栈的string出栈,调用虚方法,将结果byte[]压栈,下面的方法调用都是按照出栈、压栈的顺序执行的,不一一赘述
    IL_0017: stloc.0 //出栈,将上面返回的byte[]存入loc.0,即keyArray
    ……
    IL_0026: newobj instance void [mscorlib]System.Security.Crytography.RijndaelManaged::.ctor() //newobj实例化
    .try { //using在编译器中就是一个try、finally的简写,这里得到充分证明
    IL_002c: nop //debug模式下,会生成这些nop操作,便于调试时在“{”处设置断点
    ……
    IL_0036: ldc.i4.2 //压栈常量2,因为rDel.Mode=CipherMode.ECB;里面,ECB在枚举CipherMode中的值为2,可以看到enum在IL里就是数字常量
    ……
    IL_005a: nop
    IL_005b: leave.s IL_006f //跳出try语句,并且在leaving的时候,执行finally语句
  } //end .try
  finally {} //这里是编译器为using自动生成的语句,判断rDel是否为null,若不为null,调用其自身的Dispose()方法
    …… 
    IL_0086: ldloc.s CS$1$0000
    IL_0088: ret //将返回值压栈后退出
} //end of method Encrypt
 posted on 2015-05-19 13:33  AlexanderYao  阅读(204)  评论(0编辑  收藏  举报