.NET平臺(tái)的編譯器會(huì)將高級(jí)語(yǔ)言(C#,VB.NET,F#)編譯成MSIL(微軟中間語(yǔ)言)格式。熟悉MSIL語(yǔ)言，可以讀懂一些加密程序混淆過(guò)的算法，這些算法幾乎不能還原成高級(jí)語(yǔ)言，但是可以還原成MSIL語(yǔ)言。也可以知道一些高級(jí)語(yǔ)言之外的關(guān)于CLR的特性，比如多模塊程序集，全局靜態(tài)方法等等。一些.NET保護(hù)加密程序也是運(yùn)用MSIL平臺(tái)的特性。

閱讀本篇文章，假設(shè)您已經(jīng)對(duì)這個(gè)語(yǔ)言有基本的了解，我會(huì)列舉這個(gè)語(yǔ)言的基本語(yǔ)言應(yīng)用例子，供參考。

1 Hello world

.method static void main() {.entrypoint.maxstack 1ldstr "Hello world!"call void [mscorlib]System.Console::WriteLine(string)ret }

在控制臺(tái)上打印Hello world字符串。MSIL以entrypoint表示入口方法，而不一定是C#中規(guī)定的Main方法。

2 使用局部變量

.locals init (int32 first,int32 second,int32 result)

上面的語(yǔ)法，定義了三個(gè)局部變量，它的名稱(chēng)分別是first,sencond,result。

下面的代碼讀取用戶在控制臺(tái)上的輸入值，并調(diào)用Parse方法，把結(jié)果保存在first局部變量中。

ldstr "First number: " call void [mscorlib]System.Console::Write(string) call string [mscorlib]System.Console::ReadLine() call int32 [mscorlib]System.Int32::Parse(string) stloc first ?

調(diào)用add方法，將frist和second的值加起來(lái)，保存到resutl局部變量中

ldloc first ldloc second add stloc result ?

最后，在控制臺(tái)上打印結(jié)果值

ldstr "{0} + {1} = {2}" ldloc first box int32 ldloc second box int32 ldloc result box int32 call void [mscorlib]System.Console::WriteLine(string, object, object, object)

因?yàn)槿齻€(gè)局部變量是int32類(lèi)型，調(diào)用WriteLine方法時(shí)要傳入object類(lèi)型，所以要裝箱(box)。

?

3 定義類(lèi)型

新建一個(gè)calss/enum/struct即為定義一種新的程序類(lèi)型，擴(kuò)展.NET本身已有的類(lèi)型和功能。

.class Kerr.RealEstate.House {.method public void .ctor(){.maxstack 1ldarg.0 // push "this" instance onto the stackcall instance void [mscorlib]System.Object::.ctor()ret} }

定義一個(gè)靜態(tài)類(lèi)型

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

注意下面的代碼，它展示了MSIL命名空間的用法?？梢灾苯影裞alss放在namespace里面，用大括號(hào)括起來(lái)，或是像本段的第一個(gè)代碼所表達(dá)的，直接寫(xiě)完整的命名空間(C#中不支持這樣的寫(xiě)法)。

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

下面的代碼演示新定義的類(lèi)型繼承于現(xiàn)有的類(lèi)型，和Java的語(yǔ)法相似。

.class Kerr.RealEstate.RoomListextends [System.Windows.Forms]System.Windows.Forms.ListViewimplements Kerr.IView {/* members */ }

定義一個(gè)接口，然后實(shí)現(xiàn)這個(gè)接口

.class interface Kerr.IView {/* members */ } .class Kerr.RealEstate.HouseDataextends [mscorlib]System.ValueType {/* members */ }
?

4? 定義類(lèi)型成員

我在學(xué)習(xí)C++時(shí)，C++把類(lèi)型成員區(qū)分為數(shù)據(jù)成員和方法成員，前者表示字段，后者表示方法。標(biāo)準(zhǔn)的C++書(shū)籍中從來(lái)不會(huì)把方法稱(chēng)作函數(shù)，所以一直以來(lái)養(yǎng)成習(xí)慣，函數(shù)只用來(lái)指SQL Server腳本中的函數(shù)，.NET代碼中只有方法。

假設(shè)，我們正在定義下面的類(lèi)型，將要為它添加方法

.class abstract Kerr.Sample.Object { }

靜態(tài)構(gòu)造方法和構(gòu)造方法

.method static void .cctor() {.maxstack 1ldstr ".cctor"call void [mscorlib]System.Console::WriteLine(string)ret } .method public void .ctor() {.maxstack 1ldarg.0call instance void [mscorlib]System.Object::.ctor()ldstr ".ctor"call void [mscorlib]System.Console::WriteLine(string)ret }

靜態(tài)構(gòu)造方法的調(diào)用時(shí)機(jī)時(shí)，當(dāng)該類(lèi)型的成員第一次被調(diào)用之前，先調(diào)用靜態(tài)構(gòu)造方法。

創(chuàng)建類(lèi)型的實(shí)例，并存儲(chǔ)在局部變量obj中

.locals (class TypeName obj) newobj void TypeName::.ctor() stloc obj

定義靜態(tài)方法

.method static void StaticMethod() { /* impl */ }

定義實(shí)例方法

.method void InstanceMethod() { /* impl */ } ? 下面的代碼演示如何調(diào)用靜態(tài)方法和實(shí)例方法 call void TypeName::StaticMethod() ldloc obj call instance void TypeName::InstanceMethod()

定義虛擬方法，這種情況主要用在繼承層次中，動(dòng)態(tài)調(diào)用繼承層次中重寫(xiě)的方法

.class House {.method public virtual void Buy(){.maxstack 1ldstr "House::Buy"call void [mscorlib]System.Console::WriteLine(string)ret}/* etc */ } .class TownHouseextends House {.method public virtual void Buy(){.maxstack 1ldstr "TownHouse::Buy"call void [mscorlib]System.Console::WriteLine(string)ret}/* etc */ }

下面的代碼演示了多態(tài)的應(yīng)用，MSIL版本，請(qǐng)參考下面代碼

newobj instance void House::.ctor() stloc house newobj instance void TownHouse::.ctor() stloc townHouse ldloc house call instance void House::Buy() ldloc townHouse call instance void TownHouse::Buy() ldloc townHouse call instance void House::Buy() ldloc townHouse callvirt instance void House::Buy()

最后在控制臺(tái)上的輸入結(jié)果是

House::Buy TownHouse::Buy House::Buy TownHouse::Buy

?

5? 異常處理

MSIL是一種面向?qū)ο蟮恼Z(yǔ)言，它的異常處理的基本指令格式

.try {/* protected code */leave.s _CONTINUE } <exception handler> _CONTINUE:

來(lái)看一個(gè)例子，它讀取字符串值，調(diào)用Int32.Parse分析字符串，返回字符串代表的整型值

.try {ldstr "I'm not a number"// ldnull// ldstr "123"call int32 [mscorlib]System.Int32::Parse(string)leave.s _CONTINUE } catch [mscorlib]System.ArgumentNullException {callvirt instance string [mscorlib]System.Exception::get_Message()call void [mscorlib]System.Console::WriteLine(string)leave.s _CONTINUE } catch [mscorlib]System.FormatException {callvirt instance string [mscorlib]System.Exception::get_Message()call void [mscorlib]System.Console::WriteLine(string)leave.s _CONTINUE }

上面的代碼會(huì)拋出格式異常，異常會(huì)被FormaException截獲，它會(huì)在控制臺(tái)上打印異常信息。

異常過(guò)濾器

.try {// ldstr "I'm not a number"ldnull// ldstr "123"call int32 [mscorlib]System.Int32::Parse(string)leave.s _CONTINUE } filter {ldstr "filter evaluation\n\t"call void [mscorlib]System.Console::Write(string)callvirt instance string [mscorlib]System.Exception::get_Message()call void [mscorlib]System.Console::WriteLine(string)ldc.i4.1endfilter } {ldstr "filter handler\n\t"call void [mscorlib]System.Console::Write(string)callvirt instance string [mscorlib]System.Exception::get_Message()call void [mscorlib]System.Console::WriteLine(string)leave.s _CONTINUE }

try 語(yǔ)句中的代碼會(huì)拋出null異常，過(guò)濾器攔截此異常，并把true壓入堆棧，表示已經(jīng)處理此異常，方法返回。

finally語(yǔ)句用最終都會(huì)被執(zhí)行，比如要釋放非托管資源，數(shù)據(jù)庫(kù)連接等等

.try {/* protected code */leave.s _CONTINUE } finally {/* cleanup code */endfinally }

fault處理語(yǔ)句，try語(yǔ)句執(zhí)行完畢后，進(jìn)入fault語(yǔ)句，只能與try語(yǔ)句塊一起使用。與C#中的using(using(Object i=new Ojbect()); )用法相似，保證Dispose方法一定會(huì)被調(diào)用。

.try {/* protected code */leave.s _CONTINUE } fault {/* cleanup code */endfault }

6 控制流程

IF-ELSE語(yǔ)句

C#方法定義如下

void Send(string message) {if (null == message){throw new ArgumentNullException("message");}/* impl */ }

?

翻譯成MSIL語(yǔ)言，代碼如下

.method void Send(string message) {.maxstack 2ldnullldarg messageceqldc.i4.0ceqbrtrue.s _CONTINUEldstr "message"newobj instance void [mscorlib]System.ArgumentNullException::.ctor(string)throw_CONTINUE: /* impl */ret }

FOR語(yǔ)句

C#語(yǔ)句的寫(xiě)法

for (int index = 0; 10 != index; ++index) {Debug.WriteLine(index); }

翻譯成MSIL語(yǔ)言的寫(xiě)法

int index = 0;goto _CONDITION;_LOOP:++index;_CONDITION:if (10 != index){// for statementsDebug.WriteLine(index);goto _LOOP;}

再來(lái)看一個(gè)FOR語(yǔ)句的例子

.locals init (int32 index)br.s _CONDITION_LOOP:ldc.i4.1ldloc indexaddstloc index _CONDITION:ldc.i4.s 10ldloc indexbeq _CONTINUE// for statementsldloc indexbox int32call void [System]System.Diagnostics.Debug::WriteLine(object)br.s _LOOP_CONTINUE: ?

7 類(lèi)型轉(zhuǎn)換

MSIL代碼例子，請(qǐng)看下面的代碼

.locals init (int32 small,int64 big)// Int32 small = 123; ldc.i4.s 123 stloc small// Int64 big = small; ldloc small conv.i8 stloc big// small = static_cast<Int32>(big); ldloc big conv.i4 stloc small

對(duì)應(yīng)的C#語(yǔ)句是

Int32 small = 123; Int64 big = small;small = static_cast<Int32>(big);

逐語(yǔ)句的對(duì)比分析

.locals init (int32 small,int64 big)// Int32 small = 123; ldc.i4.s 123 stloc small// Int64 big = small; ldloc small conv.i8 stloc big// small = static_cast<Int32>(big); ldloc big conv.i4 stloc small

8? FOREACH語(yǔ)句

FOREACH語(yǔ)句應(yīng)該是C#發(fā)明的，未見(jiàn)其它語(yǔ)言有此語(yǔ)言，以安全快速的方法遍歷一個(gè)集合。

來(lái)看下面的這個(gè)例子，C++語(yǔ)言的例子

array<int>^ numbers = gcnew array<int> { 1, 2, 3 };for each (int element in numbers) {Console::WriteLine(element); }

翻譯成MSIL語(yǔ)言之后，代碼如下面所示

.locals init (int32[] numbers,int32 index)// Create the arrayldc.i4.3newarr int32stloc numbers// Populate the arrayldloc numbers ldc.i4.0 // indexldc.i4.1 // valuestelem.i4ldloc numbers ldc.i4.1 // index ldc.i4.2 // value stelem.i4ldloc numbers ldc.i4.2 // index ldc.i4.3 // valuestelem.i4br.s _CONDITION_LOOP:ldc.i4.1ldloc indexaddstloc index _CONDITION:ldloc numbersldlenldloc indexbeq _CONTINUE// for each statementsldloc numbersldloc indexldelem.i4call void [mscorlib]System.Console::WriteLine(int32)br.s _LOOP_CONTINUE:

再來(lái)看稍微復(fù)雜一點(diǎn)的例子

Collections::ArrayList numbers(3); numbers.Add(1); numbers.Add(2); numbers.Add(3);for each (int element in %numbers) {Console::WriteLine(element); }

翻譯成MSIL語(yǔ)言的代碼如下面所示

.locals init (class [mscorlib]System.Collections.ArrayList numbers,class [mscorlib]System.Collections.IEnumerator enumerator)// Create the arrayldc.i4.3newobj instance void [mscorlib]System.Collections.ArrayList::.ctor(int32)stloc numbers// Populate the arrayldloc numbers ldc.i4.1 box int32callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)popldloc numbers ldc.i4.2 box int32callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)popldloc numbers ldc.i4.2 box int32callvirt instance int32 [mscorlib]System.Collections.ArrayList::Add(object)pop// Get the enumeratorldloc numberscallvirt instance class [mscorlib]System.Collections.IEnumerator [mscorlib]System.Collections.IEnumerable::GetEnumerator()stloc enumeratorbr.s _CONDITION_CONDITION:ldloc enumeratorcallvirt instance bool [mscorlib]System.Collections.IEnumerator::MoveNext()brfalse.s _CONTINUE// for each statementsldloc enumeratorcallvirt instance object [mscorlib]System.Collections.IEnumerator::get_Current()call void [mscorlib]System.Console::WriteLine(object)br.s _CONDITION_CONTINUE:

?

Visual Studio不支持MSIL格式的源代碼文件語(yǔ)法高亮，推薦用Visual Microsoft Intermediate Language編輯器來(lái)閱讀IL代碼，工程化的管理方式，還可生成目標(biāo)文件，比記事本方便好用。

轉(zhuǎn)載于:https://www.cnblogs.com/JamesLi2015/p/3174196.html

總結(jié)

以上是生活随笔為你收集整理的代码大全 MSIL语言程序设计的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。