MSIL简介 - Part 3 - 定义类型

在本期的MSIL 系列中，我将描述类型是怎么定义的。
下面是一个最小引用类型，House。

.class Kerr.RealEstate.House
{
    .method public void .ctor()
    {
        .maxstack 1

        ldarg.0 // push "this" instance onto the stack
        call instance void [mscorlib]System.Object::.ctor()

        ret
    }
}

这是一个非常简单的类型。注意你必须为具体的引用类型声明一个构造器。IL汇编程序不会像C#或者C++喂你自动生成一个构造器。

类型通过使用.class指令定义，class指令后面跟随类型头。由于一些历史原因，我们需要使用class关键字而不是更接近直觉的type关键字。在MSIL源码中，你可以把class当作type。类型头由一些类型属性和类型名组成。为了定义等价的C#静态类你需可以这样写：

.class abstract sealed Kerr.RealEstate.MortgageCalculator
{
    /* members */ 
}

abstract和sealed是类型属性。一个抽象类型不能被实例化并且一个密封类型不能有子类型。有一些属性用来控制可访问性，比如public和private。有一些属性用来控制字段布局，比如auto和sequential。许多属性自动被添加，可以省去你很多时间。幸运的是这些默认属性很贴合我们的直觉，所以你能够很快熟悉它们。举个例子，从mscorlib程序集继承 System.ValueType来定义一个值类型。因为CLI要求值类型必然是密封的，IL汇编程序会自动为你添加属性。

上面例子中类型的名字是 Kerr.RealEstate.MortgageCalculator。CLI并不能清晰地识别命名空间这个概念。但类型全名经常被使用。如果你正在使用版本1.x的.Net框架，你需要使用.namspace指令包住你的命名空间成员，如下。

.namespace Kerr.RealEstate
{
    .class abstract sealed MortgageCalculator
    {
        /* members */ 
    }
}

你可以在类型名后面指定基类。extend关键字被用于这个目的。如果基类没有指定，IL汇编程序会添加extend从句让类形从mscorlib程序集的System.Object继承，那么就定义了一个引用类型。最后类型头可以提供类型的接口，子孙都会实现和满足接口。

.class Kerr.RealEstate.RoomList
    extends [System.Windows.Forms]System.Windows.Forms.ListView
    implements Kerr.IView
{
    /* members */
}

在这个例子中，Kerr.RealEstate.RoomList类型把System.Windows.Forms.ListView当作基类。记住CLI要求每个用户定义的类型必须要从另一个类型派生。RoomList类型也实现了Kerr.IView接口。

有了类型定义的基本介绍，你应该可以开始定义一些更有趣的类型。为了定义一个接口只需要在类型头中使用interface属性。如果你需要一个值类型，只需要让它派生于System.ValueType类型。现在你应该知道为什么.class指令不是最好的指令命名了。（因为你可能定义的是一个值类型。）

.class interface Kerr.IView
{
    /* members */ 
}

.class Kerr.RealEstate.HouseData
    extends [mscorlib]System.ValueType
{
    /* members */
}

现在阅读Part 4: 定义类型成员