如何通过代码注解消除C#中CS8602空引用警告？

针对你遇到的场景，确实可以通过代码注解让编译器在if (!something.IsOK)判断后，自动认定something.TheContent非空，无需每次使用!后缀或重复赋值。最推荐的方案是利用C#的**[MemberNotNullWhen]属性**，它能直接关联布尔属性和其他成员的非空状态。

1. 使用[MemberNotNullWhen]属性（最优解） #

在Something类的IsOK属性上添加[MemberNotNullWhen]注解，明确告知编译器：当IsOK为true时，TheContent一定不为null。这样编译器会自动在if (!something.IsOK)返回后的代码块中，将TheContent视为非空引用，不再触发CS8602警告。

修改后的代码如下：

using System.Diagnostics.CodeAnalysis; // 需要引入这个命名空间

class Content 
{
   public string Value { get; set; } = string.Empty; // 建议给非空属性加默认值，避免其他潜在警告
}

class Something
{
    // 标注：当IsOK为true时，TheContent非空
    [MemberNotNullWhen(true, nameof(TheContent))]
    public bool IsOK { get; set; }
    public Content? TheContent { get; set; }
}

Something ProcessIt()
{
    var result = new Something();
    if (/*whatever*/)
    {
        result.IsOK = true;
        result.TheContent = new Content() { Value = "Hello!" };
    }
    else 
    {
        result.IsOK = false;
    }
    return result;
}

string? DoWork()
{
    var something = ProcessIt();

    if (!something.IsOK)
        return null;

    return something.TheContent.Value; // 不再有CS8602警告
}

2. 其他可选方案 #

如果你不想修改Something类的定义，还可以用以下方式：

• 局部变量绑定：将TheContent赋值给一个非空局部变量，后续复用该变量：

  string? DoWork()
  {
      var something = ProcessIt();
  
      if (!something.IsOK)
          return null;
  
      Content content = something.TheContent!; // 仅需一次!后缀
      return content.Value;
      // 后续多次使用content都不会有警告
  }
  

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