如何让包所有者解决CS8602空引用警告问题？

编译器的静态空引用检查（如CS8602警告）依赖方法的元数据特性来推断变量的null状态。你遇到的问题根源在于：Assert.NotNull方法如果没有标注合适的特性，编译器无法得知该方法会在参数为null时终止执行，因此不会更新record变量的非null推断状态。

作为包所有者，你可以通过添加空引用分析特性来解决这个问题，具体方案如下：

• 给断言方法添加[NotNull]特性
  使用System.Diagnostics.CodeAnalysis命名空间下的[NotNull]特性，标注在方法的参数上，告诉编译器：调用该方法后，传入的参数一定不为null。

  示例（你维护的包中的断言方法定义）：

  using System.Diagnostics.CodeAnalysis;
  
  public static class Assert
  {
      public static void NotNull([NotNull] object? value)
      {
          if (value is null)
          {
              throw new ArgumentNullException(nameof(value), "值不能为空");
          }
      }
  }
  

  添加这个特性后，调用Assert.NotNull(record)时，编译器会自动推断后续record不可能为null，CS8602警告会直接消失，无需手动写if (null) throw或#pragma指令。

• 其他场景的特性补充
  根据方法的不同行为，还可以使用对应的特性辅助编译器分析：

  • 如果方法返回bool值表示参数是否非null，用[NotNullWhen(true)]特性（比如Assert.IsNotNull返回true时参数非null）
  • 标记方法返回值一定非null，用[return: NotNull]特性
  • 标记方法返回值可能为null，用[return: MaybeNull]特性

• 关于xUnit的现有支持
  新版xUnit已经为断言方法添加了这些空引用特性，如果你使用的是旧版本，升级到最新版即可解决该警告问题。

这种方式本质是通过元数据给编译器传递方法的行为约定，让静态分析能跨方法正确推断变量的null状态，彻底避免在代码中频繁添加#pragma指令。

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