c#进阶一：使用ILDASM来查看c#中间语言

　　平时工作的时候总是使用ctrl c+ctrl v去快速开发实现业务功能，但是在工作之余，我们也应该要注意静下心来去学习和提高自己。进阶的文章随性来写，不定时更新。希望可以和大家共同学习，共同进步。今天我们一起来理解一下c#的运行机制。

　　c#语言具有简单易入门的特点，初学者通常简单拖动几个控件，写几行代码就可以实现一个“程序”了，但是这样也让我们养成了一种依赖c#封装特性的习惯。

　　c#是一种高级语言，通过它编写的代码不能被机器识别。在这个被机器识别的过程中：首先是windows加载MSCorEE.dll（一个.NET framework自带的链接库，可在你安装目录找到），主线程会通过调用MSCorEE.dll中的方法来初始化CLR来获取IL(即中间语言)，但是，这时候的中间语言仍然不能被识别，还需要 JITCompiler 来将IL编译成可以被机器识别的cpu指令，至此，我们在项目中生成的dll或者exe文件才算是被识别。

　　接下来，我们来详细探讨怎么查看这个IL（中间语言）。

　一：在vs2015中增加ILDASM反编译工具

　　正所谓，工欲善其事，必先利其器。我们要想学习并且进阶，就要学会运用各类工具。首先，我们将ILDASM加载到宇宙第一开发IDE -- VS中，博主此时使用的是vs2015，因此就以vs2015来作为例子。

　　在vs2015中打开工具-->外部工具，点开后选择添加，如图：（一般来说，ILDASM默认地址是：C:\Program Files (x86)\Microsoft SDKs\Windows\v10.0A\bin\NETFX 4.6.1 Tools）

　　二：反编译后的IL详细解释

在安装了ILDASM后，打开工具就可以看到已经多了一个工具ILDASM

我们在程序中使用这个工具。如下：

首先送上一张图片帮助大家理解

 

1）双击打开MANIFEST,这是程序的清单文件。红色箭头表示引用的外部文件是mscorlib

.publickeytoken = (标记 ) 指定所引用程序集的实际公钥标记。公钥能唯一确定程序集。

.ver：指定引用程序集的版本

.assembly 表示程序集

 2）打开program的扩展

.class表示的Program是一个类，extends 代表Program类继承于程序集mscorlib中的System.Object类，这就告诉我们，在C#中所有的类的父类都是Object。

private为访问权限，表明该类是私有的。

auto：表明程序加载的时候内存布局是有CLR决定的，而不是由程序本身控制的。

ansi:表明类的编码为ansi编码

beforefieldinit ：表明CLR可以在第一次访问静态字段之前的任何时刻执行类型构造函数。类型构造函数也就是构造函数，而使用beforefieldinit属性可以提高性能。

 3）

.ctor 表示构造函数

cil managed 表明方法体中的代码是IL代码，且是托管代码，即运行在CLR运行库中的代码

.maxstack 表明执行构造函数时，评估堆栈可容纳数据项的最大个数。评估堆栈是保存方法中所需变量的值的一个内存区域，该区域在方法执行结束时会被清空，或者存储一个返回值

IL_0000是代码行的开头。一般在IL_标记之前的部分为变量的声明和初始化操作。

ldarg.0表明加载第一个成员参数，其中ldarg是load argument 的缩写

call 指令一般用于调用静态方法，而这段代码中call指令并不是在调用静态函数，而是调用System.Object构造函数。另外一个指令则一般用来调用实例方法，它的调用过程是：首先检查被调用的函数是否为虚函数，

如果不是就直接调用，如果是则检查子类是否重写，如果有重写就调用子类中的实现，如果没有重写就继续调用原来函数。

ret 指令表示执行完毕，就是return的缩写

4）看了这么久，终于到达了IL中间语言的Main方法

hidebysig ：指令表示如果当前类作为父类，用该指令标记的方法将不会被子类继承

.entrypoint ：指令代表该函数是程序的入口函数，每个托管应用程序都有且只有一个入口函数，CLR加载的时候，首先从.entrypoint函数开始执行。

.locals init ([0] int32 i1,[1] int32 i2)

表示定义int类型的变量，变量名称是：i1，i2

IL_0000: nop 表示不做任何操作 No Operation

IL_0001:ldc.i4.1：此指令的意思是：在 Evaluation Stack 置入一個个4 byte 的常数:  

stloc.0  :从计算堆栈的顶部弹出当前值并将其存储到索引 0 处的局部变量列表中，在此示例中：stloc.0。此指令的意思是：从 Evaluation Stack 取出一個值，放到第 0 号变数（V0）中

ldloc.0 ：将索引 0 处的局部变量加载到计算堆栈上。也就是：把变量helloString 加载到计算堆栈上（以ld为前缀的指令表示：入栈操作  st为前缀的指令则代表着出栈操作）

ldloc.1：同上，将索引 1处的局部变量加载到计算堆栈上。

 add:增加两个变量的值

ret：返回结果。