Создание DynamicMethod для вызова конструктора

Question

Я пытаюсь сравнить различные методы вызова конструктора типа, который неизвестен во время компиляции. У меня есть четыре метода работы: прямой вызов конструктора (для сравнения времени), вызов ConstructorInfo.Invoke, вызов Expression.Lambda.Compile и вызов Activator.Create. Тот, с которым я не могу работать, использует DynamicMethod. Вот небольшой пример моего кода:

public struct Foo { 
    private int _val; 
    public Foo(int val) { 
     _val = val; 
    } 
    public override string ToString() { 
     return _val.ToString(); 
    } 
} 

static void Main(string[] args) { 
    var ctorInfo = typeof(Foo).GetConstructor(new[] { typeof(int) }); 
    var ctorDynamic = new DynamicMethod("CreateFoo", 
      typeof (Foo), new[] {typeof (int)}); 

    var ilGenerator = ctorDynamic.GetILGenerator(); 
    // Load the int input parameter onto the stack 
    ilGenerator.Emit(OpCodes.Ldloc_0); 
    // Call the constructor 
    ilGenerator.Emit(OpCodes.Call, ctorInfo); 
    // Return the result of calling the constructor 
    ilGenerator.Emit(OpCodes.Ret); 

    // Create a delegate for calling the constructor 
    var ctorInvoker = (Func<int, Foo>)ctorDynamic.CreateDelegate(
         typeof(Func<int, Foo>)); 

    // Call the constructor 
    var foo = ctorInvoker(5); 
} 

При попытке вызвать конструктор делегата на последней строке, я получаю VerificationException, который говорит «Операция может дестабилизировать выполнения.» Я думаю, что мне не хватает одного или нескольких опкодов, но не знаю, какой из них. Кто-нибудь знает, как правильно это сделать, используя DynamicMethod?

Answer 1

При попытке написать ИЛ наилучшим вариантом является, как правило, написать эквивалентный код C#, а затем посмотреть на сгенерированный ИЛ.

Итак, вы пишете метод, как:

static Foo f(int i) 
{ 
    return new Foo(i); 
} 

И IL будет выглядеть следующим образом:

ldarg.0 
newobj  Foo..ctor 
ret 

Это показывает две ошибки, которые Вы сделали:

1. загрузить аргумент метода, использование ldarg, ldloc предназначено только для локальных переменных.
2. Для вызова конструктора необходимо использовать newobj, конструктор не ведет себя как метод Foo -returning.

Если вы исправите эти ошибки, ваш код будет работать.