c# - 何时以及如何使用 Ldvirtftn 操作码？

Question

下面的示例程序是我试图掌握ldvirtftn操作码的用法。顾名思义，这是将虚函数指针加载到堆栈时使用的操作码。在示例代码中，我创建了一个具有 2 个静态方法 Ldftn 和 Ldvirtftn 的类型，这两个方法都返回一个 Base.Method() 的开放委托(delegate) 第一个函数 Ldftn 使用了 ldftn 操作码，并且工作出乎意料，因为 Base.Method 是虚拟的。第二种方法使用 Ldvirtftn 并且显然创建了一个无效程序。我究竟做错了什么？除了混淆之外，此操作码的目的是什么？

public class Base
{
    public virtual void Method()
    {
        Console.WriteLine("Base");
    }
}

public class Child : Base
{
    public override void Method()
    {
        Console.WriteLine("Child");
    }
}
class Program
{
    static void Main(string[] args)
    {
        AssemblyBuilder ab =AppDomain.CurrentDomain.DefineDynamicAssembly(new AssemblyName("Test"),AssemblyBuilderAccess.RunAndSave);
        ModuleBuilder mb = ab.DefineDynamicModule("TestModule");
        TypeBuilder tb = mb.DefineType("TestType");
        MethodBuilder method = tb.DefineMethod("Ldftn",MethodAttributes.Public | MethodAttributes.Static, typeof(Action<Base>), Type.EmptyTypes);
        var ilgen = method.GetILGenerator();
        ilgen.Emit(OpCodes.Ldnull);
        ilgen.Emit(OpCodes.Ldftn, typeof(Base).GetMethod("Method"));
        ilgen.Emit(OpCodes.Newobj, typeof(Action<Base>).GetConstructors()[0]);
        ilgen.Emit(OpCodes.Ret);
        method = tb.DefineMethod("Ldvirtftn", MethodAttributes.Public | MethodAttributes.Static, typeof(Action<Base>), Type.EmptyTypes);
        ilgen = method.GetILGenerator();
        ilgen.Emit(OpCodes.Ldnull);
        ilgen.Emit(OpCodes.Ldvirtftn, typeof(Base).GetMethod("Method"));
        ilgen.Emit(OpCodes.Newobj, typeof(Action<Base>).GetConstructors()[0]);
        ilgen.Emit(OpCodes.Ret);
        var type = tb.CreateType();
        var func = Delegate.CreateDelegate(typeof(Func<Action<Base>>),tb.GetMethod("Ldftn")) as Func<Action<Base>>;
        var func2 = Delegate.CreateDelegate(typeof(Func<Action<Base>>), tb.GetMethod("Ldvirtftn")) as Func<Action<Base>>;
        func()(new Child());
        func2()(new Child());
    }
}

Answer 1

1. 这是 ldftn 中发生的事情案件。您的方法创建了一个具有以下内容的委托(delegate):

   • 没有第一个参数(通常只用于静态方法)；
   • Base.Method()作为方法(不是静态的)。

   您将此委托(delegate)创建为 Action<Base> ，它恰好有一个参数。当您在此行中调用此委托(delegate)时:

   func()(new Child());
   

   CLR 使用新的 Child instance 作为“第一个参数”。由于您调用的方法不是静态的，因此第一个参数变为 this指针。因此，此调用等同于

   new Child().Method();
   

   这会导致在调用时(而不是在 ldftn 时)进行单独的虚拟方法分派(dispatch)，所以 Child.Method()被调用。这就是它打印“Child”而不是您可能期望的“Base”的原因。

2. 在ldvirtftn在这种情况下，您得到的是一个无效程序，因为您忘记了 ldvirtftn ldftn 时需要堆栈上的对象引用没有。

您可以尝试进行以下更改以了解发生了什么:

• 代替null ，传递 Base 的实际实例或 Child到委托(delegate)构造函数，这是非静态方法的惯例。您会发现它会拒绝创建委托(delegate)，因为参数数量不再匹配(Action<Base> 需要一个参数，但 Method() 没有)。

• 通过更改 Action<Base> 使参数数量匹配简单地 Action ，或通过制作 Method()接受一个参数。在这两种情况下，您可能会很快发现它会按照您的预期进行。特别是，您会发现使用 ldftn 创建的委托(delegate)总是会调用Base.Method()即使您使用 Child 的实例创建它.