已做非空检查仍触发CS8602空引用警告的技术问询

我写了一段C#代码调用OSRM地图匹配服务并解析JSON响应，现在遇到了warning CS8602: Dereference of a possibly null reference警告，触发警告的代码段如下：

if (osrmResponse?.code == "Ok" && osrmResponse.matchings != null)
{
    return osrmResponse.matchings
        .Where(matching => matching != null)
        .SelectMany(matching => matching.legs ?? Enumerable.Empty<Leg>())
        .Where(leg => leg != null && leg.annotation != null && leg.annotation.nodes != null)
        // 如何修复下一行的可能空引用解引用警告？
        .SelectMany(leg => leg.annotation.nodes ?? Enumerable.Empty<long>())
        // 转换为ISet去重节点ID
        .ToHashSet()
        .ToList();
}

虽然我已经在Linq的Where()里对leg、leg.annotation、leg.annotation.nodes做了非空检查，但编译器仍然认为leg或leg.annotation可能为空。我想知道这个警告出现的原因，以及对应的解决方法。

完整测试代码如下：

namespace OsrmMapMatch
{
    public class OsrmResponse
    {
        public string? code { get; set; }
        public Matching[]? matchings { get; set; }
    }

    public class Matching
    {
        public Leg[]? legs { get; set; }
    }
    public class Leg
    {
        public Annotation? annotation { get; set; }
    }

    public class Annotation
    {
        public long[]? nodes { get; set; }
    }

    internal class Program
    {
        const string OsrmUri = "?overview=simplified&generate_hints=false&skip_waypoints=true&gaps=ignore&annotations=nodes&geometries=geojson&radiuses=";

        readonly static (double lng, double lat)[] Locations = 
        {
            (10.757938, 52.437444),
            (10.764379, 52.437314),
            (10.770562, 52.439067),
            (10.773268, 52.436633),
        };

        static async Task Main(string[] args)
        {
            const string HttpClientMapMatch = "HttpClientMapMatch";

            ServiceProvider serviceProvider = new ServiceCollection()
                .AddHttpClient(HttpClientMapMatch, httpClient =>
                {
                    httpClient.BaseAddress = new Uri("https://router.project-osrm.org/match/v1/driving/");
                }).Services.BuildServiceProvider();

            IHttpClientFactory? httpClientFactory = serviceProvider.GetService<IHttpClientFactory>();
            HttpClient? httpClient = httpClientFactory?.CreateClient(HttpClientMapMatch);
            if (httpClient == null)
            {
                Console.WriteLine("Error httpClient is null");
                return;
            }

            IEnumerable<long> nodes = await GetOsmNodesAsync(httpClient, Locations);
            Console.WriteLine($"Map matched OSM node ids: {JsonSerializer.Serialize(nodes.OrderBy(node => node))}\n");
        }

        private static async Task<IEnumerable<long>> GetOsmNodesAsync(HttpClient httpClient, IEnumerable<(double lng, double lat)> locations)
        {
            IEnumerable<string> lngLats = locations
                .Select(location => $"{location.lng:F6},{location.lat:F6}")
                .ToList();

            IEnumerable<int> radiuses = locations
                .Select(location => 50)
                .ToList();

            string requestUri = string.Join(";", lngLats) + OsrmUri + string.Join(";", radiuses);
            OsrmResponse? osrmResponse = await httpClient.GetFromJsonAsync<OsrmResponse>(requestUri);
            if (osrmResponse?.code == "Ok" && osrmResponse.matchings != null)
            {
                return osrmResponse.matchings
                    .Where(matching => matching != null)
                    .SelectMany(matching => matching.legs ?? Enumerable.Empty<Leg>())
                    .Where(leg => leg != null && leg.annotation != null && leg.annotation.nodes != null)
                    // How to fix dereference of a possibly null value in the next line?
                    .SelectMany(leg => leg.annotation.nodes ?? Enumerable.Empty<long>())
                    // eliminate duplicate node ids by converting to an ISet
                    .ToHashSet()
                    .ToList();
            }

            return Enumerable.Empty<long>();
        }
    }
}

C#的空引用分析器（Nullable Reference Types）在处理Linq链式调用时，无法追踪Where之后的leg、leg.annotation的非空状态——它不会把Where里的条件作为后续操作的非空断言依据。虽然我们知道经过Where过滤后的元素肯定满足非空条件，但编译器的静态分析无法做到这么智能的跨操作状态追踪，因此依然会认为这些属性可能为null。

有几种可行的修复方式：

方法1：使用空合并运算符结合空断言 #

在SelectMany里明确用空断言（!）告诉编译器leg和leg.annotation不可能为空，配合已有的空合并处理nodes：

.SelectMany(leg => leg!.annotation!.nodes ?? Enumerable.Empty<long>())

这种方式简单直接，因为我们已经通过Where过滤了不符合条件的元素，所以断言是安全的。

方法2：将Where和SelectMany合并为SelectMany的过滤逻辑 #

把非空检查直接放到SelectMany里，同时用逻辑判断过滤有效元素，这样编译器能更清晰地追踪状态：

.SelectMany(leg => 
    leg != null && leg.annotation != null && leg.annotation.nodes != null 
        ? leg.annotation.nodes 
        : Enumerable.Empty<long>())

这种方式可以去掉单独的Where调用，让逻辑更紧凑，同时消除警告。

方法3：使用局部变量捕获非空状态（适合更复杂的场景） #

在SelectMany里先将annotation赋值给局部变量，编译器能识别局部变量的非空状态：

.Where(leg => leg != null && leg.annotation != null && leg.annotation.nodes != null)
.SelectMany(leg => {
    var annotation = leg!.annotation!;
    return annotation.nodes ?? Enumerable.Empty<long>();
})

这种方式在处理多层嵌套的非空检查时更清晰，也能让编译器准确识别变量的非空状态。

如果追求简洁，推荐方法1，修改后的完整代码片段如下：

if (osrmResponse?.code == "Ok" && osrmResponse.matchings != null)
{
    return osrmResponse.matchings
        .Where(matching => matching != null)
        .SelectMany(matching => matching.legs ?? Enumerable.Empty<Leg>())
        .Where(leg => leg != null && leg.annotation != null && leg.annotation.nodes != null)
        .SelectMany(leg => leg!.annotation!.nodes ?? Enumerable.Empty<long>())
        .ToHashSet()
        .ToList();
}

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