c# - 在调用扩展方法后，如何让 resharper 知道我的变量不为空？

Question

我有一个扩展方法:

public static bool Exists(this object toCheck)
{
   return toCheck != null;
}

如果我使用它然后做这样的事情:

if (duplicate.Exists())
    throw new Exception(duplicate);

然后 resharper 警告我可能存在空引用异常。

我知道这是不可能的，但我如何告诉 resharper 这没问题？

Answer 1

您可以使用契约(Contract)注释来做到这一点，但另一个答案中提供的方式对我不起作用(即 - 仍然会产生警告)。但是这个有效:

public static class Extensions {
    [ContractAnnotation("null => false; notnull => true")]
    public static bool Exists(this object toCheck) {
        return toCheck != null;
    }
}

要获取 ContractAnnotationAttribute - 推荐的方法是安装 JetBrains.Annotations nuget 包。如果您不想安装包 - 转到 Resharper > 选项 > 代码注释并按“将实现复制到剪贴板”按钮，然后将其粘贴到项目中的任何位置(确保不更改命名空间)。