如何看懂IL代码--转载

1//示例一：输出整数的立方值。
  2private void PrintCube( int i )
  3{
  4    int cube = i * i * i;
  5    Console.WriteLine( cube );
  6}
  7//方法签名。
  8/// hidebysig：MethodAttributes 枚举值之一，指示此方法按名称和签名隐藏，否则只
  9/// 按名称隐藏。
 10/// cil managed：未查到具体资料，应是“受中间语言管理”之意。
 11
 12.method private hidebysig instance void 
 13          PrintCube(int32 i) cil managed
 14  {
 15    // 代码大小       15 (0xf)
 16    .maxstack  2
 17    /**//// 在 .locals 部分声明所有的局部变量。
 18    .locals init ([0] int32 cube)    /**//// 第一个名局部变量，int 型，名为 cube。索
 19                                    /// 引从 0 开始。
 20    IL_0000:  nop    /**//// no operation.
 21    IL_0001:  ldarg.1    /**//// load argument 第一个方法参数入栈，比如“3”。索引号
 22                        /// 从 1 开始，而不是从 0 开始。
 23    IL_0002:  ldarg.1    /**//// 再次向堆栈压入第一个方法参数，又一个“3”。
 24    IL_0003:  mul    /**//// multiply 计算堆栈最顶上两个数的乘积 3×3，并把结果入栈，
 25                    /// 即堆栈最顶部是 9 了。
 26    IL_0004:  ldarg.1    /**//// 再次压入第一个方法参数“3”。
 27    IL_0005:  mul    /**//// 堆栈最顶上是“3”，第二是“9”，计算 3×9，此时 27 入栈。
 28    IL_0006:  stloc.0    /**//// pop value from stack to local variable 堆栈最顶上的
 29                        /// 值“27”出栈，并被赋给索引位置“0”处的局部变量 cube，
 30                        /// 即内存中变量 cube 的值为“27”。
 31    IL_0007:  ldloc.0    /**//// 局部变量 cube 的值“27”入栈。
 32    IL_0008:  call       void [mscorlib]System.Console::WriteLine(int32)
 33                        /**//// 控制台输出堆栈最顶上的 32 位整数“27”。
 34    IL_000d:  nop    /**//// no operation. 35    IL_000e:  ret    /**//// return from method. 36  } // end of method Program::PrintCube 37//示例二：把字符串拆分成字符，并按顺序每行输出一个字符 38public void SeparateString( string source ) 39{ 40    if( source == null ) 41        return; 42 43    int count = source.Length; 44 45    char c; 46    for( int i = 0; i < count; i++ ) 47    { 48        c = source[ i ]; 49        Console.WriteLine( c ); 50    } 51} 52 53.method public hidebysig instance void  54          SeparateString(string source) cil managed 55  { 56    // 代码大小       55 (0x37) 57    .maxstack  2 58    .locals init ([0] int32 count, 59             [1] char c, 60             [2] int32 i, 61             [3] bool CS$4$0000)    /**//// 索引为“3”的这个布尔型局部变量在 C# 代 62                                    /// 码中并未显式声明，是编译器编译时添加的， 63                                    /// 用于保存执行过程中布尔运算的结果，比如比 64                                    /// 较 source 是否为空时，以及比较 i<count 时。 65    IL_0000:  nop 66    IL_0001:  ldarg.1    /**//// 方法参数 source 的值入栈。 67    IL_0002:  ldnull    /**//// “空引用”null入栈。 68    IL_0003:  ceq    /**//// compare equal 比较栈顶的 null 和第二项的 source 是否相等，并 69                    /// 把结果 0（false，source 不为空）或 1（true，source 为空）入栈。 70    IL_0005:  ldc.i4.0    /**//// 32 位整型数“0”入栈。 71    IL_0006:  ceq    /**//// 比较栈顶的“0”和堆栈的第二项，第二项可能是“0”，也可能 72                    /// 是“1”。比较的结果“1”或“0”入栈。 73    IL_0008:  stloc.3    /**//// 栈顶的“1”或“0”出栈，被保存到索引为“3”的局部变量中。 74    IL_0009:  ldloc.3    /**//// 执行后，栈顶为“1”（source 不为空）或“0”（source 为空）。 75    IL_000a:  brtrue.s   IL_000e    /**//// branch on non-false or non-null 判断栈顶是否 76                                    /// 为“1”，如果是，跳转到第“IL_000e”行；否则 77                                    /// 继续往下执行。 78 79    IL_000c:  br.s       IL_0036    /**//// unconditional branch 当栈顶为“0”时，才会 80                                    /// 执行到这一行，这一行的执行结果是程序无条件 81                                    /// 跳转到第“IL_0036”行。 82 83    IL_000e:  ldarg.1 84    IL_000f:  callvirt   instance int32 [mscorlib]System.String::get_Length()     85                        /**//// 对堆栈最顶上的字符串调用其获取长度的实例方法，长度值被入栈。 86                        /// “get_Length()”实际是字符串 Length 属性的“get”部分。 87    IL_0014:  stloc.0    /**//// 局部变量 count 被赋值为字符串长度。 88    IL_0015:  ldc.i4.0 89    IL_0016:  stloc.2    /**//// 局部变量 i 被赋值为 0。 90    IL_0017:  br.s       IL_002e    /**//// 无条件跳转到第“IL_002e”行。 91 92    IL_0019:  nop 93    IL_001a:  ldarg.1 94    IL_001b:  ldloc.2 95    IL_001c:  callvirt   instance char [mscorlib]System.String::get_Chars(int32)     96                        /**//// source 中索引为 i 处的 char 值入栈。 97    IL_0021:  stloc.1 98    IL_0022:  ldloc.1 99    IL_0023:  call       void [mscorlib]System.Console::WriteLine(char)    /**//// char 值被输100                                                                        /// 出到控制台。101    IL_0028:  nop102    IL_0029:  nop103    IL_002a:  ldloc.2    /**//// i 值入栈。104    IL_002b:  ldc.i4.1    /**//// 32 位整数 1 入栈。105    IL_002c:  add    /**//// i+1 的结果入栈。106    IL_002d:  stloc.2    /**//// i=i+1。107    IL_002e:  ldloc.2    /**//// i 值入栈。108    IL_002f:  ldloc.0    /**//// count 值入栈。109    IL_0030:  clt    /**//// compare less than 比较 i<count 是否为真，比较结果入栈。110    IL_0032:  stloc.3111    IL_0033:  ldloc.3112    IL_0034:  brtrue.s   IL_0019    /**//// 如果 i<count 则跳转到第“IL_0019”行。113114    IL_0036:  ret115  } // end of method Program::SeparateString116117