.NET Emit 入門教程:第六部分:IL 指令:3:詳解 ILGenerator 指令方法:參數加載指令

前言:

在上一篇中,我們介紹了 ILGenerator 輔助方法。

本篇,將詳細介紹指令方法,並詳細介紹指令的相關用法。

在接下來的教程,關於IL指令部分,會將指令分爲以下幾個分類進行講解:

1、參數加載指令:ld 開頭的指令,單詞爲:load argument

2、參數存儲指令:st 開頭的指令,單詞爲:store

3、創建實例指令: new 開頭的指令。

4、方法調用指令:call 開頭的指令。

5、分支條件指令:br 開頭的指令,單詞爲 break

6、類型轉換指令:cast 或 conv 開頭的指令,單詞爲:convert

7、運算操作指令:add/sub/mul/div/rem ,加減乘除取餘。

8、其它指令

下面開始介紹第一部分,參數加載指令:

參數加載指令:

參數加載指令用於在方法中加載參數到操作數棧中,爲後續的操作做準備。

當涉及 CIL(Common Intermediate Language)指令時,以 "ld" 開頭的指令通常用於加載數據到操作數棧中。

以下是一些常見的以 "ld" 開頭的參數加載指令及其簡要說明:

  1. ldarg: 將指定索引位置的參數加載到操作數棧中。用於將方法的參數加載到操作數棧中,以便在方法中進行操作或傳遞給其他方法。

  2. ldarga: 將指定索引位置的參數的地址加載到操作數棧中。通常用於獲取參數的地址,以便在方法中對參數進行引用傳遞。

  3. ldc_X: 將常量加載到操作數棧中。其中 X 可以是 I(整數)、I4(32 位整數)、I8(64 位整數)、R4(單精度浮點數)、R8(雙精度浮點數)、I4_M1(-1 的特殊表示)、I4_0、I4_1、I4_2、I4_3、I4_4、I4_5(特殊整數常量)等。

  4. ldloc: 將指定索引位置的本地變量加載到操作數棧中。用於將方法內部的局部變量加載到操作數棧中,以進行後續的操作或傳遞給其他方法。

  5. ldloca: 將指定索引位置的本地變量的地址加載到操作數棧中。通常用於獲取局部變量的地址,以便在方法中對局部變量進行引用傳遞。

  6. ldfld: 將對象的字段值加載到操作數棧中。用於加載對象的字段值,以便在方法中進行操作或傳遞給其他方法。

  7. 其它:。

這些指令提供了豐富的功能,使得在方法內部能夠方便地處理參數、常量、本地變量和對象字段值。通過合理使用這些指令,可以實現對數據的靈活操作和處理。

參數加載指令:短格式和長格式

在 IL(Intermediate Language)中,有一些指令支持短格式和長格式的表示(以 “_S” 結尾代表 short 短指令,默認對應無 _S結尾的即代表長格式指令)。

短格式指令通常用於跳轉到相對較近的位置,而長格式指令則可以用於跳轉到較遠的位置。

在實際應用中,由於 IL 的靈活性和可擴展性,編譯器會根據需要自動選擇合適的指令格式。

這樣可以根據具體的跳轉距離來選擇最有效的指令格式,從而使生成的代碼更加高效。

總的來說,短格式和長格式的區別在於其編碼的範圍,短格式指令編碼的範圍較小,適用於相對較近的跳轉位置,而長格式指令則可以覆蓋更大的跳轉範圍。

這種設計可以使得 IL 代碼在執行時更加高效。

1、從方法傳參中加載:ldarg 加載參數值

ldarg: 將指定索引位置的參數加載到操作數棧中,該參數爲 Load Argument(加載參數)的簡寫。

該參數的作用:是從指定的方法傳參中獲得參數值,並將該值加載到操作數棧中。

OpCodes一共提供了5個相關的指令:

Ldarg_0:0索引參數。
Ldarg_1:1索引參數
Ldarg_2:2索引參數
Ldarg_3:3索引參數
Ldarg:使用自定義索引

示例代碼:

ILGenerator il = methodBuilder.GetILGenerator();
il.Emit(OpCodes.Ldarg_1);
il.Emit(OpCodes.Ldarg,2);//這裏使用自定義索引
il.Emit(OpCodes.Add);
il.Emit(OpCodes.Ret);

對應生成代碼:

在本段示例代碼中:

Ldarg_0:代表 this 當前對象。

Ldarg_1:代碼參數a

Ldarg_2:代碼參數b

Ldarg_3:無。

需要注意的是:

示例中定義的是實例方法,因此 Ldarg_0 代表 this 對象,而通過 DynamicMethod 創建的方法,默認則是靜態方法,Ldarg_0 則會代表參數a。

2、從方法傳參中加載:ldarga 加載參數引用地址

ldarga: 將指定索引位置的參數的地址加載到操作數棧中,該參數爲 Load Argument Address(加載參數地址)的簡寫。

該參數的作用:是從指定的方法傳參中獲得參數的地址,並將該地址加載到操作數棧中。

OpCodes一共提供了2個相關的指令:

Ldarga:需要指定索引值。
Ldarga_S:需要指定索引值

需要注意的是,在 C# 中除了操作 ref 或  out 會涉及到引用地址,其它操作操作引用地址(操作指針)都需要在unsafe方法下。

否則強行操作,會出現以下異常,例如:

也可能是以下異常:

3、數字類型值加載:ldc_X 加載參數值

在 Common Intermediate Language(CIL)中,以 "ldc" 開頭的操作碼指令主要用於將常量加載到操作數棧中。

這些指令在.NET平臺的程序集中起着重要的作用,用於處理常量數據的加載和操作。

以下是幾種以 "ldc" 開頭的常見操作碼指令及其分類和用途:

1. ldc_i4 / ldc_i4_s

  • 分類: 整數常量加載指令
  • 用途: 將 32 位整數常量加載到操作數棧中。ldc_i4 指令用於加載常量值介於 -2^31 到 2^31-1 之間的整數,而 ldc_i4_s 則用於加載介於 -128 到 127 之間的整數常量。

2. ldc_i8

  • 分類: 長整數常量加載指令
  • 用途: 將 64 位長整數常量加載到操作數棧中。適用於加載大於 Int32 範圍的整數常量。

3. ldc_r4 / ldc_r8

  • 分類: 浮點數常量加載指令
  • 用途: 將單精度浮點數(float)或雙精度浮點數(double)常量加載到操作數棧中。ldc.r4 用於加載單精度浮點數常量,而 ldc.r8 用於加載雙精度浮點數常量。

4. ldc_i4_m1 / ldc_i4_0 / ldc_i4_1 / ldc_i4_2 / ....../idc_i4_8

  • 分類: 特殊整數常量加載指令
  • 用途: 分別用於加載特定的整數常量值,例如 -1、0、1、2、......、6、7、8 等。

通過合理使用這些以 "ldc" 開頭的操作碼指令,開發人員可以方便地加載各種類型的常量數據到操作數棧中,爲程序的運行和計算提供必要的數據支持。

下面來一個簡單的示例:

ILGenerator il = dynamicMethod.GetILGenerator();
il.Emit(OpCodes.Ldc_I4, 9999);
il.Emit(OpCodes.Call, typeof(Console).GetMethod("WriteLine", new Type[] { typeof(int) }));
il.Emit(OpCodes.Ret);

運行後輸出:

4、局部變量加載:ldloc 參加變量值

ldloc: 將指定索引位置的本地變量加載到操作數棧中。用於將方法內部的局部變量加載到操作數棧中,以進行後續的操作或傳遞給其他方法。

該參數爲:load local 加載本地變量的簡寫。

該方法需要配合輔助變量使用,這個在上一篇輔助方法中有介紹到,這裏重溫一下上一篇的輔助方法,定義變量的內容:

5、局部變量加載:ldloca 參數變量值引用地址

ldloca: 將指定索引位置的本地變量的地址加載到操作數棧中。通常用於獲取局部變量的地址,以便在方法中對局部變量進行引用傳遞。

該參數爲:load local address 加載本地(變量、引用)地址的簡寫。

在C#中,操作引用地址,只能是 ref 或 out 兩種方式,而操作指針(也是引用地址)則需要在unsafe 方法下才可以。

下面演示一個通過 ldloca 參數返回 out 參數的示例:

Dictionary<string, string> dic = new Dictionary<string, string>();
dic.Add("a", "aaa");
var dicType = typeof(Dictionary<string, string>);
MethodInfo getValue = dicType.GetMethod("TryGetValue");


var method = new DynamicMethod("GetValue", typeof(object), new[] { typeof(Dictionary<string, string>), typeof(string) }, typeof(Dictionary<string, string>));//
var il = method.GetILGenerator();
var outText = il.DeclareLocal(typeof(string));

il.Emit(OpCodes.Ldarg_0); // Load the dic object onto the stack
il.Emit(OpCodes.Ldarg_1);//設置字段名。
il.Emit(OpCodes.Ldloca_S, outText);// 使用地址變量來接收: out 值
il.Emit(OpCodes.Callvirt, getValue);//bool a=dic.tryGetValue(...,out value)
il.Emit(OpCodes.Pop);//不需要執行的bool返回值

il.Emit(OpCodes.Ldloc_0);//加載 out 變量的值。
il.Emit(OpCodes.Ret); // Return the value

var func = (Func<Dictionary<string, string>, string, object>)method.CreateDelegate(typeof(Func<Dictionary<string, string>, string, object>));

object result = func(dic, "a");

Console.WriteLine(result);

運行結果:

說明:

對於 out 參數,加載的是地址參數,用 loca 地址指令,返回的是值,用 ldloc 值指令。

6、對像成員變量值加載:ldfld 參加載對象成員變量值

ldfld: 將對象的字段值加載到操作數棧中。用於加載對象的字段值,以便在方法中進行操作或傳遞給其他方法,該參數爲:load filed 加載字段的簡寫。

ldsfld:該指令用於操作靜態成員變量,該參數爲:load static filed 加載靜態字段的簡寫。

下面給出一個示例,讀取實例類員變量的值:

        private static void DMethod2()
        {
            MyEntity myEntity = new MyEntity() { ID = 111, Name = "hello" };
            FieldInfo idInfo = typeof(MyEntity).GetField("ID");


            var method = new DynamicMethod("GetterFunc", typeof(object), new[] { typeof(object) }, typeof(MyEntity));
            var il = method.GetILGenerator();

            il.Emit(OpCodes.Ldarg_0); // Load the input object onto the stack
            il.Emit(OpCodes.Ldfld, idInfo); // 加載 Id 成員變量的值到堆棧
            if (idInfo.FieldType.IsValueType)
            {
                il.Emit(OpCodes.Box, idInfo.FieldType); // Box the value type
            }

            il.Emit(OpCodes.Ret); // Return the value

            var func = (Func<object, object>)method.CreateDelegate(typeof(Func<object, object>));

            object result = func(myEntity);

            Console.WriteLine(result);

        }
        class MyEntity
        {
            public int ID;
            public string Name;

        }

運行結果:

注意事項:

1、在定義 DynamicMethod 方法時,最好手動指定 Owner 歸屬,即該動態方法歸屬哪個類型,否則在運行時可能會報以下錯誤: 

2、在操作實例成員變量(取值或賦值)時,通常需要加載兩個參數,第一個是對象值,第二個是對象的成員變量值。

7、其它常用型值加載:ldstr、ldnull、ldtoken

ldstr:將常量字符串值加載到操作數棧中,示例如下:

ldnull:將null值加載到操作數棧中,示例如下:

ldtoken:通常適用於將運行時狀態類型加載到操作數棧中,如將 Type 類型值壓到棧中。

生成的示例代碼:

總結:

本篇教程深入探討了 ILGenerator 中的參數加載指令,通過詳細解釋Ldarg、Ldarga、Ldloc和Ldloca 等各種指令的使用,

讀者能夠清晰地認識到Ld指令用於加載參數或本地變量到堆棧,而St指令用於將值從堆棧存儲到參數或本地變量中。

這些指令爲動態方法的生成提供了基礎,幫助開發者更好地掌握IL代碼的生成和調試。

下一篇,將繼續介紹存儲指令部分。 

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章