在上面的例子中,我們創建 了2個對象a和b,它們分別是類yyy和xxx的實例。類xxx是派生類而yyy是基類。我們能寫出a=b,如果我們 使一個派生類和一個基類相等,那麼就會生成一個錯誤。因此,就需要一個轉換操作符。
在C#中 ,cast會被轉換為castclass指令,後面緊跟著派生類的名稱,也就是要被轉換到的類。如果它不能被轉 換,就會觸發上面提到的異常。
在上面的代碼中,沒有構造函數,從而,就會生成異常。
因此,IL具有大量高級的用來處理對象和類的准則。
a.il
.assembly mukhi {}
.class private auto ansi zzz extends [mscorlib]System.Object
{
.method public hidebysig static void vijay() il managed
{
.entrypoint
.locals (class yyy V_0,class xxx V_1)
newobj instance void yyy::.ctor()
stloc.0
newobj instance void xxx::.ctor()
stloc.1
ldloc.1
stloc.0
ldloc.0
castclass xxx
stloc.1
ret
}
}
.class private auto ansi yyy extends [mscorlib]System.Object
{
}
.class private auto ansi xxx extends [mscorlib]System.Object
{
.method public hidebysig specialname rtspecialname instance void .ctor() il managed
{
ldarg.0
call instance void System.Object::.ctor()
ret
}
}
在上面的例子中,類xxx不再從類yyy 中派生。它們都是從Object類中派生的。但是,我們可以把類yyy轉換為類xxx。在帶有構造函數的類xxx 中不會生成任何錯誤,但是如果移除了這個構造函數,就會生成異常。IL還具有它自己的獨特工作方式。
a.il
.assembly mukhi {}
.class private auto ansi sealed zzz extends [mscorlib]System.Object
{
.method public hidebysig static void vijay() il managed
{
.entrypoint
ret
}
}
.class private auto ansi yyy extends zzz
{
}