由浅入深CIL系列:1.初步认识CIL通用中间语言

         CIL简介:CIL(Common Intermediate Language)中文名为通用中间语言,注意它曾经被称为微软中间语言或MSIL,它是一种类似于JAVA字节码的语言。在微软语言平台中,不管程序员使用C#、VB.NET或者J#等语言编写的程序进行编译的时候,编译器将这几种语言编写的源代码编译为CIL(微软中间语言)语言,此时再通过JIL(Just In Time实时编译器)编译为针对各种不同CPU的指令(注意因为是实时的编译器,所以它运行的时候是只运行需要编译的CIL语言段,而不是全部一下编译完,这是为了提高效率。)

        了解CIL好处:1.本系列文章用于研究和探讨CIL中间语言,在实际应用中能够让你选择更好的语法,例如:是选择For还是选择Foreach做循环遍历?

                       2.深入的了解.NET内存的分配以及底层的语言运行原理。例如:.Net值类型和引用类型的内存分配?

                       3.使用System.Reflection.Emit下的Emit加载CIL命令,动态创建类。

        初步认识CIL:

        一、我们新建一个C#语言编写的控制台程序命名为ConsoleApplication6,然后键入以下代码:

namespace ConsoleApplication6
{
class Program
{
static void Main(string[] args)
{
string a = "Hello World!";
Console.WriteLine(a);
}
}
}

        二、很明显上面的语句将会在控制台输出一个字符串“Hello World!”,那么这个控制台程序的CIL语言是怎样的呢?我们下面可以通过VS2010自带的SDK工具IL Disassembler(ILDASM)打开上面应用程序创建的ConsoleApplication6.exe文件,以查看其CIL语言。如下图方式以打开ILDASM工具:

        打开ILDASM工具界面如下:

        本图代表一个ConsoleApplication6的命名空间下有一个类叫ConsoleApplication6.Program,这个类下面有一个类清单(.class private auto ansi beforefieldinit)+默认构造函数(.ctor:void())+静态函数(Main:void(string[]))。

        注意:上图的界面中有一些红色的三角形,或者蓝色的盾形等分别代表更多信息或者是命名空间等信息,其具体含义如下图所示:

        三、点击默认构造函数.ctor:void()我们可以看到这个构造函数的CIL语言如下:

.method public hidebysig specialname rtspecialname
//.method表示对方法
instance void .ctor() cil managed
{
// 代码大小 7 (0x7)
.maxstack 8
IL_0000: ldarg.
0
IL_0001: call instance
void [mscorlib]System.Object::.ctor()
IL_0006: ret
}
// end of method Program::.ctor

           ldarg.0 将索引为 0 的参数加载到计算堆栈上

           call 调用由传递的方法说明符指示的方法

           ret 从当前方法返回,并将返回值(如果存在)从调用方的计算堆栈推送到被调用方的计算堆栈上

           意义:将索引为0的参数加载到堆栈上,然后调用System.Object对象的构造函数实例化对象,然后返回。          

        四、点击静态函数Main:void(string[]),可以打开一个界面,界面内看到CIL语言如下:

.method private hidebysig static void Main(string[] args) cil managed
{
.entrypoint
//程序进入点
// 代码大小 15 (0xf)
.maxstack 1 //堆栈分配
.locals init ([0] string a)
IL_0000: nop
IL_0001: ldstr
"Hello World!"//压入字符串,堆栈压操作
IL_0006: stloc.0 //从计算堆栈的顶部弹出当前值并将其存储到索引 0 处的局部变量列表中。
IL_0007: ldloc.0 //将索引 0 处的局部变量加载到计算堆栈上。
IL_0008: call void [mscorlib]System.Console::WriteLine(string)
//呼叫WriteLine函数打印Hello World
IL_000d: nop
IL_000e: ret
//返回
} // end of method Program::Main

        通过本文章,我们初步的认识了CIL中间语言。也认识了一些CIL的指令代码


posted @ 2011-06-27 10:16  .NET架构  阅读(5116)  评论(13编辑  收藏  举报