c# - 为什么这个 DynamicMethod (ldarg.1, newobj, ret) 会触发 VerificationException？

Question

我有一个将构造函数包装在动态工厂方法中的方法:

static Func<TArg1, TResult> ToFactoryMethod<TArg1, TResult>(this ConstructorInfo ctor)
    where TResult : class
{
    var factoryMethod = new DynamicMethod(
         name:           string.Format("_{0:N}", Guid.NewGuid()),
         returnType:     typeof(TResult), 
         parameterTypes: new Type[] { typeof(TArg1) });

    ILGenerator il = factoryMethod.GetILGenerator();
    il.Emit(OpCodes.Ldarg_1);
    il.Emit(OpCodes.Newobj, ctor);
    il.Emit(OpCodes.Ret);

    return (Func<TArg1, TResult>)
         factoryMethod.CreateDelegate(typeof(Func<TArg1, TResult>));
}

但是，下面的代码抛出一个 VerificationException在 .Invoke(…) 上:

ConstructorInfo ctor = typeof(Uri).GetConstructor(new Type[] { typeof(string) });
Func<string, Uri> uriFactory = ctor.ToFactoryMethod<string, Uri>();
Uri uri = uriFactory.Invoke("http://www.example.com");

如果我替换 ldarg.1 则不会抛出异常; newobj <ctor>与 ldnull ，所以问题一定是这两条IL指令引起的。进一步的实验表明错误在于 ldarg.1 . (对于上面的具体示例，我已将其替换为 ldstr <string>。)

有人看出这些 IL 指令有什么问题吗？

Answer 1

此方法是静态的，因此它没有作为 arg0 的 this 参数。通过 il.Emit(OpCodes.Ldarg_1); 更改 il.Emit(OpCodes.Ldarg_1);; 对我来说效果很好。