- 中文名
- MSIT
- 转 化
- 机器语言
- 由 于
- 公共语言运行
- 特 定
- CPU特定的代码
执行过程
播报编辑
解密微软中间语言的系列文章将通过一些简单易懂的方式来揭示中间语言的复杂原理。这些原理通过详细的例子来阐述。在一些例子中同时给出了源代码和中间代码，通过比较源代码和中间代码，我们可以更好地理解编译器的局限性，指导我们编写出更好更快的代码。
.assembly HelloWorldIL {}
.method static void HelloWorld() {
.e婚誉辩ntrypoint
ldstr "Hello 阀连纸陵World."
call void [mscorlib]System.Co阿拘nsole::WriteLine(class System.String)
ret
乃辩埋赠旬谜叠拳}
解说
播报编辑
在一个中间语言程序中，如果某一行以“.”开始，则代表这是一个传输给汇编工具的指令，该指令要求汇编工具执行某些操作，例如生成一个函数或类。而没有以“.”开始的行是中间语言的代码。在中间语言中方法通过汇编命令method来定义，汇编命令后跟方法的返回值、名称和参数。方法体被包含在{}中。例子中的ret代表该方法的结束。
一个中间语言文件可以包含很多函数，汇编工具没有办法分辨应该首先执行哪一个方法。在诸如C#或VB这一类高级语言中，程序的入口方法通常都有特定的名称，例如在C#中的public static void Main()。这就是上面的汇编工具发出错误提示的原因。在中间语言中，第一个被执行的方法被称为入口函数（EntryPoint Function）。为了告诉汇编工具HelloWorld是入口函数，我们需要在代码中增加一条汇编命令entrypoint，该命令可以放在方法体中的任何位置。需要注意的是在一个程序集中只能有一个入口函数。
中间语言代码通常被编译成一个模块，该模块隶属于一个程序集。在.Net中模块和程序集的概念非常重要，因此开发人员需要很清楚地了解它们。在后面的文章中我们将详细讨论.Net程序的结构。通过在代码中加入assembly命令，可以告诉汇编工具中间代码隶属于那个程序集。assembly命令的格式如下：
.assembly <程序集名称> {}
call <return type> <namespace>.<class name>::<method name>
这里我们可以看到当调用一个方法时，中间语言和其他的编程语言有很大的区别。在中间语言中，如果需要调用一个方法，需要指定方法的全名，包括他的名称域（namespace）、类名、返回值类型和参数的数据类型。这样就保证了汇编工具能够找到正确的方法。
在调用WriteLine方法时需要一个字符串参数。所有传递给方法或函数的参数都被保存在内存的堆栈中。在中间语言中有一个指令ldstr可以从堆栈中加载一个字符串。（堆栈是内存中的一块区域，它被用于将参数传输给方法，在后面我们会详细讨论堆栈的问题）。所有的方法都从堆栈中获取它们的参数，因此ldstr指令是必不可少的。ldstr指令的格式如下所示：
ldstr <parameter string>
%windir%\Microsoft Dot NET\Framework\v1.0.xxxx
Set Path = %Path%;c:\Windows\Microsoft Dot NET\Framework\v1.0.3705
然后运行cmd.exe（开始-＞运行-＞输入cmd-＞按下确认键）。在弹出的命令窗口中输入：
J:\Testcode＞ilasm HelloWorld Dot il
汇编代码后运行程序就可以看到Hello World.的输出。
2．改进的HelloWorld例子
在.Net中的所有语言都是面向对象的语言，但是上面的HelloWorld例子是一个结构化的例子。下面让我们来看一下如何将它转化为面向对象的代码。在面向对象的编程中，我们将操作定义在类中。为了将上面的HelloWorld例子转化为面向对象的代码，可以使用class命令：
.class HelloWorld { }
.assembly HelloWorldIL {}
.class public auto ansi HelloWorld extends [mscorlib]System.Object {
.method public hidebysig static void HelloWorld() cil managed {
.entrypoint
ldstr "Hello World."
call void [mscorlib]System.Console::WriteLine(class System.String)
ret
}
.method public hidebysig specialname rtspecialname instance void .ctor() cil managed {
ldarg.0
call instance void [mscorlib]System.Object::.ctor()
ret
}
}
在代码中用到了三个属性：
· public：public是访问控制属性，它表明了对于访问该类的成员没有限制。
· ansi：指定ansi属性是为了在没有被管理和被管理的代码之间实现无缝的转化。在.Net中，那些不可直接应用在公共语言基础设施之上的代码被称为没有被管理的代码，例如C、C++和VB6的代码。我们需要一个属性来处理被管理的代码和没有被管理的代码之间的互用性。在被管理的代码中，字符串用双字节的Unicode字符表示，而在被管理的代码中，字符串有可能用单字节的ANSI字符表示。指定了ansi属性就可以在不同的代码间转化字符串了。
在HelloWorld方法中加入了public、hidebysig、cil managed属性，下面是对这些属性的解释：
· hidebysig：一个类可以继承其他的类，hidebysig属性保证当前类中的方法在作为父类时不会被子类继承。例如如果HelloWorldChild类继承了HelloWorld类，在HelloWorldChild中不会看到HelloWorld方法。
· cil managed：该属性将在后面讨论。
在高级语言中（C#，VB 等），每个类必须有构造函数，而且构造函数的第一行需要调用基类的构造函数。如果类中没有构造函数，基类的构造函数将被自动调用。通常这是由编译器自动完成的，我们要在的代码中加入构造函数，该构造函数通过.ctor命令调用基类的构造函数。
结论
播报编辑
本文我们从经典的Hello World例子开始，通过实例了解了微软中间语言的基本语法规则以及中间语言与其他开发语言的关系。在下一篇文章中，我们将在此基础上，运用实例程序讲述.net应用程序的格式和结构等内容。
