这是一个 ExpressionTrees 错误吗？ #2

Question

看起来 ExpressionTrees 编译器在许多行为上应该接近 C# 规范，但与 C# 不同的是，它不支持从 decimal 到任何 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);
  }
}

其他很少使用的 C# 显式转换，如 double -> enum-type 存在并按照 C# 规范中的说明工作，但不是 decimal -> enum-type。这是一个错误吗？

Answer 1

这可能是一个错误，也可能是我的错。对此感到抱歉。

正确进行十进制转换是在编译器和运行时正确构建表达式树代码最困难的部分之一，因为十进制转换实际上是在运行时作为用户定义的转换实现的，但被视为内置编译器的转换。十进制是唯一具有此属性的类型，因此分析仪中针对这些情况有各种专用齿轮。其实分析器中有一个方法叫IsEnumToDecimalConversion，用来处理可空枚举到可空十进制转换的特殊情况；相当复杂的特例。

很有可能我没有考虑到某些情况会发生相反的情况，结果生成了错误的代码。感谢您的来信；我会把它发给测试团队，我们会看看我们是否可以进行复制。很有可能，如果这确实是一个真正的错误，这将不会在 C# 4 初始版本中得到修复；在这一点上，我们只处理“编译器触电用户”的错误，以便发布是稳定的。

Answer 2

还没有真正的答案，我正在调查，但第一行编译为：

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

如果您尝试从之前的 lambda 创建表达式，它将起作用。

编辑：在 C# 规范 §6.2.2 中，您可以阅读：

显式枚举转换 两种类型之间的处理由 处理任何参与的枚举类型 作为那个的基础类型 枚举类型，然后执行 隐式或显式数字 结果之间的转换 类型。例如，给定一个枚举类型 E 和基础类型 int, a 处理从 E 到字节的转换 作为显式数字转换 （第 6.2.1 节）从 int 到 byte，以及 处理从字节到 E 的转换 作为隐式数字转换 （§6.1.2）从字节到整数。

所以从枚举到十进制的显式转换是专门处理的，这就是你得到嵌套转换（int 然后是十进制）的原因。但我不明白为什么编译器在这两种情况下都不以相同的方式解析 lambda 主体。