DynamicMethod y parámetros de salida?

Question

¿Cómo puedo definir un DynamicMethod para un delegado que tenga un parámetro out, así?

public delegate void TestDelegate(out Action a); 

Digamos simplemente quiero un método que establece el argumento a a null cuando llamo el método.

Tenga en cuenta que sé que una forma probablemente mejor de manejar esto sería hacer que el método devuelva el delegado Action, pero esto es solo una parte simplificada de un proyecto más grande, y el método en cuestión ya devuelve un valor, I necesita manejar el parámetro out además de eso, de ahí la pregunta.

yo probamos este:

using System; 
using System.Text; 
using System.Reflection.Emit; 

namespace ConsoleApplication8 
{ 
    public class Program 
    { 
     public delegate void TestDelegate(out Action a); 

     static void Main(String[] args) 
     { 
      var method = new DynamicMethod("TestMethod", typeof(void), 
       new Type[] { typeof(Action).MakeByRefType() }); 
      var il = method.GetILGenerator(); 

      // a = null; 
      il.Emit(OpCodes.Ldnull); 
      il.Emit(OpCodes.Starg, 0); 

      // return 
      il.Emit(OpCodes.Ret); 

      var del = (TestDelegate)method.CreateDelegate(typeof(TestDelegate)); 
      Action a; 
      del(out a); 
     } 
    } 
} 

Sin embargo, me sale esto:

VerificationException was unhandled: 
Operation could destabilize the runtime. 

en la línea del(out a);.

Tenga en cuenta que si hago un comentario de las dos líneas que cargan un valor nulo en la pila e intentan almacenarlo en el argumento, el método se ejecuta sin excepciones.

---

Editar: ¿Es este el mejor enfoque?

il.Emit(OpCodes.Ldarg_0); 
il.Emit(OpCodes.Ldnull); 
il.Emit(OpCodes.Stind_Ref); 

Answer 1

Un out argumento es sólo un argumento ref con el OutAttribute aplicado al parámetro.

Para almacenar el argumento de ref, debe usar el código de operación stind, porque el argumento en sí es un puntero administrado a la ubicación real del objeto.

ldarg.0 
ldnull 
stind.ref