自定义方法能否满足Pragma Warnings的CS8604警告校验规则？

例如，调用string.IsNullOrWhiteSpace("")时，该写法符合Pragma Warnings规则，不会触发以下警告：

CS8604: Possible null reference argument

若自定义了名为"".IsNull()的扩展方法，完全可以通过官方提供的空静态分析特性标记，让IDE和编译器将其识别为CS8604警告的合法处理逻辑，和框架内置方法的检查效果一致。

该扩展方法的初始实现代码如下：

public static bool IsNull(this string? s) => string.IsNullOrWhiteSpace(s);

具体修改方案 #

首先引入空分析特性所在的命名空间，给方法参数添加[NotNullWhen(false)]标记即可，修改后完整代码：

using System.Diagnostics.CodeAnalysis;

public static bool IsNull([NotNullWhen(false)] this string? s)
    => string.IsNullOrWhiteSpace(s);

实现原理 #

• 框架内置的string.IsNullOrWhiteSpace本身携带了编译器可识别的空判断语义元数据，因此不会触发CS8604警告，自定义方法默认没有这类标记，编译器无法自动推断它的空检查逻辑
• 标记[NotNullWhen(false)]后，编译器会明确识别规则：当IsNull()返回false时，传入的字符串参数一定不为null，后续在判断分支内使用该变量就不会误报空引用警告
• 可根据自定义空检查方法的实际逻辑，搭配同命名空间下的[NotNullWhen(true)]、[MemberNotNull]等特性，适配不同的空判断场景，效果和框架内置空检查方法完全一致。

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