可空性分析器为何不识别FluentAssertions的NotBeNull断言？

C#可空性分析器默认只能识别语言内置的空检查逻辑（比如if (foo != null)），不知道FluentAssertions的NotBeNull()方法的语义：只要该断言通过（没有抛出异常），被检查的对象一定非空。低版本的FluentAssertions没有给断言方法添加可空语义注解，因此分析器无法识别这个隐含的非空条件。

方案1：使用链式断言（最简便，无需额外配置） #

FluentAssertions的NotBeNull()方法会返回断言上下文对象，其附带的Subject属性已经被标记为非空，直接链式调用即可避免警告：

Foo? foo = Bar();

// 链式调用直接获取非空的断言对象
foo.Should().NotBeNull().And.Subject.Value.Should().Be(5);

方案2：升级FluentAssertions到最新稳定版 #

FluentAssertions 6.0及以上版本已经为所有断言方法添加了官方可空语义注解，只要你的项目启用了可空引用类型支持，调用NotBeNull()通过后，编译器可空分析器会自动识别后续代码中变量为非空状态，不会触发警告。
如果升级后仍有警告，检查项目文件中是否开启了完整的可空分析：

<Project>
  <PropertyGroup>
    <Nullable>enable</Nullable>
    <!-- 可选：调高可空分析级别保证所有规则生效 -->
    <AnalysisLevel>latest-all</AnalysisLevel>
  </PropertyGroup>
</Project>

方案3：自定义带可空注解的扩展方法（适配旧版本） #

如果你暂时无法升级FluentAssertions版本，可以自己封装扩展方法，通过System.Diagnostics.CodeAnalysis命名空间下的[NotNull]特性标记语义，告诉编译器该方法正常返回时，输入的断言对象一定非空：

using System.Diagnostics.CodeAnalysis;
using FluentAssertions;
using FluentAssertions.Primitives;

public static class CustomAssertionExtensions
{
    public static AndConstraint<ObjectAssertions> NotNull([NotNull] this ObjectAssertions? assertions, string because = "", params object[] becauseArgs)
    {
        // 内部调用原生NotBeNull实现逻辑
        return assertions.NotBeNull(because, becauseArgs);
    }
}

使用自定义方法替换原生调用即可：

Foo? foo = Bar();

foo.Should().NotNull();
foo.Value.Should().Be(5); // 无警告

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