如何獲得resharper知道我的變量不爲空後，我已經調用了它的擴展方法？

Question

我有一個擴展方法：

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

如果我使用它，然後做這樣的事情：

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

然後ReSharper的警告我說，有一個可能的空引用異常。

我知道這是不可能的，但我怎麼能告訴resharper，這是好的？

Answer 1

您可以使用合同註釋來做到這一點，但在另一個答案中提供的方式對我不起作用（即 - 仍然會產生警告）。但是這一個工程：

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

要獲得ContractAnnotationAttribute - 推薦的方法是安裝JetBrains.Annotations NuGet包。如果你不想安裝軟件包 - 進入Resharper> Options> Code Annotations並點擊「copy implementation to clipboard」按鈕，然後將其粘貼到項目的任何位置（確保不要更改命名空間）。

Answer 2

您可以使用"Contract Annotation Syntax"向Resharper表明某種方法在某些情況下不能正常返回，例如，當一個參數爲空時。

爲了您的例子中，你可以做這樣的事情：

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

凡toCheck:null => true告訴ReSharper的，如果toCheck不爲null，該方法將返回true。

[編輯]更新的鏈接指向最新的Resharper文檔。