c# - 如何在 C# 中证明方法永远不会返回 null(按契约(Contract)设计)

Question

我有一个从不返回空对象的方法。我想说清楚，以便我的 API 的用户不必编写这样的代码:

if(Getxyz() != null)
{
  // do stuff
}

我怎样才能表现出这种意图？

Answer 1

不幸的是，C# 中没有内置方法

您可以记录这个事实，但不会自动检查。

如果您使用的是 resharper，则可以将其设置为在方法标有 [NotNull] 属性时正确检查。

否则，您可以使用 [Microsoft Contracts][1] 库并在您的方法中添加类似于以下内容的内容，但对于这样一个简单的注释来说，这是相当多的额外措辞。

Contract.Ensures(Contract.Result<string>() != null)

Spec# 通过允许 !在类型之后将其标记为非空类型，例如

string! foo

但 Spec# 只能用于面向 .NET2，并且已被 Code Contracts 库取代。[1]: http://research.microsoft.com/en-us/projects/contracts/