LINQ查询语法与等效方法语法的可空引用类型结果不一致问题

我使用Visual Studio 2022（搭配ReSharper 2024.1，但认为其与此问题无关）基于.NET 8开发。最小复现代码如下：

public class Program
{
    public static void Main()
    {
        string? ANullableString()
        {
            return Random.Shared.Next(10) % 2 == 0 ? null : "Panda";
        }

        var querySyntax =
            (from i in Enumerable.Range(1, 4) 
             select (ANullableString(), ANullableString()))
            .First();

        var methodSyntax =
            (Enumerable.Range(1, 4)
             .Select(i => (ANullableString(), ANullableString())))
            .First();

        // No warnings
        var querySyntaxItem1Length = querySyntax.Item1.Length;
        
        // Warning CS8602
        var methodSyntaxItem1Length = methodSyntax.Item1.Length;
    }
}

我一直认为LINQ查询语法（from...select）只是实际方法调用的语法糖，且ReSharper转换后的方法语法与查询语法逻辑一致，因此预期两者的可空性分析结果相同。但实际编译器推断querySyntax为(string, string)类型，methodSyntax为(string?, string?)类型，导致前者访问Length属性时无警告，后者触发CS8602警告（可能为空引用的解引用），而两者运行时出错概率一致。请问这是我对两种语法等价性的预期错误，还是编译器静态可空性分析的限制，或是其他原因？

这是编译器静态可空性分析的特殊处理逻辑，并非两种语法的语义等价性问题。

• 核心原因：查询语法的可空性提升规则
  C#编译器对LINQ查询语法的可空性分析做了特殊优化：当查询语法中的select子句生成值类型元组时，编译器会隐式提升可空引用类型为非可空，而方法语法遵循常规的可空性推断规则。
  具体来说：

  • 查询语法中，select (ANullableString(), ANullableString())生成的元组，编译器会忽略ANullableString()返回的string?可空性，直接推断为(string, string)。
  • 方法语法里的Select(i => (ANullableString(), ANullableString()))则严格按照方法返回值的可空性，推断元组类型为(string?, string?)。

• 本质是编译器的启发式规则
  这是C#团队为了提升查询语法的易用性设计的规则——假设LINQ查询通常处理的是“有效数据”，因此默认提升可空性。但这确实是静态分析的局限性，因为运行时两种写法的行为完全一致，都可能返回null值。

• 验证方式
  如果强制指定元组的可空性，两种语法的分析结果会一致：

  // 查询语法显式指定可空，会触发警告
  var querySyntax =
      (from i in Enumerable.Range(1, 4) 
       select (Item1: ANullableString(), Item2: ANullableString()))
      .First();
  // 此时querySyntax类型为(string?, string?)，访问Length会触发CS8602
  

内容的提问来源于stack exchange，提问作者AakashM