如何一次性校验多个变量空值且不触发C#空性警告？

针对你需要一次性报告所有参数空值问题，同时不想牺牲编译器空值分析能力、避免滥用空值原谅运算符(!)的需求，以下是几种实用方案：

方案1：收集错误后统一输出并终止 #

这种方式既可以一次性输出所有空值问题，编译器也能通过分支分析，识别后续代码中参数的非空状态，不会产生警告。

var errors = new List<string>();
if (arg1 == null) errors.Add("arg1 不能为空");
if (arg2 == null) errors.Add("arg2 不能为空");

if (errors.Count > 0)
{
    // 一次性输出所有错误日志
    foreach (var err in errors)
    {
        logger.LogError(err);
    }
    return;
}

// 此处arg1、arg2不会触发null警告，编译器能识别到只有参数非空才会执行到这里
arg1.DoSomething();
arg2.DoSomething();

方案2：用[NotNullWhen]特性封装验证方法 #

通过System.Diagnostics.CodeAnalysis.NotNullWhen特性，告诉编译器当验证方法返回true时，传入的参数必然非空，既实现批量校验，又保留空值分析能力。

using System.Collections.Generic;
using System.Diagnostics.CodeAnalysis;

// 封装批量验证方法
private static bool ValidateParameters(
    [NotNullWhen(true)] string? arg1,
    [NotNullWhen(true)] string? arg2,
    out List<string> errors)
{
    errors = new List<string>();
    if (arg1 == null) errors.Add("arg1 不能为空");
    if (arg2 == null) errors.Add("arg2 不能为空");
    
    return errors.Count == 0;
}

// 调用验证
if (!ValidateParameters(arg1, arg2, out var errors))
{
    foreach (var err in errors)
    {
        logger.LogError(err);
    }
    return;
}

// 此处arg1、arg2无null警告
arg1.DoSomething();
arg2.DoSomething();

方案3：返回包含非空参数的验证结果（C# 7.0+） #

通过值元组(ValueTuple)返回验证状态和已确保非空的参数，直接使用返回的参数即可避免警告，同时批量收集错误。

private static (bool IsValid, string ValidArg1, string ValidArg2) ValidateParameters(string? arg1, string? arg2)
{
    var errors = new List<string>();
    if (arg1 == null) errors.Add("arg1 不能为空");
    if (arg2 == null) errors.Add("arg2 不能为空");
    
    if (errors.Count > 0)
    {
        foreach (var err in errors)
        {
            logger.LogError(err);
        }
        // 验证失败时返回占位值，后续不会使用
        return (false, string.Empty, string.Empty);
    }
    
    // 此处已确认参数非空，空值原谅运算符仅用于类型转换，无运行时风险
    return (true, arg1!, arg2!);
}

// 调用验证
var result = ValidateParameters(arg1, arg2);
if (!result.IsValid)
{
    return;
}

// 使用已确保非空的参数，无null警告
result.ValidArg1.DoSomething();
result.ValidArg2.DoSomething();

以上方案均无需在业务代码中滥用空值原谅运算符，同时能一次性报告所有参数问题，完美兼顾空值分析能力和用户体验。

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