Czy to jest błąd ExpressionTrees? # 2

Question

Wygląda ExpressionTrees kompilator powinien być blisko z C# specyfikacji w wielu zachowań, ale w przeciwieństwie do C# nie ma wsparcia dla konwersji z decimal do dowolnego 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); 
    } 
} 

Inne rzadko używane C# jawne konwersje, jak double -> enum-type istnieje i działa tak, jak wyjaśniono w specyfikacji C#, ale nie pod numerem decimal -> enum-type. Czy to błąd?

Answer 1

To prawdopodobnie błąd i to prawdopodobnie moja wina. Przepraszam za to.

się do konwersji dziesiętne prawo było jednym z najtrudniejszych części budynku kod drzewa wyrażenie poprawne w kompilator i runtime ponieważ konwersje po przecinku są faktycznie realizowane jako zdefiniowanych przez użytkownika konwersje w czasie wykonywania, ale traktowane jako wbudowanych konwersji przez kompilator. Dziesiętny jest jedynym typem tej właściwości, dlatego w analizatorze są różne rodzaje przekładni specjalnego przeznaczenia. W rzeczywistości istnieje metoda o nazwie IsEnumToDecimalConversion w analizatorze do obsługi specjalnego przypadku zerowania zerowego do zerowej konwersji dziesiętnej; dość skomplikowany specjalny przypadek.

Kursy są dobre, ponieważ nie udało mi się wziąć pod uwagę, że niektóre sprawy idą w drugą stronę i wygenerowały w rezultacie zły kod. Dzięki za notatkę; Prześlę to do zespołu testowego, a zobaczymy, czy uda nam się przeprowadzić repro. Szanse są dobre, jeśli okaże się, że jest to prawdziwy błąd, nie zostanie to naprawione dla pierwszej wersji C# 4; w tym momencie robimy tylko "użytkownik jest porażony przez kompilator", że jego wersja jest stabilna.

Answer 2

Nie prawdziwy jeszcze odpowiedzi, śledztwo, ale pierwsza linia jest kompilowany jako:

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

Jeśli próbujesz utworzyć wyrażenie z poprzedniego lambda, to będzie działać.

EDIT: W C# spec §6.2.2, można przeczytać:

Wyraźne konwersję wyliczenia pomiędzy dwoma typami są przetwarzane przez leczenia Każde uczestniczące enum typu jako bazowego typu ten typ wyliczeniowy , a następnie wykonuje niejawną lub jawną, numeryczną konwersję między otrzymanymi typami . Na przykład, biorąc pod uwagę typ wyliczeniowy E z i typem bazowym int, konwersja z E na bajt jest przetwarzana jako jawna konwersja numeryczna (§6.2.1) z int na bajt, a konwersja z bajtu na E przetwarza się jako niejawna konwersja numeryczna (§6.1.2) z bajtu na int.

Tak wyraźne odlewy z wyliczenia na dziesiętne są traktowane specjalnie, to dlaczego masz zagnieżdżone odlewane (int następnie po przecinku). Ale nie rozumiem, dlaczego kompilator nie analizuje ciała lambda w ten sam sposób w obu przypadkach.