c# - 为什么Resharper仍然为此代码提供空引用警告

此方法是aspx GridView控件中OnRowCommand的事件处理程序。 Resharper警告gvUnits，gvUnit.DataKeys和gvUnits.DataKeys[index]可能为null，并建议在第二个if语句中添加检查。添加它们后，它会另外发出一条警告，指出gvUnits.DataKeys != null始终为true。既不按照建议添加这些检查，也没有手动添加断言抑制了警告。

我不明白这是怎么回事：gvUnits是易失的，如果是这样，为什么是Resharper 5.1中的错误，还是有其他事情发生？

protected void GvUnitsRowCommand(object sender, System.Web.UI.WebControls.GridViewCommandEventArgs e)
{
    if (e.CommandName == "EditUnit")
    {
        int index = int.Parse(e.CommandArgument.ToString());
        if (gvUnits != null && gvUnits.DataKeys != null && gvUnits.DataKeys.Count > index)
        {
            Debug.Assert(gvUnits != null);
            Debug.Assert(gvUnits.DataKeys != null);
            Debug.Assert(gvUnits.DataKeys[index] != null);

            int unitID = (int)gvUnits.DataKeys[index].Value;
            //do stuff with unitID
        }
    }
}

最佳答案

假定DataKeys是属性，则gvUnits.DataKeys本质上是一个方法调用（调用getter）。因此，如果您两次调用它，则不能保证它在第二次调用时不会返回null。同样，如果DataKeys[index]是索引器调用（不是数组访问），则这也是方法调用，如上所述，它可以在第二次调用中返回null。提供保证的断言的唯一方法是将每个调用的结果存储在局部变量中，然后断言该局部值不为null。由于本地值在使用之间无法更改，因此ReSharper知道它是安全的。

在这种情况下，您甚至没有意识到就做出了隐式假设（属性的返回值不会在调用之间发生变化）。在这种情况下，您可以根据需要添加注释，而不是创建警告。声明的本地副本，它基本上将假设推到属性实现器上（以保证连续调用之间的不可变性。）