Question

我想使用原始IL指令调用泛型方法。为了学习如何做到这一点，我使用的是Reflection.Emit并尝试动态组装。

我想拨打电话的方法如下：

public class Class1
{
    public void Method1<T>()
    {
        Console.WriteLine("ClassLibrary1.Class1.Method1<T>()");
    }
}

这些是我正在使用的说明

 byte[] ilCodes = new byte[7];
        ilCodes[0] = (byte)OpCodes.Ldarg_0.Value;
        ilCodes[1] = (byte)OpCodes.Call.Value;
        ilCodes[2] = (byte)(token & 0xFF);
        ilCodes[3] = (byte)(token >> 8 & 0xFF);
        ilCodes[4] = (byte)(token >> 16 & 0xFF);
        ilCodes[5] = (byte)(token >> 24 & 0xFF);
        ilCodes[6] = (byte)0x2A;

此方法驻留在不同的程序集中，您在此处看到的令牌如下所示：

int token = moduleBuilder.GetMethodToken(typeof(ClassLibrary1.Class1).GetMethod("Method1").GetGenericMethodDefinition()).Token;

我使用MethodBuilder.CreateMethodBody方法设置字节。现在我用这些字节设置方法体后，创建程序集并调用它的方法，它失败了。当我在Reflector中检查生成的代码时，它向我显示方法调用缺少泛型参数

    .method public hidebysig instance void Method1<T>() cil managed {
.maxstack 1
L_0000: ldarg.0 
L_0001: call instance void [ClassLibrary1]ClassLibrary1.Class1::Method1() <-- this should contain Method1<!!T>()
L_0006: ret }

如何生成该参数引用才能使其正常工作？我知道如何使用ILGenerator，但对于这个项目，它必须使用原始指令。

谢谢。

编辑：这是ILDASM向我展示的内容（正如@Lasse建议的那样）

.method /*06000001*/ public hidebysig instance void 
        Method1<T>() cil managed
// SIG: 30 01 00 01
{
  // Method begins at RVA 0x2050
  // Code size       7 (0x7)
  .maxstack  1
  IL_0000:  /* 02   |                  */ ldarg.0
  IL_0001:  /* 28   | (2B)000001       */ call       instance void [ClassLibrary1/*23000002*/]ClassLibrary1.Class1/*01000002*/::Method1<!!0>() /* 2B000001 */
  IL_0006:  /* 2A   |                  */ ret
} // end of method Class1::Method1

Answer 1

由于ILGenerator可以执行此操作，因此我查看了what it does。我想到的是你需要一个MethodSpec令牌，但要得到它，你需要调用几个内部方法，就像上面的链接代码一样（我用ExposedObject来做一些反思简单）：

int token = moduleBuilder.GetMethodToken(typeof(Class1).GetMethod("Method1")).Token;

SignatureHelper sigHelper = Exposed.From(typeof(SignatureHelper))
    .GetMethodSpecSigHelper(moduleBuilder, new Type[] { typeParameter });

var getSignatureParameters = new object[] { 0 };
byte[] bytes = (byte[])typeof(SignatureHelper).GetMethod(
    "InternalGetSignature", BindingFlags.NonPublic | BindingFlags.Instance)
    .Invoke(sigHelper, getSignatureParameters);

int length = (int)getSignatureParameters[0];

var runtimeModule = Exposed.From(moduleBuilder).GetNativeHandle();

token = (int)typeof(TypeBuilder)
    .GetMethod("DefineMethodSpec", BindingFlags.NonPublic | BindingFlags.Static)
    .Invoke(null, new object[] { runtimeModule, token, bytes, length });

此处，typeParameter是从GenericTypeParameterBuilder返回的DefineGenericParameters。使用此代码，Reflector显示以下IL，我认为这是您想要的（除了我Method1静态，因此将ldarg.0替换为nop）：

.method privatescope static void M2<U>() cil managed
{
    .maxstack 16
    L_0000: nop 
    L_0001: call void [ClassLibrary1]Class1::Method1<!!U>()
    L_0006: ret 
}

Answer 2

首先，请确保使用正确的call或callvirt。如果你有一个引用类型，通常最好使用callvirt，因为它也会隐式添加一个空检查 - 但除此之外，如果你使用任何类型继承，你的PEVerify将失败，因此它将导致在未定义的行为中。

接下来，我必须补充一点，找到正确的方法来调用通常是非常讨厌的。

您可能希望避免使用MakeGenericMethod，因为这意味着您还需要使用GetMethod，这可能会导致错误的重载。实现你自己的反映.NET的重载决策规则是可能的，但是非常困难（我在某个地方有关于包含解决方案的内容）。

最简单的方法是制作泛型类型和调用方法。基本上你可以这样做：

Type myType = typeof(MyType<>).MakeGenericType(someType);

这将为您提供一个包含您正在使用的TypeBuilder的泛型类型的包装器。（假设someType是TypeBuilder，如果我正确理解你的问题）。

接下来，您需要获得正确的方法。再次，这是令人讨厌的，因为包装器还没有正确的方法 - 毕竟，我们仍在构建类型。 TypeBuilder有一个静态方法GetMethod，它允许你使用泛型定义中的方法来查找新brew泛型的方法。例如：

var baseMethod = 
    TypeBuilder.GetMethod(typeof(IEquatable<>).MakeGenericType(builder)), 
    typeof(IEquatable<>).GetMethod("Equals" /* add constraints */));

沿着这条路走下去需要注意两件事：

将程序集保存到磁盘，并将PEVerify用于所有内容。 即使它运行了！它可以为您节省大量的麻烦。
您可能需要考虑简单地使用object或普通的非通用接口。只要你没有使用值类型，IL就只会对代码进行一次JIT，因此通常不会有性能损失。（如果你有兴趣，我对此有疑问）

OpCode.Call到使用原始IL的不同程序集中的通用方法

2 个答案: