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

Question

下面的示例程序是我试图掌握 ldvirtftn 操作码的用法。

您会看到名称表明这是将虚拟函数指针加载到堆栈时使用的操作码。在示例代码中，我创建了一个具有 2 个静态方法 Ldftn 和 Ldvirtftn 的类型，这两个方法都返回 Base.Method() 的开放委托 第一个函数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 案例中发生的情况。您的方法创建一个委托，该委托具有：

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

   您将此委托创建为 Action，它恰好有一个参数。当您在这一行中调用此委托时：

   func()(new Child());
   

   CLR 使用新的 Child 实例作为“第一个参数”。由于您调用的方法不是静态的，因此第一个参数将成为 this 指针。因此，这个调用就相当于

   new Child().Method();
   

   这会导致在调用时（而不是在 ldftn 时间）进行单独的虚拟方法调度，因此 Child.Method() 被调用。这就是为什么它打印“Child”而不是您可能期望的“Base”。

2. 在 ldvirtftn 情况下，您得到的程序无效，因为您忘记了 ldvirtftn 需要堆栈上的对象引用，而 ldftn 不需要't。

您可以尝试进行以下更改来了解发生的情况：

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

• 通过将 Action 更改为简单的 Action 或通过使 Method() 接受范围。在这两种情况下，您可能很快就会发现它符合您的预期。特别是，您会发现使用 ldftn 创建的委托将始终调用 Base.Method()，即使您使用 Child 实例创建它也是如此>.