¿Este es un error ExpressionTrees? # 2

Question

Parece que ExpressionTrees compilador debe estar cerca de la C# spec en muchos comportamientos, pero a diferencia de C# no hay soporte para la conversión de decimal a cualquier enum-type:

using System; 
using System.Linq.Expressions; 

class Program 
{ 
    static void Main() 
    { 
    Func<decimal, ConsoleColor> converter1 = x => (ConsoleColor) x; 
    ConsoleColor c1 = converter1(7m); // fine 

    Expression<Func<decimal, ConsoleColor>> expr = x => (ConsoleColor) x; 

    // System.InvalidOperationException was unhandled 
    // No coercion operator is defined between types 
    // 'System.Decimal' and 'System.ConsoleColor'. 

    Func<decimal, ConsoleColor> converter2 = expr.Compile(); 

    ConsoleColor c2 = converter2(7m); 
    } 
} 

Otros rara vez se utiliza C# conversiones explícitas, como double -> enum-type existe y funciona como se explica en la especificación C#, pero no en decimal -> enum-type. ¿Es esto un error?

Answer 1

Probablemente sea un error, y probablemente sea mi culpa. Lo siento por eso.

Conseguir conversiones decimales correctas fue una de las partes más difíciles de construir el código de árbol de expresiones correcto en el compilador y el tiempo de ejecución porque las conversiones decimales se implementan realmente como conversiones definidas por el usuario en el tiempo de ejecución, pero se tratan como conversiones integradas por el compilador. El decimal es el único tipo con esta propiedad, y por lo tanto, hay todo tipo de equipos de propósito especial en el analizador para estos casos. De hecho, hay un método llamado IsEnumToDecimalConversion en el analizador para manejar el caso especial de enum nulo en conversión decilla nulable; un caso especial bastante complejo.

Las probabilidades son buenas de que no haya considerado que algún caso vaya en sentido contrario, y como resultado se generó un código incorrecto. Gracias por la nota; Enviaré esto al equipo de prueba, y veremos si podemos obtener una reproducción. Las probabilidades son buenas, si esto resulta ser un error de buena fe, esto no se solucionará para la versión inicial C# 4; en este punto, solo tomamos insectos "el usuario es electrocutado por el compilador" para que la liberación sea estable.

Answer 2

No es una respuesta real, sin embargo, que estoy investigando, pero la primera línea se compila como:

Func<decimal, ConsoleColor> converter1 = x => (ConsoleColor)(int)x; 

Si intenta crear una expresión de la lambda anterior, va a trabajar.

EDIT: En la especificación de C#, §6.2.2, se puede leer:

Una conversión enumeración explícita entre dos tipos son procesados ​​por el tratamiento de cualquier participante de enumeración de tipo como el tipo subyacente de ese tipo de enumeración, y luego realizar una conversión implícita o explícita entre los tipos resultantes. Por ejemplo, dado un tipo de enumeración E con un tipo subyacente de int, una conversión de de E a byte se procesa como una conversión numérica explícita (§6.2.1) de int a byte, y una conversión de byte a E se procesa como una conversión numérica implícita (§6.1.2) de byte a int.

Así que los moldes explícitos de enum a decimal se manejan específicamente, es por eso que obtienes los moldes anidados (int y luego en decimal). Pero no puedo ver por qué el compilador no analiza el cuerpo lambda de la misma manera en ambos casos.