我希望这可行,但显然IL生成的方式,它会抛出NullReferenceException
。为什么编译器不能为查询生成类似的代码?
在ThisWorks
的情况下,编译器会生成短路表达式其余部分的代码,为什么它不能为LINQ查询案例做同样的事情呢?
class Target
{
public ChildTarget Child;
}
class ChildTarget
{
public int[] Values;
}
IEnumerable<int> ThisWorks(Target target) =>
target.Child?.Values.Select(x => x);
IEnumerable<int> ThisDoesNotWork(Target target) =>
from x in target.Child?.Values select x;
ThisWorks(new Target());
ThisDoesNotWork(new Target()); // this throws NullReferenceException
反编译结果
private static IEnumerable<int> ThisDoesNotWork(Target target)
{
ChildTarget child = target.Child;
IEnumerable<int> values = (child != null) ? child.Values : null;
Func<int, int> func;
if ((func = Program._func) == null)
{
func = (Program._func = new Func<int, int>(Program._funcMethod));
}
return values.Select(func);
}
private static IEnumerable<int> ThisWorks(Target target)
{
ChildTarget child = target.Child;
IEnumerable<int> values;
if (child == null)
{
values = null;
}
else
{
IEnumerable<int> values = child.Values;
Func<int, int> func;
if ((func = Program._func2) == null)
{
func = (Program._func2= new Func<int, int>(Program._funcMethod2));
}
values = values.Select(func);
}
return values;
}
答案 0 :(得分:9)
答案在C#语言规范中,即
表单
的查询表达式来自 e 中的 x选择 x
被翻译成
( e )。选择( x =&gt; x )
请注意最后一行 e 周围的括号。这清楚地表明,在调用Select之前,null条件表达式(在您的示例中)结束,这意味着可能会使用结果null调用Select。
为什么Linq不能做同样的事情?因为这不是该功能的设计方式。空条件运算符的规范没有查询的特殊情况,反之亦然。