C# 6 null toán tử điều kiện không hoạt động cho truy vấn LINQ

Question

Tôi mong đợi điều này để làm việc, nhưng dường như cách IL tạo ra, nó ném NullReferenceException. Tại sao trình biên dịch không thể tạo ra mã tương tự cho các truy vấn?

Trong trường hợp ThisWorks, trình biên dịch tạo mã ngắn mạch phần còn lại của biểu thức, tại sao nó không thể làm điều tương tự cho trường hợp truy vấn 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 

decompiled quả

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âu trả lời là trong C# ngôn ngữ đặc tả, mà nói

Một biểu thức truy vấn có dạng

từ x trong e chọn x

được dịch sang

(e). Chọn (x =>x)

Note ngoặc xung quanh e trong dòng cuối cùng. Điều đó cho thấy rõ ràng rằng biểu thức null có điều kiện (trong ví dụ của bạn) kết thúc trước khi Select được gọi, có nghĩa là Select có thể được gọi với null kết quả.

Tại sao nó không thể làm điều tương tự cho LINQ? Bởi vì đó không phải là cách tính năng được thiết kế để hoạt động. Đặc điểm kỹ thuật cho các toán tử null có điều kiện không có trường hợp đặc biệt cho các truy vấn, và ngược lại.