为什么这个 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>));
}

但是，以下代码会在 .Invoke(…) 上抛出 VerificationException：

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

这个方法是静态的，所以它没有this 参数作为arg0。将il.Emit(OpCodes.Ldarg_1); 更改为il.Emit(OpCodes.Ldarg_0); 对我来说效果很好。