MSIL 教程（三）：类和异常处理

最新推荐文章于 2024-04-03 14:54:27 发布

tongdoudpj

最新推荐文章于 2024-04-03 14:54:27 发布

阅读量727

点赞数

分类专栏： .NET Frame Work最佳实践文章标签： string class cil constructor 编译器 exception

.NET Frame Work最佳实践专栏收录该内容

174 篇文章

订阅专栏

续上文【翻译】MSIL 教程（二）：数组、分支、循环、使用不安全代码和如何调用Win32 API ，本文继续讲解类和异常处理。谨以这三篇译文纪念29年前的今日，那个让母亲今生难以忘记的幸福而又痛苦的日子。

类

在前面的程序中，我们在Main函数中调用类函数，在本程序中，我们将徐希如何定义类。本程序包含2个类： Class1和SampleClass，Class1带有函数Main，在Main中生成SampleClass的一个实例。

指令：

.field—定义类成员。和关键字public、private、static等一起使用。

命令：

stsfld static field—用堆栈中的值替换静态字段的值。
ldfld field—把一个非静态字段装入堆栈。类实例的地址必须在调用本命令之前装入堆栈。
ldarg.n—把第n个参数装入堆栈。在非静态函数中，第0个参数是一个隐含的参数，代表this。
newobj constructor—用构造函数constructor生成一个类的实例。构造函数的参数必须在调用本函数之前先装入堆栈。一个类的实例会被生成并装入堆栈。
callvirt instance function—调用一个对象的后期绑定方法。

代码：

.assembly Classes {}

class SampleClass

{

private int m_n;

private string m_s;

public static int nStatic = 10;

public SampleClass(int n, string s)

{

m_n = n;

m_s = s;

}

public int Number

{

get

{

return m_n;

}

public string String

{

get

{

return m_s;

}

};

class Class1

{

[STAThread]

static void Main(string[] args)

{

SampleClass o = new SampleClass(1, "Sample");

Console.WriteLine(SampleClass.nStatic.ToString());

Console.WriteLine(o.Number.ToString());

Console.WriteLine(o.String);

}

. class private auto ansi beforefieldinit SampleClass

extends [mscorlib]System.Object

{

.field private int32 m_n // private int m_n;

.field private string m_s // private string m_s;

.field public static int32 nStatic // public static int nStatic;

// 该私有静态构造函数由编译器生成

// （用以初始化类的静态成员）

.method private hidebysig specialname rtspecialname static

void .cctor() cil managed

{

.maxstack 8

// *************************************************

// nStatic = 10

// *************************************************

ldc.i4.s 10 // 把常量装入堆栈

// stsfld 命令把静态字段的值替换成堆栈中的值

stsfld int32 SampleClass::nStatic

ret

}

// 构造函数

// public SampleClass(int n, string s)

.method public hidebysig specialname rtspecialname

instance void .ctor(int32 n, string s) cil managed

{

.maxstack 8

// *************************************************

// 调用基类的构造函数

// *************************************************

ldarg.0 // 把第0个参数装入堆栈（隐含指针this）

// 调用类Object的构造函数

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

// *************************************************

// m_n = n

// *************************************************

ldarg.0 // 把第0个参数装入堆栈（隐含指针this）

ldarg.1 // 把第1个参数装入堆栈（n）

// 把n的值存入this.m_n

stfld int32 SampleClass::m_n

// *************************************************

// m_s = s

// *************************************************

ldarg.0 // 把第0个参数装入堆栈（隐含指针this）

ldarg.2 // 把第2个参数装入堆栈（s）

// 把s的值存入this.m_s

stfld string SampleClass::m_s

ret

}

// 数字型属性

. property instance int32 Number()

{

// 调用 get_Number

.get instance int32 SampleClass::get_Number()

}

.method public hidebysig specialname instance int32

get_Number() cil managed

{

.maxstack 8

// 由编译器生成的变量

// 译注：实际上，只有Debug版的才有，Release版的就直接返回m_n

.locals ([0] int32 tmp)

// *************************************************

// 返回 m_n;

// *************************************************

ldarg.0

// 装入第0个参数（this）

ldfld int32 SampleClass::m_n

// 装入由堆栈栈顶指针指向的对象的字段

stloc.0

// 存入第0个变量

ldloc.0

// 把第0个变量装入堆栈（函数的返回值）

ret

}

// 字符型属性

. property instance string String()

{

.get instance string SampleClass::get_String()

}

.method public hidebysig specialname instance string

get_String() cil managed

{

.maxstack 8

// 由编译器生成的变量

.locals ([0] string tmp)

ldarg.0

// 装入第0个参数（this）

ldfld string SampleClass::m_s

// 装入由堆栈栈顶指针指向的对象的字段

stloc.0

// 存入第0个变量

ldloc.0

// 把第0个变量装入堆栈（函数的返回值）

ret

}

. class private auto ansi beforefieldinit Class1

extends [mscorlib]System.Object

{

// public 的缺省构造函数

.method public hidebysig specialname rtspecialname

instance void .ctor() cil managed

{

.maxstack 8

// *************************************************

// 调用基类构造函数

// *************************************************

ldarg.0

// 装入thisr

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

// 类Objectr的构造函数

ret

}

// Main 函数

.method private hidebysig static void Main( string [] args)

cil managed

{

// 本方法为程序的入口点

.entrypoint

// 自定义属性

.custom instance void [mscorlib]System.

STAThreadAttribute::.ctor() = ( 01 00 00 00 )

.maxstack 8

.locals ([0] class SampleClass o,

[1] int32 tmp) // 由编译器生成

// *************************************************

// o = new SampleClass(1, "Sample");

// *************************************************

ldc.i4.1 // 把常量1装入堆栈

ldstr "Sample" // 把字符常量装入堆栈

// 通过传入堆栈中的2个参数生成一个SampleClass的对象，

// 并把他装入堆栈

newobj instance void SampleClass::.ctor(int32, string )

stloc.0 // 存入第0个变量

// *************************************************

// 访问静态类成员

// Console.WriteLine(SampleClass.nStatic.ToString());

// *************************************************

// 把静态字段的地址装入堆栈

ldsflda int32 SampleClass::nStatic

// 为堆栈中的对象调用Int32::ToString

call instance string [mscorlib]System.Int32

::ToString()

// 调用静态的WriteLine，其传入参数是堆栈中的字符串

call void [mscorlib]System.Console

::WriteLine( string )

// *************************************************

// 调用实例函数

// Console.WriteLine(o.Number.ToString());

// *************************************************

ldloc.0 // 装入第0个变量

// 调用堆栈中对象的函数

call instance int32 SampleClass::get_Number()

stloc.1 // 存入第1个变量

ldloca.s tmp // 把地址装入堆栈

call instance string [mscorlib]System.Int32

::ToString()

call void [mscorlib]System.Console

::WriteLine( string )

// *************************************************

// 调用实例函数

// Console.WriteLine(o.String);

// *************************************************

ldloc.0

callvirt instance string SampleClass::get_String()

call void [mscorlib]System.Console

::WriteLine( string )

// *************************************************

ldstr "Press Enter to continue"

call void [mscorlib]System.Console

::WriteLine( class System.String)

call int32 [mscorlib]System.Console::Read()

pop

// *************************************************

ret

}

异常处理

本程序使2个数相除，捕捉其除0异常。try/catch 块在MSIL中看起来像C#中的一样。

命令：

leave.s label—离开try/catch等保护块。

代码：

.assembly Exception {}

int x, y, z;

string s;

Console.WriteLine("Enter x:");

s = Console.ReadLine();

x = Int32.Parse(s);

Console.WriteLine("Enter y:");

s = Console.ReadLine();

y = Int32.Parse(s);

try

{

z = x / y;

Console.WriteLine(z.ToString());

}

catch (Exception e)

{

Console.WriteLine(e.Message);

}

.method static public void main() il managed

{

.entrypoint

.maxstack 8

.locals ([0] int32 x,

[1] int32 y,

[2] int32 z,

[3] string s,

[4] class [mscorlib]System.Exception e)

// 输入 x, y ...

. try

{

// *************************************************

// z = x / y;

// *************************************************

ldloc.0 // 装入第0个变量

ldloc.1 // 装入第1个变量

div // 相除

stloc.2 // 把结果存入第2个变量

// *************************************************

// Console.WriteLine(z.ToString());

// *************************************************

ldloca.s z // 装入z的地址

call instance string [mscorlib]System.Int32

::ToString()

call void [mscorlib]System.Console

::WriteLine( string )

leave.s END_TRY_CATCH // 退出try

}

catch [mscorlib]System.Exception

{

stloc.s e // 存入由堆栈抛出的异常

// *************************************************

// Console.WriteLine(e.Message);

// *************************************************

ldloc.s e // load e

callvirt instance string [mscorlib]System.Exception

::get_Message()

call void [mscorlib]System.Console

::WriteLine( string )

leave.s END_TRY_CATCH // 退出catch块

}

END_TRY_CATCH:

ret

}

Downloads

Download source - 43 Kb

完