C# 6 空条件运算符不适用于 LINQ 查询

Question

我希望它能工作，但显然 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;
}

Answer 1

答案在 C# 语言规范中，它说

A query expression of the form

from x in e select x

翻译成

( e ) . Select ( x => x )

请注意最后一行 e 周围的括号。这清楚地表明 null 条件表达式(在您的示例中)在调用 Select 之前结束，这意味着 Select 可能会使用生成的 null 进行调用。

为什么它不能为 Linq 做同样的事情？因为这不是该功能设计的工作方式。空条件运算符的规范没有针对查询的特殊情况，反之亦然。