VS2022 Intellisense自定义空值验证后空警告仍存在求助

问题根源 #

VS2022的空值警告依赖静态分析逻辑，默认只识别框架内置的空值检查方法（比如ArgumentNullException.ThrowIfNull），自定义验证方法没有明确标记的话，编译器无法识别其“参数非空”的验证效果，所以仍会触发警告。

具体解决步骤 #

1. 给自定义验证方法添加空值分析特性 #

用.NET自带的[NotNull]（或[MemberNotNull]）特性，明确告诉编译器：执行完这个方法后，参数/成员肯定不为空。

• 静态验证方法：给需要验证的参数加上[NotNull]特性
• 实例方法需确保成员非空：使用[MemberNotNull(nameof(成员名))]标记

示例代码：

using System.Diagnostics.CodeAnalysis;

public static class Guard
{
    // 单个参数的自定义空值验证
    public static void ThrowIfNull([NotNull] object? obj, string paramName)
    {
        if (obj is null)
        {
            throw new ArgumentNullException(paramName);
        }
    }

    // 批量验证多参数的方法，每个待验证参数都标记[NotNull]
    public static void ValidateParams(
        [NotNull] object? param1,
        [NotNull] object? param2,
        [NotNull] object? param3,
        params string[] paramNames)
    {
        if (param1 is null) throw new ArgumentNullException(paramNames[0]);
        if (param2 is null) throw new ArgumentNullException(paramNames[1]);
        if (param3 is null) throw new ArgumentNullException(paramNames[2]);
    }
}

2. 确认项目启用空值分析 #

检查项目文件（.csproj）是否开启空值分析，没有的话添加以下配置：

<PropertyGroup>
    <Nullable>enable</Nullable>
    <!-- 可选：将空值警告设为错误，强制代码规范 -->
    <WarningsAsErrors>nullable</WarningsAsErrors>
</PropertyGroup>

3. 调用验证方法后的参数使用 #

调用自定义验证方法后，编译器会自动识别参数已非空，不再触发警告：

public void ProcessData(ILogger logger, string userId, int? orderCount)
{
    Guard.ValidateParams(logger, userId, orderCount, nameof(logger), nameof(userId), nameof(orderCount));
    
    // 此处使用三个参数不会触发空值警告
    logger.LogInformation("用户{Id}的订单数：{Count}", userId, orderCount.Value);
}

泛型参数的特殊处理 #

如果自定义方法处理泛型参数，同样给泛型参数加上[NotNull]特性：

public static void ThrowIfNull<T>([NotNull] T? obj, string paramName) where T : class
{
    if (obj is null)
    {
        throw new ArgumentNullException(paramName);
    }
}

验证效果 #

添加特性标记后，VS2022的静态分析会正确识别自定义验证的作用，已验证的参数将不再显示空值警告，效果和使用框架内置空值检查方法完全一致。

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