如何解决C#中外部方法空检查无法消除可空警告问题？

要让编译器识别外部Guard类的空值检查，关键是利用C#的可空静态分析属性，通过泛型方法结合[NotNull]属性精准追踪单个参数的非空状态，替代原有的params数组实现。

改进后的Guard类实现 #

using System.Diagnostics.CodeAnalysis;

public static class Guard
{
    // 引用类型参数的空检查重载
    public static void ThrowIfNull<T>([NotNull] T? argument, string? paramName = null)
        where T : class
    {
        ArgumentNullException.ThrowIfNull(argument, paramName);
    }

    // 值类型可空参数的空检查重载（可选）
    public static void ThrowIfNull<T>([NotNull] T? argument, string? paramName = null)
        where T : struct
    {
        ArgumentNullException.ThrowIfNull(argument, paramName);
    }
}

使用示例 #

public void TestCase(string? name, string? email)
{
    Guard.ThrowIfNull(name);
    Guard.ThrowIfNull(email);

    // 编译器可识别参数已通过空检查，不再抛出可空警告
    string _name = name;
    string _email = email;
}

核心原理 #

• [NotNull]属性会告知编译器：方法执行完成后，传入的参数必然不为null，因此后续代码中该参数的可空状态会被更新为非空。
• 泛型重载避免了params数组的装箱问题，同时让编译器能精准关联每个原始参数的检查状态（原params数组方式下，编译器无法将数组元素与原始参数的可空性绑定）。
• 额外的值类型重载可处理int?这类值类型可空参数的空检查需求，覆盖更多场景。

若需检查多个参数，直接多次调用Guard.ThrowIfNull即可，代码保持简洁优雅，且完全适配编译器的可空分析规则。

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