.NET Emit 入门教程：第六部分：IL 指令：3：详解 ILGenerator 指令方法：参数加载指令

最新推荐文章于 2024-04-15 10:02:19 发布
最新推荐文章于 2024-04-15 10:02:19 发布
阅读量787 收藏 14
点赞数 27
分类专栏： .NET Emit 入门教程系列 文章标签： .net emit
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/cyq1162/article/details/137507240
版权

.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 类型值压到栈中。

生成的示例代码：

8、数组取值指令：Ldelem_Ix 系列指令与 Ldelem_Ref 指令

值类型数组，用：Ldelem_IX 系列指令

复制代码

ILGenerator il = methodBuilder.GetILGenerator();

//创建数组
il.Emit(OpCodes.Ldarg_0);
il.Emit(OpCodes.Ldc_I4,0);
il.Emit(OpCodes.Ldelem_I4);
il.Emit(OpCodes.Ret); // 返回该值

复制代码

生成的示例代码：

对其引用类型数组，可以用：Ldelem_Ref 指令：

复制代码

ILGenerator il = methodBuilder.GetILGenerator();

//创建数组
il.Emit(OpCodes.Ldarg_0);
il.Emit(OpCodes.Ldc_I4,0);
il.Emit(OpCodes.Ldelem_Ref);
il.Emit(OpCodes.Ret);     // 返回该值

复制代码

总结：

本篇教程深入探讨了 ILGenerator 中的参数加载指令，通过详细解释Ldarg、Ldarga、Ldloc和Ldloca 等各种指令的使用，

读者能够清晰地认识到Ld指令用于加载参数或本地变量到堆栈，而St指令用于将值从堆栈存储到参数或本地变量中。

这些指令为动态方法的生成提供了基础，帮助开发者更好地掌握IL代码的生成和调试。

更多教程，欢迎关注个人微信公众号：

路过秋天-博客园
关注
专栏目录
.NET IL 详解（图文教程）
10-30
.NET IL 详解（图文教程），网络搜集，内有作者原地址
.NET(C#):Emit创建异常处理的方法
12-25
目录 Emit异常处理流程 显示Exception对象的Message属性 返回目录 Emit异常处理流程来看这种C#异常处理代码： 代码如下:        static void doo(Exception e)         {             try             {                 throw e;             }             catch (ApplicationException ex)             {                 Console.WriteLine(“捕获ApplicationExcep
NET中IL理解（转）
weixin_30709929的博客
12-26 318
.NET CLR 和 Java VM 都是堆叠式虚拟机器（Stack-Based VM），也就是說，它們的指令集（Instruction Set）都是採用堆叠运算的方式：执行时的资料都是先放在堆叠中，再进行运算。JavaVM 有約 200 個指令（Instruction），每個指令都是 1 byte 的 opcode（操作码），后面接不等数目的参数；.NET CLR 有超過 220個指令...
.net中的emit
weixin_30896511的博客
05-04 401
.net中的emit .net中的emit命名空间是system.reflection.emit。可见，emit是作为反射的一个比较高级的功能。 反射允许我们在运行时获取对象的相关信息，并执行对象。（创建对象的实例，执行方法）。 但是emit允许我们动态的创建一些元数据。 使用emit，可以从零开始动态的创建程序集，类。提供程序的灵活性。有了emit，我们...
.NET Emit 入门教程：第六部分：IL 指令：7：详解 ILGenerator 指令方法：分支条件指令
最新发布
路过秋天 - 理想很美好，现实很残酷，坚持在路上，只因初心仍存
04-15 1162
分支条件指令是在.NET Emit编程中关键的控制流程工具，用于在IL代码中实现条件判断和控制转移。ILGenerator 类提供了一系列方法，用于生成这些分支条件指令，包括条件分支、无条件分支和Switch分支等。条件分支指令（如brtrue和brfalse）根据栈顶的布尔值决定是否跳转到目标标签，而无条件分支指令（如br）则总是进行跳转。Switch分支指令则用于在多个目标中选择一个跳转。通过比较指令（如ceq、cgt和clt），还可以进行数值比较并根据比较结果执行相应的跳转操作。
详解.NET IL代码(补充)
发展是曲折的但也是前进的
12-11 898
下面是一个简单的 C# 原始码：                  1 2 3 4 5 6 7 8 9 10 using System; public class Test {     public static void Main(Strin
gremit：.NET Reflection.Emit扩展
02-05
除了调用ILGenerator.Emit（OpCode，..），还可以调用GroboIL.OpCode（..）。 例 ILGenerator： // .. creating DynamicMethod, MethodBuilder or ConstructorBuilder var il = method.GetILGenerator(); il.Emit...
ILGenerator.Extensions:为 ILGenerator 提供一组扩展方法，使发出 IL 更容易一些
06-27
ILGenerator 是 System.Reflection.Emit 命名空间的一部分，它允许程序员直接控制程序集的内部结构，包括定义类型、字段、方法以及直接生成 IL 指令。这在创建动态类型、代理、以及实现高性能的计算逻辑时非常有用。...
AngularJS 0003： 指令
11-25
**AngularJS 指令详解** AngularJS 是一个强大的前端JavaScript框架，用于构建单页应用程序（SPA）。在AngularJS中，指令是自定义HTML标签或属性，用于扩展HTML的功能，让网页具有更强的表现力和交互性。它们是...
说说emit(中)ILGenerator
weixin_33749131的博客
06-22 376
说说emit(中)ILGenerator 文/玄魂 在上一篇博客（说说emit(上)基本操作）中，我描述了基本的技术实现上的需求，难度和目标范围都很小，搭建了基本的架子。在代码中实现了程序集、模块、类型和方法的创建，唯一的缺憾是方法体。 方法体是方法内部的逻辑，我们需要将这个逻辑用IL代码描述出来，然后注入到方法体内部。这里自然地引出两个主题，IL代码和用来将Il代码注入到方...
由浅入深CIL系列:2.CIL的基本构成+CIL操作码速记表+CIL操作码大全速查
weixin_34232744的博客
06-28 897
        一、CIL的基本构成          CIL由CIL指令(directive)、CIL特性(attribute)、CIL操作码(opcode)组成。           CIL指令         CIL指令是用于描述.NET程序集总体结构的标记，并且通知CIL编译器如何定义在程序集中用到的命名空间、类、成员的。它以（.）一个点号开头，例如：.namespace、.clas...
.net IL 指令速查
dxm809的博客
03-19 189
Add 将两个值相加并将结果推送到计算堆栈上。 Add.Ovf 将两个整数相加，执行溢出检查，并且将结果推送到计算堆栈上。 Add.Ovf.Un 将两个无符号整数值相加，执行溢出检查，并且将结果推送到计算堆栈上。 And 计算两个值的按位“与”并将结果推送到计算堆栈上。 Arglist 返回指向当前方法的参数列表的非托管指针。 Beq 如果两...
.Net IL 指令速查
那里有颗树
09-28 190
指令 含义 Add 将两个值相加并将结果推送到计算堆栈上。 Add.Ovf 将两个整数相加，执行溢出检查，并且将结果推送到计算堆栈上。 Add.Ovf.Un 将两个无符号整数值相加，执行溢出检查，并且将结果推送到计算堆栈上。 And 计算两个值的按位“与”并将结果推送到计算堆栈上。 Arglist 返回指向当前方法的参数列表的非托管指针。 Beq 如果两个值相等，则将控制转移到目标指令。 Beq.S 如果两个值相等，则将控制转移到目标指令（短格式）。 Bge 如果...
.NET Emit 入门教程：第四部分：构建类型（Type）
路过秋天 - 理想很美好，现实很残酷，坚持在路上，只因初心仍存
03-29 960
通过学习本系列之前的文章，我们可以轻松定义 AssemblyBuilder 程序集构建器，再通过程序集构建器，定义 ModuleBuilder 模块构建器。下面我们先通过定义公用代码来生成程序集，以便更好的通过反编绎，来观察对照我们生成的代码。//...今天的示例代码存放地注意标红的部分为 .NET 版本代码，正如本系列之前文件所说，只有 .NET 版本支持程序集持久化，.NET Core 需要到9版本才支持。
.NET高级特性-Emit
weixin_68436326的博客
12-15 125
转自：BillMingcnblogs.com/billming/p/emit-study.html前言在这个大数据/云计算/人工智能研发普及的时代，Python的崛起以及Javascript的前后端的侵略，程序员与企业似乎越来越青睐动态语言所带来的便捷性与高效性，即使静态语言在性能，错误检查等方面的优于静态语言。.NET做为一门静态语言，我们不仅要打好.NET的基本功，如基本类型/语法/底层原理/...
.NET Core(C#) Emit的使用
weixin_42098295的博客
01-19 405
反射允许我们在运行时获取对象的相关信息，创建对象的实例，执行方法。Emit是作为反射的一个比较高级的功能。使用Emit，可以从零开始动态的创建程序集及类。提供程序的灵活性。本文主要介绍.NET Core(C#) 中Emit的使用，以及相关的示例代码。 原文地址：.NET Core(C#) Emit的使用 ...
.NET Core中Emit的使用
忧郁的蛋的专栏
11-20 446
反射允许我们在运行时获取对象的相关信息，创建对象的实例，执行方法。Emit是作为反射的一个比较高级的功能。使用Emit，可以从零开始动态的创建程序集及类。提供程序的灵活性。本文主要介绍.NET Core中Emit的使用。
.net core底层入门学习笔记（二-IL指令详细）
kylinok的博客
06-29 892
.net core底层入门学习笔记（二） 本篇学习IL代码的流程控制 文章目录.net core底层入门学习笔记（二）前言一、流程控制类型二、跳转指令详解1.无条件跳转2.有条件跳转指令总结 前言 流程控制是程序的基本能力之一，本篇记录IL中是如何实现流程控制，以及C#中的流程控制是如何转换到IL指令中的。 一、流程控制类型 流程控制指令包括：跳转指令，switch指令，退出、结束、返回指令 其中跳转指令又可以细分为：无条件跳转，有条件跳转，比较跳转 通过上面的基础跳转指令以及指令之间的组合，就可
IL指令详细表
风雨无阻，执着追求!!!
09-18 907
名称   说明 Add 将两个值相加并将结果推送到计算堆栈上。 Add.Ovf 将两个整数相加，执行溢出检查，并且将结果推送到计算堆栈上。 Add.Ovf.Un 将两个无符号整数值相加，执行溢出检查，并且将结果推送到计算堆栈上。 And 计算两个值的按位“与”并将结果
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值