看下面这个例子:
usingSystem;
usingSystem.Collections.Generic;
namespace ConsoleApplication3
{
class Program
{
delegate void Printer();
//代理相当于一个类型
static void Print1()
{
Console.WriteLine("print1");
}
static void Print2()
{
Console.WriteLine("print2");
}
static void Print3()
{
Console.WriteLine("print3");
}
static void Main(string[]args)
{
Printer p=Print1;
//方法到一个兼容委托类型的隐式转换
//相当于复制构造函数,然而c#是没有什么隐式类型转换这种说法的
p+=Print2;//不管你加不加这后面的两个方法,Printer依然生成继承MulticastDelegate的类
p+=Print3;
p.Invoke();
}
}
}
首先说一个概念,托管代码:
托管代码就是Visual Basic .NET和C#编译器编译出来的代码。编译器把代码编译成中间语言(IL),而不是能直接在你的电脑上运行的机器码。IL是独立于CPU且面向对象的指令集。
中间语言IL被封装在一个叫程序集(assembly)的文件中,程序集中包含了描述你所创建的类,方法和属性(例如安全需求)的所有元数据。
用IL DASM 反汇编这个程序:
工具界面上面的一些标识的含义:
所以结合IL我们可以看出来:
这里表示的就是Printer类的详细信息
逐步分析:
.class auto ansi sealed nested private Printer
extends [mscorlib]System.MulticastDelegate
{
} // end of class Printer
.class 表示Program是一个类。并且它继承自程序集—mscorlib的System. MulticastDelegate类
Auto 程序的加载是由CLR来管理内存的
CLR的核心功能:内存管理,程序集加载,安全性,异常处理,线程同步等等。
CLR是公共语言运行库(Common Language Runtime)和Java虚拟机一样也是一个运行时环境
ansi,是为了在没有托管代码与托管代码之间实现无缝转换。这里主要指C、C++代码等
sealed 不可被继承 nested 嵌套类
再来看看更上层的Program类的详细信息:
.class private auto ansi beforefieldinit ConsoleApplication3.Program
extends [mscorlib]System.Object
{
} // end of class ConsoleApplication3.Program
Beforefieldinit是用来标记运行库(CLR)可以在静态字段方法生成后的任意时刻,来加载构造函数,否则CLR就需要在一个精准的时间加载构造函数
接下来看一下复制构造函数
.method public hidebysig specialname rtspecialname
instance void .ctor(object 'object',
native int 'method') runtime managed
{
} // end of method Printer::.ctor
Hidebysig表示当把此类作为基类,存在派生类时,此方法不被继承,同上构造函数
cil managed:表示其中为IL代码,指示编译器编译为托管代码(上面写过的概念)
再来看普通构造函数:
.method public hidebysig specialname rtspecialname
instance void .ctor() cil managed
{
// 代码大小 8 (0x8)
.maxstack 8
IL_0000: ldarg.0
IL_0001: call instance void [mscorlib]System.Object::.ctor()
IL_0006: nop
IL_0007: ret
} // end of method Program::.ctor
.maxstack:表示调用构造函数.otor期间的评估堆栈(Evaluation Stack)
IL_0000:标记代码行开头
ldarg.0:表示转载第一个成员参数,在这里其实是这个对象的this指针的引用
call:call一般用于调用静态方法,因为静态方法是在编译期就确定的。而这里的构造函数.ctor()也是在编译期就制定的。
而另一指令callvirt则表示调用实例方法,它是在运行时确定的,因为如前述,当调用方法的继承关系时,就要比较基类与派生类的同名函数的实现方法(virtual和new),以确定调用的函数所属的Method Table
call与callvirt: call主要用来调用静态方法,callvirt则用来调用普通方法和需要运行时绑定的方法(也就是用instance标记的实例方法)。不过也存在特殊情况,那就是call去调用虚方法,比如在密封类中的虚方法因为一定不可能会被重写因此使用call可提高性能。为什么会提高性能呢?不知道你是否还记得创建一个对象去调用这个对象的方法时,我们经常会判断这个对象是否为null,如果这个对象为null时去调用方法则会报错。之所以出现这种情况是因为callvirt在调用方法时会进行类型检测,此外判断是否有子类方法覆盖的情况从而动态绑定方法,而采用call则直接去调用了。另外当调用基类的虚方法时,比如调用object.ToString方法就是采用call方法,如果采用callvirt的话因为有可能要查看子类(一直查看到最后一个继承父类的子类)是否有重写方法,从而降低了性能。不过说到底call用来调用静态方法,而callvirt调用与对象关联的动态方法的核心思想是可以肯定的,那些采用call的特殊情况都是因为在这种情况下根本不需要动态绑定方法而是可以直接使用的
ret:表示执行完毕,返回
print1():最简单的一个函数
static void Print1(){Console.WriteLine("print1"); }
.method private hidebysig static void Print1() cil managed
{
// 代码大小 13 (0xd)
.maxstack 8
IL_0000: nop
IL_0001: ldstr "print1"
IL_0006: call void [mscorlib]System.Console::WriteLine(string)
IL_000b: nop
IL_000c: ret
} // end of method Program::Print1
ldstr:表示将字符串压栈,是用来把一个字符串加载到内存或评估堆栈中。在我们使用这些变量之前,是需要把这些变量加载到评估堆栈(evaluation stack)中去的,实际上是将字符串引用加载到栈中而不是用newobj
.NET运行时任何有意义的操作都是在堆栈上完成的,而不是直接操作寄存器。这就为.NET跨平台打下了基础
在IL中压栈通常以ld开头,出栈则以st开头
最后是main函数:
.method private hidebysig static void Main(string[] args) cil managed
{
.entrypoint //程序入口
// 代码大小 70 (0x46)
.maxstack 3 //计算堆栈大小
.locals init ([0] class ConsoleApplication3.Program/Printer p)
IL_0000: nop
IL_0001: ldnull //将空引用(O 类型)推送到计算堆栈上
IL_0002: ldftn void ConsoleApplication3.Program::Print1()
//将指向实现特定方法的本机代码的非托管指针(native int 类型)推送到计算堆栈上。
IL_0008: newobj instance void ConsoleApplication3.Program/Printer::.ctor(object, native int)
//构造Printer
// C#中使用new创建一个对象时则在IL中对应的是newobj,另外还有值类型也是可以通过new来创建的,不过在IL中它对应的则是initobj
// newobj用来创建一个对象,首先会分配这个对象所需的内存,接着初始化对象附加成员同步索引块和类型对象指针然后再执行构造函数进行初始化并返回对象引用。initobj则是完成栈上已经分配好的内存的初始化工作,将值类型置0引用类型置null即可。
IL_000d: stloc.0 //把计算堆栈顶部的值放到调用堆栈索引0处
IL_000e: ldloc.0 //把调用堆栈索引为0处的值复制到计算堆栈
IL_000f: ldnull
IL_0010: ldftn void ConsoleApplication3.Program::Print2()
IL_0016: newobj instance void ConsoleApplication3.Program/Printer::.ctor(object, native int)
//又构造了一个Printer
IL_001b: call class [mscorlib]System.Delegate [mscorlib]System.Delegate::Combine(class [mscorlib]System.Delegate, class [mscorlib]System.Delegate)
//调用System.Delegate::Combine,把两个System.Delegate合并
//源码里面的 “+=”就是在这里实现的
IL_0020: castclass ConsoleApplication3.Program/Printer
//尝试将引用传递的对象转换为指定的类
IL_0025: stloc.0
IL_0026: ldloc.0
IL_0027: ldnull
IL_0028: ldftn void ConsoleApplication3.Program::Print3()
IL_002e: newobj instance void ConsoleApplication3.Program/Printer::.ctor(object,
native int)
IL_0033: call class [mscorlib]System.Delegate [mscorlib]System.Delegate::Combine(class [mscorlib]System.Delegate,
class [mscorlib]System.Delegate)
IL_0038: castclass ConsoleApplication3.Program/Printer
IL_003d: stloc.0
IL_003e: ldloc.0
IL_003f: callvirt instance void ConsoleApplication3.Program/Printer::Invoke()
// 对对象调用后期绑定方法,并且将返回值推送到计算堆栈上
IL_0044: nop
IL_0045: ret
} // end of method Program::Main
总结一下常用的IL指令:
.entrypoint:指令表示CLR加载程序时,是首先从.entrypoint开始的,即从Main方法作为程序的入口函数
stloc.X:把计算堆栈顶部的值放到调用堆栈索引为X处
ldloc.X:把调用堆栈X处的值复制到计算堆栈
.newobj: 用于创建引用类型的对象;
.ldstr:用于创建String对象变量;
.newarr:用于创建数组型对象;
.box:在值类型转换为引用类型的对象时,将值类型拷贝至托管堆上分配内存。
.assembly:指令告诉编译器,我们准备去用一个外部的类库(不是我们自己写的,而是提前编译好的
对于流程控制,主要是br、brture和brfalse这3条指令,其中br是直接进行跳转,brture和brture则是进行判断再进行跳转。
具体内容参考:https://www.cnblogs.com/fangyz/p/5547433.html
一个像exe这样的程序集,结构如下图:
一个程序集是有多个托管模块组成的,一个模块可以理解为一个类或者多个类一起编译后生成的程序集
程序集清单指的是描述程序集的相关信息,PE文件头描述PE文件的文件类型、创建时间等。CLR头描述CLR版本、CPU信息等,它告诉系统这是一个.NET程序集
元数据用来描述类、方法、参数、属性等数据,.NET中每个模块包含44个元数据表,主要包括定义表、引用表、指针表和堆。定义表包括类定义表、方法表等,引用表描述引用到类型或方法之间的映射记录,指针表里存放着方法指针、参数指针等。元数据表就相当于一个数据库,多张表之间有类似于主外键之间的关系
我们调用一个方法表中的方法,这个方法会指向一个触发JIT编译器地址和方法对应的IL地址,于是JIT编译器便将这个方法指向的IL编译成本地代码。生成本地代码后这个方法将会有一条引用指向本地代码首地址,这样下次调用这个方法的时候将直接执行指向的本地代码
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 | 计算位于计算堆栈顶部的两个值的按位异或,并且将结果推送到计算堆栈上。 |