VB.net 2010 视频教程 VB.net 2010 视频教程 python基础视频教程
SQL Server 2008 视频教程 c#入门经典教程 Visual Basic从门到精通视频教程
当前位置:
首页 > temp > C#教程 >
  • IL阅读第一篇,简单的加法

阅读IL主要是为了能够更好的学会Emit

从控制台开始吧:事先准备工具ILSpy,和IL的命令指南(这个可以网上搜索或者去看OpCode枚举),记住栈中的都是引用的地址

1
2
3
4
5
int i = 10;
            int j = 20;
            int k = 30;
            Console.WriteLine(i + j + k);
            Console.ReadKey();

编译后查看IL

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
.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:从当前方法返回,并将返回值(如果存在)从调用方的计算堆栈推送到被调用方的计算堆栈上。

出处:https://www.cnblogs.com/RainbowInTheSky/p/4569128.html


相关教程