¿Cómo especifico el objeto para devolver desde un método de árbol de expresión?

Question

Estoy tratando de crear un método utilizando un árbol de expresiones que devuelve un objeto, pero no puedo encontrar la forma de especificar el objeto que se devolverá. Intenté leer this, pero el valor de retorno no parece estar especificado en ninguna parte.

Tengo todas las asignaciones & cosas hacia abajo, pero ¿cómo especifico el objeto para devolver desde un método creado usando árboles de expresiones?

EDIT: estos son los árboles de expresión v4, y el método que estoy tratando de crear hace algo como esto:

private object ReadStruct(BinaryReader reader) { 
    StructType obj = new StructType(); 
    obj.Field1 = reader.ReadSomething(); 
    obj.Field2 = reader.ReadSomething(); 
    //...more... 
    return obj; 
} 

Answer 1

Al parecer, un return es una GotoExpression que se puede crear con el método Expression.Return fábrica. Necesitas crear una etiqueta al final para saltar a ella. Algo como esto:

// an expression representing the obj variable 
ParameterExpression objExpression = ...; 

LabelTarget returnTarget = Expression.Label(typeof(StructType)); 

GotoExpression returnExpression = Expression.Return(returnTarget, 
    objExpression, typeof(StructType)); 

LabelExpression returnLabel = Expression.Label(returnTarget, defaultValue); 

BlockExpression block = Expression.Block(
    /* ... variables, all the other lines and... */, 
    returnExpression, 
    returnLabel); 

Los tipos del objetivo de etiqueta y la expresión goto deben coincidir. Debido a que el objetivo de etiqueta tiene un tipo, la expresión de etiqueta debe tener un valor predeterminado.

Answer 2

He encontrado un par de fuentes que implican (un caso) o declaran (otro caso) que devolver un valor de una expresión se puede hacer simplemente concluyendo el bloque con la expresión de parámetro que corresponde al valor en cuestión , ya que la última expresión valorada de un bloque se convierte en su valor de retorno. Según se informa, la fábrica Expression.Return existe para casos más complicados donde uno regresa desde la mitad de un bloque de código.

En otras palabras, si la última expresión dentro de su bloque fuera simplemente objExpression, eso debería ser suficiente. Creo que si deconstruyes todo ese negocio con el método Return y la etiqueta, lo que realmente ocurre es que objExpression se entrega básicamente en la etiqueta (al final del bloque) y se deja allí, de forma muy similar a como lo harías si eliminaras returnExpression y returnLabel y simplemente concluyó con objExpression.

Lamentablemente, no estoy en condiciones de probarlo yo mismo.

Answer 3

Hay una forma mucho más fácil de hacerlo en casos que devuelven un parámetro o variable existente. La última instrucción en una expresión de bloque se convierte en el valor de retorno. Puede volver a incluir ParameterExpression al final para que se devuelva.

Asumiendo que su estructura es la siguiente:

public struct StructType 
{ 
    public byte Field1; 
    public short Field2; 
} 

A continuación, el código se vería así:

var readerType = typeof(BinaryReader); 
var structType = typeof(StructType); 
var readerParam = Expression.Parameter(readerType); 
var structVar = Expression.Variable(structType); 

var expressions = new List<Expression>(); 

expressions.Add(
    Expression.Assign(
     Expression.MakeMemberAccess(structVar, structType.GetField("Field1")), 
     Expression.Call(readerParam, readerType.GetMethod("ReadByte")) 
     ) 
    ); 

expressions.Add(
    Expression.Assign(
     Expression.MakeMemberAccess(structVar, structType.GetField("Field2")), 
     Expression.Call(readerParam, readerType.GetMethod("ReadInt16")) 
     ) 
    ); 

expressions.Add(structVar); //This is the key. This will be the return value. 

var ReadStruct = Expression.Lambda<Func<BinaryReader, StructType>>(
    Expression.Block(new[] {structVar}, expressions), 
    readerParam).Compile(); 

prueba que funciona:

var stream = new MemoryStream(new byte[] {0x57, 0x46, 0x07}); 
var reader = new BinaryReader(stream); 
var struct1 = ReadStruct(reader); 

Vale la pena mencionar este ejemplo funciona si StructType es una estructura. Si es una clase, simplemente llama al constructor e inicializa structVar en primer lugar en BlockExpression.