如何让IDE提示异步非空返回值的多余空检查？

这个问题我之前也碰到过，确实挺闹心的——明明方法保证不会返回null，结果await之后变量就变成可空类型，还得写多余的null检查，关键IDE明明知道没必要却不提醒。给你几个实用的解决办法：

• 给异步方法添加非空标记
  你可以给GetThingAsync方法加上[NotNull]属性（需要引用System.Diagnostics.CodeAnalysis命名空间），明确告诉编译器这个方法的返回值永远不会为null：

  using System.Diagnostics.CodeAnalysis;
  
  [NotNull]
  Task<T> GetThingAsync(long id);
  

  这样当你await这个方法后，变量x的类型会被推断为Entity而非Entity?，同时IDE会主动提示你if (x != null)这个检查是多余的。

• 使用null-forgiving操作符（!）
  如果不方便修改原方法的定义，你可以在await的时候加上!操作符，手动告诉编译器“这个值肯定不为null”：

  var x = await repo.GetThingAsync(0)!;
  

  这样x的类型会变成非空的Entity，后续的null检查也会被IDE识别为多余代码。

• 关于IDE提示的补充说明
  目前像Visual Studio这类IDE，只有当方法有明确的非空注解标记时，才会稳定地提示多余的null检查。如果没有这些标记，哪怕IDE的静态分析能推断出值非空，也可能不会主动给出提示——这种情况下，确实可以考虑向IDE厂商提交功能请求，希望他们增强静态分析能力，识别这类约定俗成的非空异步方法返回场景。

备注：内容来源于stack exchange，提问作者Kjell Rilbe