- A+
阅读IL主要是为了能够更好的学会Emit
从控制台开始吧：事先准备工具ILSpy，和IL的命令指南(这个可以网上搜索或者去看OpCode枚举)，记住栈中的都是引用的地址
int i = 10; int j = 20; int k = 30; Console.WriteLine(i + j + k); Console.ReadKey();
编译后查看IL
.maxstack 2 .entrypoint .locals init ( [0] int32 i, [1] int32 j, [2] int32 k ) IL_0000: nop IL_0001: ldc.i4.s 10 IL_0003: stloc.0 IL_0004: ldc.i4.s 20 IL_0006: stloc.1 IL_0007: ldc.i4.s 30 IL_0009: stloc.2 IL_000a: ldloc.0 IL_000b: ldloc.1 IL_000c: add IL_000d: ldloc.2 IL_000e: add IL_000f: call void [mscorlib]System.Console::WriteLine(int32) IL_0014: nop IL_0015: call valuetype [mscorlib]System.ConsoleKeyInfo [mscorlib]System.Console::ReadKey() IL_001a: pop IL_001b: ret
解释如下：
第一段：
.maxstack 2
.entrypoint
.locals init (
[0] int32 i,
[1] int32 j,
[2] int32 k
)
这段代码是定义一个深度为2的栈，然后初始化三个变量都内存
第二段：
IL_0000: nop
IL_0001: ldc.i4.s 10
IL_0003: stloc.0
IL_0004: ldc.i4.s 20
IL_0006: stloc.1
IL_0007: ldc.i4.s 30
IL_0009: stloc.2
这段代码nop是：如果修补操作码，则填充空间。尽管可能消耗处理周期，但未执行任何有意义的操作。（我想，这也许就是可以优化掉的）
然后ldc.i4.s：将提供的 int8 值作为 int32 推送到计算堆栈上（短格式）。大致就是将一个静态的数值推送到计算堆栈上，这里是将10推送上去，压入栈中。
接着stloc.0：从计算堆栈的顶部弹出当前值并将其存储到索引 0 处的局部变量列表中。在栈顶部弹出10到变量中。
一下20和30都是同上。
第三段：
IL_000a: ldloc.0
IL_000b: ldloc.1
IL_000c: add
IL_000d: ldloc.2
IL_000e: add
这段代码ldloc.0：将索引 0 处的局部变量加载到计算堆栈上。
意思是压入第一个变量到栈，压入第二个变量到栈，然后执行add操作。add操作是将栈顶部前两个弹出执行，再将得到的数压入栈。
然后就是索引三，也就是第三个变量压入到栈，接着在执行add，将结果压入栈。现在为止，栈中只有一个量。
第四段：
IL_000f: call void [mscorlib]System.Console::WriteLine(int32)
IL_0014: nop
弹出栈的第一个量，执行System.Console下的WriteLine函数，
第五段：
IL_0015: call valuetype [mscorlib]System.ConsoleKeyInfo [mscorlib]System.Console::ReadKey()
IL_001a: pop
ReadKey()没有参数，直接执行。
第六段：
IL_001b: ret
ret：从当前方法返回，并将返回值（如果存在）从调用方的计算堆栈推送到被调用方的计算堆栈上。
