OpCodes.Call 与 OpCodes.Callvirt （使用.net 中的动态方法编程备忘录7）

MSDN中，对 OpCodes.Call 与 OpCodes.Callvirt 的解释，分别为：

 

OpCodes.Call：

 

调用由传递的方法说明符指示的方法。

 

堆栈转换行为依次为：

1.将从 arg1 到 argN 的方法参数推送到堆栈上。

2.从堆栈中弹出从 argN 到 arg1 的方法参数；通过这些参数执行方法调用并将控制转移到由方法说明符表示的方法。完成后，被调用方方法生成返回值并将其发送给调用方。

3.将返回值推送到堆栈上。

 

call 指令调用由通过该指令传递的方法说明符指示的方法。方法说明符是元数据标记，它指示将调用的方法和将被传递到该方法的放到堆栈上的参数的数目、类型和顺序以及要使用的调用约定。tail (Tailcall) 前缀指令可以紧靠 call 指令之前，以指定转移控制之前应释放当前方法状态。如果调用将控制转移到比原始方法信任级别更高的方法，则不释放堆栈帧。而是继续无提示执行，就像尚未提供 tail 一样。元数据标记带有用来确定是对静态方法、实例方法、虚方法还是全局函数进行调用所需的足够的信息。在所有这些情况中，目标地址完全从方法说明符确定（与用于调用虚方法的 Callvirt 指令相比，后者的目标地址还取决于 Callvirt 前推送的实例引用的