通用中间语言(CIL)
生活随笔
收集整理的這篇文章主要介紹了
通用中间语言(CIL)
小編覺得挺不錯的,現在分享給大家,幫大家做個參考.
1.前言
在編寫程序時，往往需要比較多種聲明或算法的性能，這可以通過查看程序的 IL 代碼分析比較其過程及步驟的方式實現。
在編譯使用 .NET Framework 庫代碼時，不是立即創建專用于操作系統的本機代碼，而是把代碼編譯為通用中間語言（Common Intermediate Language，CIL）代碼，這些代碼并非專用于任何一種操作系統，也非專用于C#，其他 .NET 語言（如 VB）也會在第一階段編譯為這種語言。開發 C# 應用程序時，這個編譯步驟由 VS 完成。IL主要包含一些元數據和中間語言指令。（CIL 也可稱為 MSIL 或 IL）
2.查看 IL 代碼
查看 IL 代碼的步驟如下：
1)打開 Developer Command Prompt for VS 2017
2)在 CMD 窗口中輸入命令 ildasm
3)以上步驟將彈出以下窗口，在 File 下打開已編譯的 exe 文件或 dll 文件，左圖為 IL 使用 ILDasm 反編譯的結果，右圖為 ILDasm 圖標含義：
其對應源碼如下：
namespace ConsoleApp4
{
class Person
{
string name;
public string Name
{
get { return name; }
set { name = value; }
}
public void SayNum(int num)
{
Console.WriteLine($"the num is {num}");
}
public static void Method()
{
Console.WriteLine("I am a person.");
}
}
class Program
{
static void Main(string[] args)
{
Person p = new Person();
p.Name = "kyle";
p.SayNum(10);
Person.Method();
Console.ReadKey();
}
}
}
View Code
3.分析 IL 代碼
在分析 IL 代碼之前，應對程序執行在內存中的分配有一定的了解，
Managed Heap：托管堆動態配置（Dynamic Allocation）的內存，用來分配引用類型的對象，由Garbage Collector（GC）在執行時自動管理，整個Process共用一個Managed Heap。
Call Stack：調用堆棧是一個方法列表，按調用順序保存所有在運行期被調用的方法。
Evaluation Stack：這是由.NET CLR在執行時自動管理的內存，IL 里面的任何計算，都發生在 Evaluation Stack 上
IL 指令及其對應說明如下所示：
名稱 說明 Add 將兩個值相加并將結果推送到計算堆棧上。 Add.Ovf 將兩個整數相加，執行溢出檢查，并且將結果推送到計算堆棧上。 Add.Ovf.Un 將兩個無符號整數值相加，執行溢出檢查，并且將結果推送到計算堆棧上。 And 計算兩個值的按位“與”并將結果推送到計算堆棧上。 Arglist 返回指向當前方法的參數列表的非托管指針。 Beq 如果兩個值相等，則將控制轉移到目標指令。 Beq.S 如果兩個值相等，則將控制轉移到目標指令（短格式）。 Bge 如果第一個值大于或等于第二個值，則將控制轉移到目標指令。 Bge.S 如果第一個值大于或等于第二個值，則將控制轉移到目標指令（短格式）。 Bge.Un 當比較無符號整數值或不可排序的浮點型值時，如果第一個值大于第二個值，則將控制轉移到目標指令。 Bge.Un.S 當比較無符號整數值或不可排序的浮點型值時，如果第一個值大于第二個值，則將控制轉移到目標指令（短格式）。 Bgt 如果第一個值大于第二個值，則將控制轉移到目標指令。 Bgt.S 如果第一個值大于第二個值，則將控制轉移到目標指令（短格式）。 Bgt.Un 當比較無符號整數值或不可排序的浮點型值時，如果第一個值大于第二個值，則將控制轉移到目標指令。 Bgt.Un.S 當比較無符號整數值或不可排序的浮點型值時，如果第一個值大于第二個值，則將控制轉移到目標指令（短格式）。 Ble 如果第一個值小于或等于第二個值，則將控制轉移到目標指令。 Ble.S 如果第一個值小于或等于第二個值，則將控制轉移到目標指令（短格式）。 Ble.Un 當比較無符號整數值或不可排序的浮點型值時，如果第一個值小于或等于第二個值，則將控制轉移到目標指令。 Ble.Un.S 當比較無符號整數值或不可排序的浮點值時，如果第一個值小于或等于第二個值，則將控制權轉移到目標指令（短格式）。 Blt 如果第一個值小于第二個值，則將控制轉移到目標指令。 Blt.S 如果第一個值小于第二個值，則將控制轉移到目標指令（短格式）。 Blt.Un 當比較無符號整數值或不可排序的浮點型值時，如果第一個值小于第二個值，則將控制轉移到目標指令。 Blt.Un.S 當比較無符號整數值或不可排序的浮點型值時，如果第一個值小于第二個值，則將控制轉移到目標指令（短格式）。 Bne.Un 當兩個無符號整數值或不可排序的浮點型值不相等時，將控制轉移到目標指令。 Bne.Un.S 當兩個無符號整數值或不可排序的浮點型值不相等時，將控制轉移到目標指令（短格式）。 Box 將值類轉換為對象引用（O 類型）。 Br 無條件地將控制轉移到目標指令。 Br.S 無條件地將控制轉移到目標指令（短格式）。 Break 向公共語言結構 (CLI) 發出信號以通知調試器已撞上了一個斷點。 Brfalse 如果 value 為 false、空引用（Visual Basic 中的 Nothing）或零，則將控制轉移到目標指令。 Brfalse.S 如果 value 為 false、空引用或零，則將控制轉移到目標指令。 Brtrue 如果 value 為 true、非空或非零，則將控制轉移到目標指令。 Brtrue.S 如果 value 為 true、非空或非零，則將控制轉移到目標指令（短格式）。 Call 調用由傳遞的方法說明符指示的方法。 Calli 通過調用約定描述的參數調用在計算堆棧上指示的方法（作為指向入口點的指針）。 Callvirt 對對象調用后期綁定方法，并且將返回值推送到計算堆棧上。 Castclass 嘗試將引用傳遞的對象轉換為指定的類。 Ceq 比較兩個值。如果這兩個值相等，則將整數值 1 (int32) 推送到計算堆棧上；否則，將 0 (int32) 推送到計算堆棧上。 Cgt 比較兩個值。如果第一個值大于第二個值，則將整數值 1 (int32) 推送到計算堆棧上；反之，將 0 (int32) 推送到計算堆棧上。 Cgt.Un 比較兩個無符號的或不可排序的值。如果第一個值大于第二個值，則將整數值 1 (int32) 推送到計算堆棧上；反之，將 0 (int32) 推送到計算堆棧上。 Ckfinite 如果值不是有限數，則引發 ArithmeticException。 Clt 比較兩個值。如果第一個值小于第二個值，則將整數值 1 (int32) 推送到計算堆棧上；反之，將 0 (int32) 推送到計算堆棧上。 Clt.Un 比較無符號的或不可排序的值 value1 和 value2。如果 value1 小于 value2，則將整數值 1 (int32 ) 推送到計算堆棧上；反之，將 0 ( int32 ) 推送到計算堆棧上。 Constrained 約束要對其進行虛方法調用的類型。 Conv.I 將位于計算堆棧頂部的值轉換為 native int。 Conv.I1 將位于計算堆棧頂部的值轉換為 int8，然后將其擴展（填充）為 int32。 Conv.I2 將位于計算堆棧頂部的值轉換為 int16，然后將其擴展（填充）為 int32。 Conv.I4 將位于計算堆棧頂部的值轉換為 int32。 Conv.I8 將位于計算堆棧頂部的值轉換為 int64。 Conv.Ovf.I 將位于計算堆棧頂部的有符號值轉換為有符號 native int，并在溢出時引發 OverflowException。 Conv.Ovf.I.Un 將位于計算堆棧頂部的無符號值轉換為有符號 native int，并在溢出時引發 OverflowException。 Conv.Ovf.I1 將位于計算堆棧頂部的有符號值轉換為有符號 int8 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.I1.Un 將位于計算堆棧頂部的無符號值轉換為有符號 int8 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.I2 將位于計算堆棧頂部的有符號值轉換為有符號 int16 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.I2.Un 將位于計算堆棧頂部的無符號值轉換為有符號 int16 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.I4 將位于計算堆棧頂部的有符號值轉換為有符號 int32，并在溢出時引發 OverflowException。 Conv.Ovf.I4.Un 將位于計算堆棧頂部的無符號值轉換為有符號 int32，并在溢出時引發 OverflowException。 Conv.Ovf.I8 將位于計算堆棧頂部的有符號值轉換為有符號 int64，并在溢出時引發 OverflowException。 Conv.Ovf.I8.Un 將位于計算堆棧頂部的無符號值轉換為有符號 int64，并在溢出時引發 OverflowException。 Conv.Ovf.U 將位于計算堆棧頂部的有符號值轉換為 unsigned native int，并在溢出時引發 OverflowException。 Conv.Ovf.U.Un 將位于計算堆棧頂部的無符號值轉換為 unsigned native int，并在溢出時引發 OverflowException。 Conv.Ovf.U1 將位于計算堆棧頂部的有符號值轉換為 unsigned int8 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.U1.Un 將位于計算堆棧頂部的無符號值轉換為 unsigned int8 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.U2 將位于計算堆棧頂部的有符號值轉換為 unsigned int16 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.U2.Un 將位于計算堆棧頂部的無符號值轉換為 unsigned int16 并將其擴展為 int32，并在溢出時引發 OverflowException。 Conv.Ovf.U4 將位于計算堆棧頂部的有符號值轉換為 unsigned int32，并在溢出時引發 OverflowException。 Conv.Ovf.U4.Un 將位于計算堆棧頂部的無符號值轉換為 unsigned int32，并在溢出時引發 OverflowException。 Conv.Ovf.U8 將位于計算堆棧頂部的有符號值轉換為 unsigned int64，并在溢出時引發 OverflowException。 Conv.Ovf.U8.Un 將位于計算堆棧頂部的無符號值轉換為 unsigned int64，并在溢出時引發 OverflowException。 Conv.R.Un 將位于計算堆棧頂部的無符號整數值轉換為 float32。 Conv.R4 將位于計算堆棧頂部的值轉換為 float32。 Conv.R8 將位于計算堆棧頂部的值轉換為 float64。 Conv.U 將位于計算堆棧頂部的值轉換為 unsigned native int，然后將其擴展為 native int。 Conv.U1 將位于計算堆棧頂部的值轉換為 unsigned int8，然后將其擴展為 int32。 Conv.U2 將位于計算堆棧頂部的值轉換為 unsigned int16，然后將其擴展為 int32。 Conv.U4 將位于計算堆棧頂部的值轉換為 unsigned int32，然后將其擴展為 int32。 Conv.U8 將位于計算堆棧頂部的值轉換為 unsigned int64，然后將其擴展為 int64。 Cpblk 將指定數目的字節從源地址復制到目標地址。 Cpobj 將位于對象（&、* 或 native int 類型）地址的值類型復制到目標對象（&、* 或 native int 類型）的地址。 Div 將兩個值相除并將結果作為浮點（F 類型）或商（int32 類型）推送到計算堆棧上。 Div.Un 兩個無符號整數值相除并將結果 ( int32 ) 推送到計算堆棧上。 Dup 復制計算堆棧上當前最頂端的值，然后將副本推送到計算堆棧上。 Endfilter 將控制從異常的 filter 子句轉移回公共語言結構 (CLI) 異常處理程序。 Endfinally 將控制從異常塊的 fault 或 finally 子句轉移回公共語言結構 (CLI) 異常處理程序。 Initblk 將位于特定地址的內存的指定塊初始化為給定大小和初始值。 Initobj 將位于指定地址的值類型的每個字段初始化為空引用或適當的基元類型的 0。 Isinst 測試對象引用（O 類型）是否為特定類的實例。 Jmp 退出當前方法并跳至指定方法。 Ldarg 將參數（由指定索引值引用）加載到堆棧上。 Ldarg.0 將索引為 0 的參數加載到計算堆棧上。 Ldarg.1 將索引為 1 的參數加載到計算堆棧上。 Ldarg.2 將索引為 2 的參數加載到計算堆棧上。 Ldarg.3 將索引為 3 的參數加載到計算堆棧上。 Ldarg.S 將參數（由指定的短格式索引引用）加載到計算堆棧上。 Ldarga 將參數地址加載到計算堆棧上。 Ldarga.S 以短格式將參數地址加載到計算堆棧上。 Ldc.I4 將所提供的 int32 類型的值作為 int32 推送到計算堆棧上。 Ldc.I4.0 將整數值 0 作為 int32 推送到計算堆棧上。 Ldc.I4.1 將整數值 1 作為 int32 推送到計算堆棧上。 Ldc.I4.2 將整數值 2 作為 int32 推送到計算堆棧上。 Ldc.I4.3 將整數值 3 作為 int32 推送到計算堆棧上。 Ldc.I4.4 將整數值 4 作為 int32 推送到計算堆棧上。 Ldc.I4.5 將整數值 5 作為 int32 推送到計算堆棧上。 Ldc.I4.6 將整數值 6 作為 int32 推送到計算堆棧上。 Ldc.I4.7 將整數值 7 作為 int32 推送到計算堆棧上。 Ldc.I4.8 將整數值 8 作為 int32 推送到計算堆棧上。 Ldc.I4.M1 將整數值 -1 作為 int32 推送到計算堆棧上。 Ldc.I4.S 將提供的 int8 值作為 int32 推送到計算堆棧上（短格式）。 Ldc.I8 將所提供的 int64 類型的值作為 int64 推送到計算堆棧上。 Ldc.R4 將所提供的 float32 類型的值作為 F (float) 類型推送到計算堆棧上。 Ldc.R8 將所提供的 float64 類型的值作為 F (float) 類型推送到計算堆棧上。 Ldelem 按照指令中指定的類型，將指定數組索引中的元素加載到計算堆棧的頂部。 Ldelem.I 將位于指定數組索引處的 native int 類型的元素作為 native int 加載到計算堆棧的頂部。 Ldelem.I1 將位于指定數組索引處的 int8 類型的元素作為 int32 加載到計算堆棧的頂部。 Ldelem.I2 將位于指定數組索引處的 int16 類型的元素作為 int32 加載到計算堆棧的頂部。 Ldelem.I4 將位于指定數組索引處的 int32 類型的元素作為 int32 加載到計算堆棧的頂部。 Ldelem.I8 將位于指定數組索引處的 int64 類型的元素作為 int64 加載到計算堆棧的頂部。 Ldelem.R4 將位于指定數組索引處的 float32 類型的元素作為 F 類型（浮點型）加載到計算堆棧的頂部。 Ldelem.R8 將位于指定數組索引處的 float64 類型的元素作為 F 類型（浮點型）加載到計算堆棧的頂部。 Ldelem.Ref 將位于指定數組索引處的包含對象引用的元素作為 O 類型（對象引用）加載到計算堆棧的頂部。 Ldelem.U1 將位于指定數組索引處的 unsigned int8 類型的元素作為 int32 加載到計算堆棧的頂部。 Ldelem.U2 將位于指定數組索引處的 unsigned int16 類型的元素作為 int32 加載到計算堆棧的頂部。 Ldelem.U4 將位于指定數組索引處的 unsigned int32 類型的元素作為 int32 加載到計算堆棧的頂部。 Ldelema 將位于指定數組索引的數組元素的地址作為 & 類型（托管指針）加載到計算堆棧的頂部。 Ldfld 查找對象中其引用當前位于計算堆棧的字段的值。 Ldflda 查找對象中其引用當前位于計算堆棧的字段的地址。 Ldftn 將指向實現特定方法的本機代碼的非托管指針（native int 類型）推送到計算堆棧上。 Ldind.I 將 native int 類型的值作為 native int 間接加載到計算堆棧上。 Ldind.I1 將 int8 類型的值作為 int32 間接加載到計算堆棧上。 Ldind.I2 將 int16 類型的值作為 int32 間接加載到計算堆棧上。 Ldind.I4 將 int32 類型的值作為 int32 間接加載到計算堆棧上。 Ldind.I8 將 int64 類型的值作為 int64 間接加載到計算堆棧上。 Ldind.R4 將 float32 類型的值作為 F (float) 類型間接加載到計算堆棧上。 Ldind.R8 將 float64 類型的值作為 F (float) 類型間接加載到計算堆棧上。 Ldind.Ref 將對象引用作為 O（對象引用）類型間接加載到計算堆棧上。 Ldind.U1 將 unsigned int8 類型的值作為 int32 間接加載到計算堆棧上。 Ldind.U2 將 unsigned int16 類型的值作為 int32 間接加載到計算堆棧上。 Ldind.U4 將 unsigned int32 類型的值作為 int32 間接加載到計算堆棧上。 Ldlen 將從零開始的、一維數組的元素的數目推送到計算堆棧上。 Ldloc 將指定索引處的局部變量加載到計算堆棧上。 Ldloc.0 將索引 0 處的局部變量加載到計算堆棧上。 Ldloc.1 將索引 1 處的局部變量加載到計算堆棧上。 Ldloc.2 將索引 2 處的局部變量加載到計算堆棧上。 Ldloc.3 將索引 3 處的局部變量加載到計算堆棧上。 Ldloc.S 將特定索引處的局部變量加載到計算堆棧上（短格式）。 Ldloca 將位于特定索引處的局部變量的地址加載到計算堆棧上。 Ldloca.S 將位于特定索引處的局部變量的地址加載到計算堆棧上（短格式）。 Ldnull 將空引用（O 類型）推送到計算堆棧上。 Ldobj 將地址指向的值類型對象復制到計算堆棧的頂部。 Ldsfld 將靜態字段的值推送到計算堆棧上。 Ldsflda 將靜態字段的地址推送到計算堆棧上。 Ldstr 推送對元數據中存儲的字符串的新對象引用。 Ldtoken 將元數據標記轉換為其運行時表示形式，并將其推送到計算堆棧上。 Ldvirtftn 將指向實現與指定對象關聯的特定虛方法的本機代碼的非托管指針（native int 類型）推送到計算堆棧上。 Leave 退出受保護的代碼區域，無條件將控制轉移到特定目標指令。 Leave.S 退出受保護的代碼區域，無條件將控制轉移到目標指令（縮寫形式）。 Localloc 從本地動態內存池分配特定數目的字節并將第一個分配的字節的地址（瞬態指針，* 類型）推送到計算堆棧上。 Mkrefany 將對特定類型實例的類型化引用推送到計算堆棧上。 Mul 將兩個值相乘并將結果推送到計算堆棧上。 Mul.Ovf 將兩個整數值相乘，執行溢出檢查，并將結果推送到計算堆棧上。 Mul.Ovf.Un 將兩個無符號整數值相乘，執行溢出檢查，并將結果推送到計算堆棧上。 Neg 對一個值執行求反并將結果推送到計算堆棧上。 Newarr 將對新的從零開始的一維數組（其元素屬于特定類型）的對象引用推送到計算堆棧上。 Newobj 創建一個值類型的新對象或新實例，并將對象引用（O 類型）推送到計算堆棧上。 Nop 如果修補操作碼，則填充空間。盡管可能消耗處理周期，但未執行任何有意義的操作。 Not 計算堆棧頂部整數值的按位求補并將結果作為相同的類型推送到計算堆棧上。 Or 計算位于堆棧頂部的兩個整數值的按位求補并將結果推送到計算堆棧上。 Pop 移除當前位于計算堆棧頂部的值。 Prefix1 基礎結構。此指令為保留指令。 Prefix2 基礎結構。此指令為保留指令。 Prefix3 基礎結構。此指令為保留指令。 Prefix4 基礎結構。此指令為保留指令。 Prefix5 基礎結構。此指令為保留指令。 Prefix6 基礎結構。此指令為保留指令。 Prefix7 基礎結構。此指令為保留指令。 Prefixref 基礎結構。此指令為保留指令。 Readonly 指定后面的數組地址操作在運行時不執行類型檢查，并且返回可變性受限的托管指針。 Refanytype 檢索嵌入在類型化引用內的類型標記。 Refanyval 檢索嵌入在類型化引用內的地址（& 類型）。 Rem 將兩個值相除并將余數推送到計算堆棧上。 Rem.Un 將兩個無符號值相除并將余數推送到計算堆棧上。 Ret 從當前方法返回，并將返回值（如果存在）從調用方的計算堆棧推送到被調用方的計算堆棧上。 Rethrow 再次引發當前異常。 Shl 將整數值左移（用零填充）指定的位數，并將結果推送到計算堆棧上。 Shr 將整數值右移（保留符號）指定的位數，并將結果推送到計算堆棧上。 Shr.Un 將無符號整數值右移（用零填充）指定的位數，并將結果推送到計算堆棧上。 Sizeof 將提供的值類型的大小（以字節為單位）推送到計算堆棧上。 Starg 將位于計算堆棧頂部的值存儲到位于指定索引的參數槽中。 Starg.S 將位于計算堆棧頂部的值存儲在參數槽中的指定索引處（短格式）。 Stelem 用計算堆棧中的值替換給定索引處的數組元素，其類型在指令中指定。 Stelem.I 用計算堆棧上的 native int 值替換給定索引處的數組元素。 Stelem.I1 用計算堆棧上的 int8 值替換給定索引處的數組元素。 Stelem.I2 用計算堆棧上的 int16 值替換給定索引處的數組元素。 Stelem.I4 用計算堆棧上的 int32 值替換給定索引處的數組元素。 Stelem.I8 用計算堆棧上的 int64 值替換給定索引處的數組元素。 Stelem.R4 用計算堆棧上的 float32 值替換給定索引處的數組元素。 Stelem.R8 用計算堆棧上的 float64 值替換給定索引處的數組元素。 Stelem.Ref 用計算堆棧上的對象 ref 值（O 類型）替換給定索引處的數組元素。 Stfld 用新值替換在對象引用或指針的字段中存儲的值。 Stind.I 在所提供的地址存儲 native int 類型的值。 Stind.I1 在所提供的地址存儲 int8 類型的值。 Stind.I2 在所提供的地址存儲 int16 類型的值。 Stind.I4 在所提供的地址存儲 int32 類型的值。 Stind.I8 在所提供的地址存儲 int64 類型的值。 Stind.R4 在所提供的地址存儲 float32 類型的值。 Stind.R8 在所提供的地址存儲 float64 類型的值。 Stind.Ref 存儲所提供地址處的對象引用值。 Stloc 從計算堆棧的頂部彈出當前值并將其存儲到指定索引處的局部變量列表中。 Stloc.0 從計算堆棧的頂部彈出當前值并將其存儲到索引 0 處的局部變量列表中。 Stloc.1 從計算堆棧的頂部彈出當前值并將其存儲到索引 1 處的局部變量列表中。 Stloc.2 從計算堆棧的頂部彈出當前值并將其存儲到索引 2 處的局部變量列表中。 Stloc.3 從計算堆棧的頂部彈出當前值并將其存儲到索引 3 處的局部變量列表中。 Stloc.S 從計算堆棧的頂部彈出當前值并將其存儲在局部變量列表中的 index 處（短格式）。 Stobj 將指定類型的值從計算堆棧復制到所提供的內存地址中。 Stsfld 用來自計算堆棧的值替換靜態字段的值。 Sub 從其他值中減去一個值并將結果推送到計算堆棧上。 Sub.Ovf 從另一值中減去一個整數值，執行溢出檢查，并且將結果推送到計算堆棧上。 Sub.Ovf.Un 從另一值中減去一個無符號整數值，執行溢出檢查，并且將結果推送到計算堆棧上。 Switch 實現跳轉表。 Tailcall 執行后綴的方法調用指令，以便在執行實際調用指令前移除當前方法的堆棧幀。 Throw 引發當前位于計算堆棧上的異常對象。 Unaligned 指示當前位于計算堆棧上的地址可能沒有與緊接的 ldind、stind、ldfld、stfld、ldobj、stobj、initblk 或 cpblk 指令的自然大小對齊。 Unbox 將值類型的已裝箱的表示形式轉換為其未裝箱的形式。 Unbox.Any 將指令中指定類型的已裝箱的表示形式轉換成未裝箱形式。 Volatile 指定當前位于計算堆棧頂部的地址可以是易失的，并且讀取該位置的結果不能被緩存，或者對該地址的多個存儲區不能被取消。 Xor 計算位于計算堆棧頂部的兩個值的按位異或，并且將結果推送到計算堆棧上。
View Code
通過雙擊一個對象來查看其 IL 代碼，下面將以之前代碼中的 SayNum 方法為例進行分析：
.method public hidebysig instance void SayNum(int32 num) cil managed
{
// Code size 24 (0x18)
.maxstack 8
IL_0000: nop
IL_0001: ldstr "the num is {0}"
IL_0006: ldarg.1
IL_0007: box [mscorlib]System.Int32
IL_000c: call string [mscorlib]System.String::Format(string,
object)
IL_0011: call void [mscorlib]System.Console::WriteLine(string)
IL_0016: nop
IL_0017: ret
} // end of method Person::SayNum
View Code
以上 IL 代碼中會用到的指令有：
1)nop：無操作
2)ret：從當前方法返回，并將返回值（如果存在）從調用方的計算堆棧推送到被調用方的計算堆棧上。
3)call：調用由傳遞的方法說明符指示的方法。
4)box：將值類轉換為對象引用，就是裝箱，同理可以知道拆箱unbox
5)ldstr: 推送對元數據中存儲的字符串的新對象引用
6)ldarg.1:將索引為 1 的參數加載到計算堆棧上
對 IL 代碼添加注釋后如下：
.method public hidebysig instance void SayNum(int32 num) cil managed
{
// Code size 24 (0x18) // 代碼大小
.maxstack 8 // 計算出計算堆棧能存幾個值
IL_0000: nop // 無操作
IL_0001: ldstr "the num is {0}" // 推送對元數據中存儲的字符串的新對象引用
IL_0006: ldarg.1 // 將索引為 1 的參數加載到計算堆棧上
IL_0007: box [mscorlib]System.Int32 // 裝箱
IL_000c: call string [mscorlib]System.String::Format(string,object) // 調用內部方法
IL_0011: call void [mscorlib]System.Console::WriteLine(string) // 調用WriteLine
IL_0016: nop // 無操作
IL_0017: ret // return
} // end of method Person::SayNum
View Code
總結
以上是生活随笔為你收集整理的通用中间语言(CIL)的全部內容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： 大数据笔记-外存算法
- 下一篇： clustalw2 使用简介