MSIL简介 - Part 3 - 定义类型

    xiaoxiao2021-03-25  117

    在本期的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: 定义类型成员

    转载请注明原文地址: https://ju.6miu.com/read-19070.html

    最新回复(0)