跟我一起学IL系列 lesson1 初识IL

老郭

什么是IL(CIL)?
  在.NET的开发过程中,IL的官方描述是 MSIL 或 CIL(公共中间语言) , 什么是公共中间语言呢? 这是.NET家族中有很多语言品种 比如 VB.NET C++.NET F# , .NET平台早期为了实现跨语言编程,从而这些语言最终都会被编译成这种中间代码交给JIT最终翻译成本地机器指令交给CPU执行

学习IL有什么用?
学习IL主要是为了能够通过IL可以看到程序更加底层的实现(本质上也是一种逆向)来印证一些思考的问题,如在C#中众多的语法糖等高级实现方法,然而这些并不是真正的实现,有些实现在编译后我们通过IL才能看透其本质,例如我们通过IL就可以清楚的看到 using 的实现,本质上就是一个 try-finally 块 ,后面还有很多我们想知道的技术细节 比如委托 闭包 密封类  状态机等等实现,我们都可以通过阅读IL来印证我们的想法

我们先来编写一个最简单的应用程序 并编译出程序集 :



把程序集拖入任意.NET 反编译工具 (可以是.NETReflector ILSpy 等等..)



我们将代码模式转换成 IL 代码模式


下面便是咱们的 Main 方法被转换被转换成IL后的样子,IL中的关键字分为三类 指令 特性 和操作码 , (注: 论坛目前不支持 IL的语法高亮,所以下面的图片高亮不太正常是生成的)



  上面的代码每行都有详细注释,大家需要了解的是 IL实际上完全以栈为基础的,IL提供了将变量压入虚拟执行栈(称为加载,也会使栈的成员加1)的操作码(如 上图中的 ldc.i4 999), 然后, 也提供了将栈顶的值取出移动到局部变量中的操作码(如:stloc.0).
  初始化局部变量时,必须将它加载入栈中,然后在弹出来赋值给本地变量.因此赋值完成后,虚拟执行栈应该是空的,常见的加载助记符 (ldloc/ldc/ldstr)

今天作为第一课就介绍这么多,大家一定要仔细看图
  

qingshanlushui

老郭 发表于 2019-4-13 22:42
不会为每一个方法生成 "栈" , 这个目前不好解释 在讲线程的时候 会给你们说清楚.

好的。。谢谢老师

老郭

qingshanlushui 发表于 2019-4-13 22:19
那么“栈”在内存空间上。。是每个方法自动生成一个“栈”么。还是每个程序集一个“栈”？

不会为每一个方法生成 "栈" , 这个目前不好解释 在讲线程的时候 会给你们说清楚.

qingshanlushui

那么“栈”在内存空间上。。是每个方法自动生成一个“栈”么。还是每个程序集一个“栈”？