如何为AnyNull扩展方法实现可空性断言以消除空值警告？

问题根源 #

你的当前实现使用object?[]作为参数，所有传入的可空类型都会被装箱，编译器无法将NotNullWhen的语义关联到原始的输入变量上，自然无法在后续代码中消除可空警告。同时，NotNullWhen仅标记单个参数的非空状态，无法覆盖批量传入的多个变量。

正确实现方案 #

使用泛型参数结合[DoesNotReturnIf(true)]和[MemberNotNull]特性，让编译器能够直接跟踪每个输入变量的非空状态：

using System.Diagnostics.CodeAnalysis;

public static class NullChecker
{
    [DoesNotReturnIf(true)]
    [MemberNotNull(nameof(args))]
    public static bool AnyNull<T>(params T?[] args)
    {
        foreach (var arg in args)
        {
            if (arg is null)
            {
                return true;
            }
        }
        return false;
    }
}

特性说明 #

• [DoesNotReturnIf(true)]：告知编译器，当方法返回true时，当前代码路径会终止（比如你的示例中直接return），后续代码不会执行。
• [MemberNotNull(nameof(args))]：告知编译器，当方法返回false时，args数组中的所有元素都不为null，从而让编译器将每个传入的变量视为非空。
• 泛型T避免了装箱操作，确保编译器可以直接跟踪原始变量的可空状态，而非装箱后的object?。

使用示例 #

var maybeNullObj1 = source1.GetValue();
var maybeNullObj2 = source2.GetValue();
// 可传入任意数量的可空变量
if (NullChecker.AnyNull(maybeNullObj1, maybeNullObj2))
{
    return;
}

// 此处所有传入的变量都会被编译器视为非空，无任何可空性警告
maybeNullObj1.DoSomething();
maybeNullObj2.DoSomethingElse();

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