C#中如何告知编译器调用栈已检查对象内可空集合非空？

针对你遇到的场景，除了空原谅运算符!，有以下几种可靠方法让编译器识别属性已完成非空校验：

1. 使用[MemberNotNull]属性标记校验方法 #

通过System.Diagnostics.CodeAnalysis命名空间下的[MemberNotNull]属性，可以标记某个方法执行后，目标对象的指定属性必然非空。编译器会据此更新代码流分析结果，不再提示该属性可能为空。

示例代码：

using System.Diagnostics.CodeAnalysis;
using System.ComponentModel.DataAnnotations;

// 实体模型定义
public class Model { public List<OtherModel>? OtherModels { get; set; } }
public class OtherModel { }

// 校验方法添加MemberNotNull标记
[MemberNotNull(nameof(Model.OtherModels))]
public void ValidateModel(Model model)
{
    if (model.OtherModels == null)
        throw new ValidationException("OtherModels 不能为空");
}

// 调用示例
public void ProcessModel(Model model)
{
    ValidateModel(model);
    // 此处编译器会识别model.OtherModels已非空，不再提示空引用警告
    foreach (var item in model.OtherModels)
    {
        // 处理逻辑
    }
}

若需同时标记多个属性非空，可使用[MemberNotNull(nameof(Prop1), nameof(Prop2))]的形式。

2. 封装校验后的非空模型（类型安全方案） #

从类型层面保证属性非空，彻底消除后续代码的空值顾虑。创建校验后的包装类，将原模型的可空属性转为不可空，校验通过后转换为该类传递。

示例代码：

public class ValidatedModel
{
    public List<OtherModel> OtherModels { get; }

    public ValidatedModel(Model model)
    {
        if (model.OtherModels == null)
            throw new ValidationException("OtherModels 不能为空");
        OtherModels = model.OtherModels;
    }
}

// 调用示例
public void ProcessValidatedModel(ValidatedModel validatedModel)
{
    // 此处OtherModels本身就是不可空类型，无需额外校验
    foreach (var item in validatedModel.OtherModels)
    {
        // 处理逻辑
    }
}

这种方案通过类型系统强制约束，比依赖代码流分析更可靠，尤其适合复杂调用栈场景。

补充说明 #

你提到的[NotNull]属性主要用于标记方法参数或返回值的非空约束，而[MemberNotNull]才是专门用于标记方法执行后对象成员非空的属性，两者适用场景不同。

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