无法使用三元运算符来分配 Linq 表达式

Question

我刚刚输入了以下代码：

Expression<Func<ContentItem, bool>> expression = 
                fileTypeGroupID.HasValue ? n => n.Document.MimeType.FileTypeGroupID == fileTypeGroupID.Value : n => true;

Visual Studio 说它无法推断 n 的类型。

该代码对我来说似乎很好 - 它只是使用三元运算符将两个 Expression 文字之一分配给 Expression 变量。

Visual Studio 是否不够智能，无法推断三元运算符内的 n 类型，或者我犯了某种错误？

Answer 1

这个问题几乎每天都会以某种形式被问到。

条件运算符类型分析是从内部到外部，而不是从外部到内部。条件运算符不知道其结果被分配给什么类型，然后强制结果和这些类型的替代。它的作用恰恰相反；它计算出结果和替代的类型，采用这两种类型中更通用的类型，然后验证是否可以分配通用类型。

结果和替代项不包含有关 lambda 类型的信息，因此无法推断条件的类型。因此无法验证分配是否正确。

考虑为什么这种语言是这样设计的，是很有启发性的。假设您有重载：

 void M(Func<string, int> f) {}
 void M(Func<double, double> f) {}

和一个调用

M( b ? n=>n.Foo() : n => n.Bar() );

描述重载解析如何确定在从外到内推断类型的世界中选择 M 的哪个重载。

现在考虑一下这个：

M( b1 ? (b2 ? n=>n.Foo() : n => n.Bar() ) : (b3 ? n=>n.Blah() : n=>n.Abc()) );

变得更难不是吗？现在想象 Foo、Bar、Blah 和 Abc 本身就是采用 func 的方法，并且还具有包含 lambda 的条件运算符的参数。

我们不希望让类型推断过程变得如此复杂而没有相应的巨大好处，而条件运算符也没有如此巨大的好处。

在您的情况下，您应该做的是将结果和替代方案中的一个或两个强制转换为特定类型。

例子：

Expression<Func<ContentItem, bool>> expression = 
    fileTypeGroupID.HasValue
        ? (Expression<Func<ContentItem, bool>>)(n => 
            n.Document.MimeType.FileTypeGroupID == fileTypeGroupID.Value;
        )
        : n => true;

Answer 2

这并不能回答您为什么编译器无法推断类型的问题，但一个简单的解决方法是以这种方式编写表达式：

Expression<Func<ContentItem, bool>> expression = 
  n => !fileTypeGroupID.HasValue || n.Document.MimeType.FileTypeGroupID == fileTypeGroupID.Value;

Answer 3

fileTypeGroupID.HasValue ? (ContentItem n) => n.Document.MimeType.FileTypeGroupID == fileTypeGroupID.Value
                         : (ContentItem n) => true;

---

请注意条件运算符是的正确名称吗？ ：这是三元运算符的示例（并且是许多编程语言中唯一的三元运算符）。