为什么我不能将可空元组用于可空泛型参数

Question

所以我想知道您是否可以创建一个扩展方法，将.Where() 和.Select() 的功能结合起来，用于过滤掉列表的空值并使类型与可空引用类型保持一致的特殊情况。这意味着如果我得到一个string?[]，它将过滤掉所有null 值并返回一个不带可为空字符串的IEnumerable<string>。

但是，当我尝试过滤出如下所示的可空元组时，我收到编译器错误，即预期为不可空元组类型。 为什么此解决方案适用于所有常规类型但不适用于元组，我如何更改我的扩展方法以也适用于元组。

扩展方法：

public static IEnumerable<TResult> SelectNotNull<TSource, TResult>
(this IEnumerable<TSource> enumerable, Func<TSource, TResult?> selector)
{
    foreach (var item in enumerable)
        if (selector(item) is { } result)
            yield return result;
}

产生编译器错误的示例代码：

(string?, int)[] arr = Array.Empty<(string?, int)>();

static (string, int)? Selector((string?, int) x)
{
    return x.Item1 != null ? x : null;
}

arr.SelectNotNull<(string?, int), (string, int)>(Selector);

Answer 1

如果没有约束，您的 TResult? 将被解释为引用类型可空性注释（如果未启用引用类型可空性，您应该看到 CS8632 警告，或者如果使用早期 C# 编译器版本，则会看到硬错误） -和可空性注释非常只是建议性的；他们不会改变任何艰难的行为。要获得您似乎想要的行为值类型，您可以添加：

public static IEnumerable<TResult> SelectNotNull<TSource, TResult>
(this IEnumerable<TSource> enumerable, Func<TSource, TResult?> selector)
    where TResult : struct // <== add constraint

但是，这根本不适用于引用类型。