可为null的类与结构体的泛型方法类型推断差异问题

问题重现 #

以下代码中，ImmutableDictionary<string, string>?可正常调用EmptyIfNull()，但ImmutableArray<string>?触发CS1061错误：

using System;
using System.Collections.Generic;
using System.Collections.Immutable;
using System.Linq;

ImmutableDictionary<string, string>? dic = new[]
{ KeyValuePair.Create("Hello", "World") }.ToImmutableDictionary();

ImmutableArray<string>? arr = new[]
{ "Hello", "World" }.ToImmutableArray();

Console.WriteLine(string.Join(' ', dic.EmptyIfNull()));
Console.WriteLine(string.Join(' ', arr.EmptyIfNull())); // 此处报错CS1061

static class EnumerableExtensions
{
    public static IEnumerable<TSource> EmptyIfNull<TSource>(
        this IEnumerable<TSource>? source)
    {
        return source ?? Enumerable.Empty<TSource>();
    }
}

错误信息：

error CS1061: 'ImmutableArray?' does not contain a definition for 'EmptyIfNull' and no accessible extension method 'EmptyIfNull' accepting a first argument of type 'ImmutableArray?' could be found (are you missing a using directive or an assembly reference?)

原因分析 #

核心差异源于引用类型与值类型的可空处理逻辑不同：

• ImmutableDictionary是引用类型：ImmutableDictionary<string, string>?属于可空引用类型，编译器会自动将其视为IEnumerable<KeyValuePair<string, string>>?（因为ImmutableDictionary实现了IEnumerable<T>），能直接匹配扩展方法的IEnumerable<TSource>?参数，泛型参数TSource可被自动推断。
• ImmutableArray是值类型：ImmutableArray<string>?是Nullable<ImmutableArray<string>>结构体，这个可空结构体本身并未实现IEnumerable<string>——只有ImmutableArray<string>本身实现了该接口。此时编译器无法自动从Nullable<ImmutableArray<string>>中提取TSource的类型，导致扩展方法匹配失败。

当显式指定arr.EmptyIfNull<string>()时，编译器明确了TSource为string，会自动将Nullable<ImmutableArray<string>>转换为IEnumerable<string>?：非null时取内部的ImmutableArray<string>作为参数，null时传递null，完全符合方法参数要求，因此可正常运行。

解决方案 #

方案1：显式指定泛型参数 #

直接在调用时指定TSource，简单高效且保留可空变量的设计初衷：

Console.WriteLine(string.Join(' ', arr.EmptyIfNull<string>()));

方案2：新增针对可空ImmutableArray的扩展方法重载 #

为避免每次调用都指定泛型参数，新增专门处理ImmutableArray<TSource>?的重载：

static class EnumerableExtensions
{
    public static IEnumerable<TSource> EmptyIfNull<TSource>(
        this IEnumerable<TSource>? source)
    {
        return source ?? Enumerable.Empty<TSource>();
    }

    // 新增针对可空ImmutableArray的重载
    public static IEnumerable<TSource> EmptyIfNull<TSource>(
        this ImmutableArray<TSource>? source)
    {
        return source.HasValue ? source.Value : Enumerable.Empty<TSource>();
    }
}

此后调用arr.EmptyIfNull()无需指定泛型参数，编译器会自动匹配对应重载。

方案3：通用可空值类型扩展方法 #

若需支持更多实现IEnumerable<T>的可空值类型，可编写通用重载：

public static IEnumerable<TSource> EmptyIfNull<TSource, TEnumerable>(
    this TEnumerable? source)
    where TEnumerable : struct, IEnumerable<TSource>
{
    return source.HasValue ? source.Value : Enumerable.Empty<TSource>();
}

性能补充说明 #

ImmutableArray<T>转换为IEnumerable<T>时会发生装箱，但LINQ查询本身的开销远大于该装箱成本，绝大多数业务场景下无需担忧。若追求极致性能，方案2或3的重载版本可避免装箱（直接访问source.Value，无需转换为IEnumerable<T>）。

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