これはExpressionTreesのバグですか？ ＃2

Question

は、多くの行動のC＃の仕様に近くなければなりませんExpressionTreesコンパイラのように見えますが、C＃のとは異なり、任意のenum-typeへdecimalからの変換はサポートされていません。

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); 
    } 
} 

その他ほとんど使われないC＃の明示的な変換、double -> enum-typeが好きで存在し、C＃の仕様で説明されているように動作しますが、decimal -> enum-typeでは動作しません。これはバグですか？

まだ

Answer 1

おそらくバグで、おそらく私のせいです。申し訳ありません。

の10進数の変換は、実際にはランタイムでユーザー定義の変換として実装されていますが、組み込みの変換として扱われるため、コンパイラとランタイムに正しい式ツリーコードを作成するのが最も難しい部分の1つでした。コンパイラによって。 Decimalはこのプロパティを持つ唯一のタイプなので、これらのケースではアナライザにはあらゆる種類の専用ギアがあります。実際には、nullable enum to nullable decimal conversionの特殊ケースを処理するために、アナライザにIsEnumToDecimalConversionというメソッドがあります。非常に複雑な特殊なケース。

私は、他の方法をとっていくつかのケースを検討することができず、結果として悪いコードを生成したことは間違いありません。メモをありがとう。私はこれをテストチームに送りますが、私たちは再挑戦を受けることができるかどうかを見ていきます。これが真実のバグであると判明した場合、これはC＃4の初期リリースでは修正されません。この時点では、リリースが安定するように、「ユーザーはコンパイラによって感電する」バグだけを取っています。

Answer 2

ない本当の答え、私が調査んだけど、最初の行は次のようにコンパイルされている：あなたは以前、ラムダから式を作成しようとすると、それが動作します

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

。

EDIT：2種類の明示的な列挙変換 はの基本的な型として任意の参加列挙型 を処理する によって処理される

：C＃の仕様では、§6.2.2、あなたが読むことができますその のenum-typeを入力し、 の型の間で の暗黙的または明示的な数値 の変換を実行します。たとえば、int型のenum型 Eを指定すると、 からEへの変換は、 （§6.2.1）の明示的な数値変換として として処理され、 バイトから変換されます〜Eは、 を暗黙の数値変換として処理します。 （§6.1.2）からbyteまでです。

enumからdecimalへの明示的なキャストが特に処理されるため、ネストされたキャスト（intから10進）を取得するのはこのためです。しかし、コンパイラがラムダ本体を同じ方法で解析しない理由は、どちらの場合でもわかりません。