MSIL学习------从HelloWorld开始

我的博客即将搬运同步至腾讯云+社区，邀请大家一同入驻：https://cloud.tencent.com/developer/support-plan?invite_code=3889z1y72b288

1.有没有必要学习IL

　　前段时间突然想搞搞IL语言，于是在博客园中找到了包建强前辈关于IL的文章学习，并且在包前辈博客里看到了09年他与赵劼前辈关于是否有必要学习IL语言的争论，作为一个刚入此行业的新人，没有站在那个高度不敢去评论什么，并且我的引路教员在知道我学IL时就跟我说学习IL还不如学习汇编，IL语言就是一堆指令，谁背的多谁就越精通，我那个教员说的也不错，IL语言就是一堆指令，或许就是站的角度不同，我教员他不止局限于.NET，对C++和汇编都有一定研究，但是现在我还是只局限于.NET体系，学好.NET我感觉对于CIL和CLR一定得有一定的了解。所以我个人的观点是在.NET平台干活的人还是有必要学习学习IL的。现在IL我只是局限于刚学习阶段，所以想写下博客来记录我的学习记录

2.反编译解析HelloWorld

　　学习IL,首先需要知道其各种指定的含义,所以需要先创建c#语言进行反编译来解析,在这里只需创建一个.CS类并使用命令进行编译与反编译即可,没必要启动宇宙第一IDE(VS)

using System;

namespace HelloWorld

{

    class HelloWorld

    {

        public static void Main(String[] args)

        {

            System.Console.WriteLine("HelloWorld");

        }

    }

}

　　然后需要将.CS文件编译成.EXE文件,在这里需要什么VS的开发者工具(当然应该还有其它方式),

　　使用SCS语句进行编译

csc HelloWorld.cs

　　接下来使用ILDASM命令进行反编译为IL文件

ildasm HelloWorld.exe /output=HelloWorld.il

　　然后就会生成一个.IL文件,这个文件进行HelloWorld.exe反编译后的代码

.assembly extern mscorlib

{

  .publickeytoken = (B7 7A 5C    E0  )

  .ver :::

}

.assembly HelloWorld

{

  .custom instance void [mscorlib]System.Runtime.CompilerServices.CompilationRelaxationsAttribute::.ctor(int32) = (         )

  .custom instance void [mscorlib]System.Runtime.CompilerServices.RuntimeCompatibilityAttribute::.ctor() = (            4E 6F 6E

                                                                                                                  6F 6E    6F    )

  .hash algorithm 0x00008004

  .ver :::

}

.module HelloWorld.exe

.imagebase 0x00400000

.file alignment 0x00000200

.stackreserve 0x00100000

.subsystem 0x0003

.corflags 0x00000001

.class private auto ansi beforefieldinit HelloWorld.HelloWorld

       extends [mscorlib]System.Object

{

  .method public hidebysig static void  Main(string[] args) cil managed

  {

    .entrypoint

    .maxstack

    IL_0000:  nop

    IL_0001:  ldstr      "HelloWorld"

    IL_0006:  call       void [mscorlib]System.Console::WriteLine(string)

    IL_000b:  nop

    IL_000c:  ret

  }

  .method public hidebysig specialname rtspecialname

          instance void  .ctor() cil managed

  {

    .maxstack

    IL_0000:  ldarg.

    IL_0001:  call       instance void [mscorlib]System.Object::.ctor()

    IL_0006:  nop

    IL_0007:  ret

  }

}

　　下面来简单学习下这个IL代码

可以看到IL中有需要 .assembly .module .class 这样规则的代码，它们是定义信息的伪指令,IL语言不像C#声明类似class时先写修饰符之类，而是首先定义声明的伪指令，先来看看每个伪指令的含义

.assembly extern [assemblyRefName] {} [可选]　　定义一个AssemblyRef(程序集引用)的元数据项,标记了这个程序使用的外部托管应用程序,类似using语句 mscorlib.dll：.NET程序集类库的主程序集。
.assembly [assemblyName] {}　　　　定义一个程序集的元数据项,如果一个不定义此项,这个文件就不完全是一个应用程序,无法独立指定
.module　[moduleName]　定义一个模块元数据项,标识了当前的模块.
.class　　定义一个TypeDef(类声明)的元数据项
.method　　定义一个MethodDef(方法声明)的元数据项

代码中像assembly和module只需要定义好就行，主要需要关注的还是class和method，当然还有field。下面再来介绍下修饰与class和method中的关键字

　　1.class

private　　访问修饰符，没什么好说的，IL支持6种访问修饰符，C#7.2版本才加入第六种(private protected)
auto [可选]　　定义类的布局风格，auto是自动布局(默认值)，只加载程序时可以使用它认为合适的方式进行布局其它布局风格有sequential(加载程序时保留实例字段的顺序)和explicit(显示指定类型布局)
ansi [可选]　　定义类中字符串与其它非托管代码进行操作时的转换模式， ansi指定了会与”标准“C风格的字节字符串进行转换(默认值)，其它有unicode(与UTF-16字符进行转换)和autochar(有底层平台定义的默认字符串转换)
beforefieldinit [可选]　　指静态成员在第一次访问之前被初始化
extends 继承也没什么好说的

　　　　　另外可以看到C#中写的命名空间在IL中直接变成了一个完整类名。这是IL2.0时引入的，

　　2.method

public 访问修饰符
hidebysig　　用于隐藏父类的同名方法，类似于C#的new关键字
specialname　　提示编译器和工具这个函数时特殊的，只存在与构造函数(.ctor)和静态构造函数(.cctor)中
rtspecialname　　告诉运行时这个函数时特殊的　　只存在与构造函数(.ctor)和静态构造函数(.cctor)中
static/instance　　static 声明这个函数时静态函数 instance:声明这个函数时实例函数
cil managed　　声明这个函数时CIL代码

　　了解了IL代码整体结构后接下来来看下方法，方法体中通常包含三项:指令，标注了指令的标号和伪指令(在方法体外只有伪指令)，在方法中像.entrypoint和.maxstack这类是伪指令，nop，ldstr这属于指定，而IL_0000属于指令标号，指令标号作用是跳转时使用，所以自己写代码时没必要每行都加，只有在需要时加入即可，另外标号不会对伪指令进行标注

　　在上面C#代码中只定义了一个Main方法，但是在IL文件中却存在两个方法，其中一个方法就是定义的Main方法，而另一个则是C#编辑器加上的默认构造函数(.ctor),从这里可以看出C#的一个知识点(未添加构造函数C#会自动添加一个默认构造函数)

构造函数在此不介绍，只说一下Main方法中的内容，

　　　.entrypoint和.maxstack是两个伪指令，它们的作用分别是.

　　　　　　.entrypoint：将定义此伪指令的方法标识为应用程序入口方法，也就是说在IL中程序入口并不是方法名称为Main的，

　　　　　　.maxstack：栈中存在的最大数量数据，比如Main方法maxstack=8则说明stack中最多容纳8个数据。(IL栈元素不是字节或字，而是槽，当谈论IL栈深度时，指的是放在栈中的项，而不考虑项的大小)

　　　　nop　　指令代表如果修补操作码，则填充空间，但时是并不执行任何有意义的操作

　　ldstr　　代表加载一个字符串到栈顶

　　　　call 　　方法调用指令，还有另一个方法调用指令为callvirl，在IL中调用方法使用是“::” 而不是C#中的“.”，并且调用前要先声明其返回值类型和参数并不是C#的那种实参变量而是参数的类型，因为IL是一种严格基于栈的语言，方法时会按照参数列表去栈顶进行获取数据，调用完成后如果有返回值也会将返回值放入栈顶

　　　　ret　　从当前方法返回，并将返回值(如果存在)放入调用方的计算栈中

3.编写一个IL语言的HelloWorld

　　通过上面的解析可以看出手写一个简单的IL语言的HelloWorld其实挺简单，只需要依葫芦画瓢就可以

.assembly extern mscorlib{ auto}

.assembly HelloWorld_IL{}

.module HelloWorld.HelloWorld_IL.exe

.class private auto ansi HelloWorld.Program extends [mscorlib]System.Object

{

    .method public hidebysig rtspecialname specialname instance void .ctor()cil managed

    {

        ldarg.

        call instance void [mscorlib]System.Object::.ctor()

        ret

    }

    .method public hidebysig static void MyMain()cil managed

    {

        .entrypoint

        .maxstack

        ldstr "HelloWorld"

        call void [mscorlib]System.Console::WriteLine(string)

        ret

    }

}

　　在上面代码中程序集引用中使用的是auto，这是IL2.0版本加入，会自动搜索指定名称程序集

　　然后在开发者工具使用命令进行编辑

ilasm HelloWorld_IL.il /output=HelloWorld_IL.exe

　　然后指定就可以看出HelloWorld输出