Resharper-可能将Null属性指定给not Null属性时出现误报警告

Question

在下面的代码中，key的最后两个引用由Resharper标记，尽管Resharper应该知道key不会为空。

首先，字符串属性检查为空、空或空白，如果这些条件中的任何一个为真，则跳过该块。扩展方法，ToLowerNullSafe（）仅在输入为Null时返回Null，并且这被标记为注释（第二个代码块）。因为我们已经检查了属性是否为非空，并且扩展方法被标记为返回非空，所以我希望Resharper知道key为非空。

var myObj = new { MyProperty = "some string" };
var myCache = new Dictionary<string, object>();

if (!string.IsNullOrWhiteSpace(myObj.MyProperty))
{
    string key = myObj.MyProperty.ToLowerNullSafe();
    lock (myCache)
    {
        if (!myCache.ContainsKey(key))
        {
            myCache.Add(key, myObj);
        }
    }
}

上面这两行是标记键的位置：

if (!myCache.ContainsKey(key))

和

myCache.Add(key, myObj);

下面是ToLowerNullSafe方法及其注释。

[ContractAnnotation("null => null; notnull => notnull")]
public static string ToLowerNullSafe(this string str)
{
    return string.IsNullOrWhiteSpace(str) ? str : str.ToLower();
}

知道为什么Resharper似乎忽略了注释吗？我该怎么解决呢？

使用：

• Visual Studio Ultimate 2013更新5

编辑

myObj上的冗余空检查。MyProperty在之前或之后添加冗余的空检查（myObj.MyProperty！=null）！一串IsNullOrWhiteSpacecheck清除错误。

if (myObj.MyProperty != null && !string.IsNullOrWhiteSpace(myObj.MyProperty))
{
    string key = myObj.MyProperty.ToLowerNullSafe();
    lock (myCache)
    {
        if (!myCache.ContainsKey(key))
        {
            myCache.Add(key, myObj);
        }
    }
}

键上的冗余空检查添加冗余检查、断言或契约假设也可以清除错误。

这里我添加了合同。假设（key！=null） 键后立即编码>。

if (!string.IsNullOrWhiteSpace(myObj.MyProperty))
{
    string key = myObj.MyProperty.ToLowerNullSafe();
    Contract.Assume(key != null);
    lock (myCache)
    {
        if (!myCache.ContainsKey(key))
        {
            myCache.Add(key, myObj);
        }
    }
}

不调用ToLowerNullSafe这也清除了错误。但是，由于ContainsKey方法执行区分大小写的比较，而我希望进行不区分大小写的比较，因此可能会出现问题。

if (!string.IsNullOrWhiteSpace(myObj.MyProperty))
{
    string key = myObj.MyProperty;
    lock (myCache)
    {
        if (!myCache.ContainsKey(key))
        {
            myCache.Add(key, myObj);
        }
    }
}

调用内置字符串函数ToLower也会清除错误。但会使代码库不一致。我们在代码中有许多地方可以预期空值，并且必须安全地处理空值，因此为了避免出现问题，我们应用了custom。。。NullSafe扩展方法贯穿整个代码。我不确定这是否符合“最佳实践”，但这就是我们在这个项目上所做的。

if (!string.IsNullOrWhiteSpace(myObj.MyProperty))
{
    string key = myObj.MyProperty.ToLower();
    lock (myCache)
    {
        if (!myCache.ContainsKey(key))
        {
            myCache.Add(key, myObj);
        }
    }
}

在所有工作代码示例中，Resharper似乎只是忽略了ToLowerNullSafe扩展方法上的契约注释。然而，在第一个工作示例中，它确实可以识别这些注释，但需要对对象的属性进行显式且冗余的空检查。




Answer 1

我怀疑这是ReSharper 8中的一个bug（特别是@sarel louw给出的答案，它在返回字符串的合同中返回bool）。我刚刚在ReSharper 2016.2中尝试过这个，它根本不标记键变量-不需要合同注释。

Answer 2

你能试试吗

[ContractAnnotation("str:null => null; str:notnull=>notnull")]

我在搜索为什么Resharper会这样做，并找到了这个页面，它也可能是Resharper的版本问题？

编辑

我已经实现了与您相同的方法，并且完全根据您的代码创建了扩展方法，当我对注释执行以下操作时，“键”上的曲线消失了。

[ContractAnnotation("null => true; notnull => true")]

希望这有所帮助。