VS2022中Guard校验后仍出现CS8602空引用警告的解决方法

方案1：为Guard.NotNull添加编译器识别的注解 #

如果你使用的.NET Guard库没有内置空引用校验的编译期注解，可以自己封装扩展方法，通过[DoesNotReturnIf]和[NotNull]属性让编译器识别校验逻辑：

using System.Diagnostics.CodeAnalysis;

public static class GuardExtensions
{
    [DoesNotReturnIf(false)]
    public static void NotNull([NotNull] object? value, string parameterName)
    {
        if (value == null)
            throw new ArgumentNullException(parameterName);
    }
}

调用这个扩展方法后，编译器会明确知晓：当参数为空时方法不会返回，且校验后的变量必然非空，从而消除警告。

方案2：使用null-forgiving运算符（!） #

!运算符是编译期提示，明确告知编译器“该变量已被校验为非空”，不会引入额外运行时检查，写法简单直接：

Application.Run(master_form!.getForm());

方案3：重新赋值为非空变量 #

在校验后将变量赋值给一个明确标记为非空的新变量，利用编译器的流分析特性：

Guard.NotNull(master_form, nameof(master_form));
IForm nonNullMasterForm = master_form;
Application.Run(nonNullMasterForm.getForm());

方案4：添加Debug.Assert辅助分析 #

在Guard.NotNull后补充Debug.Assert断言，编译器会识别这个非空声明：

Guard.NotNull(master_form, nameof(master_form));
System.Diagnostics.Debug.Assert(master_form != null);
Application.Run(master_form.getForm());

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