当我将 null 转换为另一个类时会发生什么

Question

我在一个库方法中有一些代码，如下所示：

public static WebDavProviderBase GetProvider(string relativePath)
{
  if (relativePath == null)
    return (WebDavProviderBase) null;
  if (relativePath.Length == 0)
    return (WebDavProviderBase) new DefaultProvider();
  WebDavProviderBase returnProvider = (WebDavProviderBase) null;
  if ((int) relativePath[0] == 47)
    relativePath = relativePath.Substring(1);
  WebDavProviderBase.GetRootProvider().MapPath(relativePath, out returnProvider);
  return returnProvider;
}

当我使用代码时，它看起来像这样：

WebDavProviderBase provider = WebDavProviderBase.GetProvider(relativePath);

if (provider == null)
{
    //Do something
}

但是，Resharper (10 Ultimate) 抱怨 null 检查，并说这是一个多余的检查，因为 provider 永远不能为 null。

Resharper 是不是错了，还是 (WebDavProviderBase)null 会返回一个新的 WebDavProviderBase？

按要求截图：

更新： 从下面的 Jebs 回答中得到帮助后，这是结论： 当 GetProvider 被调用时，relativePath 不能为空，因为应用程序已经崩溃，因为代码中的 relativePath.Lenght 进一步检查。 （见截图）

Answer 1

让我们从解决您的结论性问题开始。其中有两个，合并为一个（请尽量避免），所以我将它们分开并一次回答一个：

Resharper 错了吗...？

是的。好吧，也许……稍后会详细介绍。

... 还是(WebDavProviderBase)null 会返回一个新的 WebDavProviderBase？

没有。

---

Visual Studio 2015 Professional ... 说这是一个多余的检查，因为 provider 永远不能为空。

这可能只是巧合地与您提出的问题有关，但无论如何解释我认为这里发生的事情可能会有所帮助。 VS2015 可能在进行某种形式的推演，推断当relativePath 为非空时，返回值也将为非空。这里有两个先决条件：

• VS2015 是否可以仅通过查看您编写的代码就推断出relativePath 是非空的？例如，如果您已将其分配给一个常数值，则答案是肯定的“是”。 更新：.ToString() 方法保证返回字符串或引发异常，因此编译器很可能推断出relativePath 在此处始终为非空。
• VS2015 能否推断出非空relativePath 值对应非空GetProvider 返回值？这代表编译器涉及更复杂的功能，但它并不超出编译范围......如果编译器可以遵循您的逻辑并推断出不可能返回null，那么它可以安全地告诉您你的null 检查是错误的。