代码合同/声明：重复检查怎么办？

我非常喜欢用我使用的语言编写断言，合同或任何类型的支票。让我感到困扰的一件事是，我不确定处理重复支票的通用做法。

情况示例：我首先编写以下函数

void DoSomething( object obj )
{
  Contract.Requires<ArgumentNullException>( obj != null );
  //code using obj
}

然后几个小时后，我编写了另一个函数，该函数调用第一个函数。由于所有内容仍在内存中，因此我决定不重复合同，因为我知道DoSomething已经检查了一个空对象：

void DoSomethingElse( object obj )
{
  //no Requires here: DoSomething will do that already
  DoSomething( obj );
  //code using obj
}

明显的问题：DoSomethingElse现在依赖于DoSomething验证obj不为null。因此，应该DoSomething决定不再检查，或者如果我决定使用另一个函数，则可能不再检查obj。毕竟，这导致我要编写此实现：

void DoSomethingElse( object obj )
{
  Contract.Requires<ArgumentNullException>( obj != null );
  DoSomething( obj );
  //code using obj
}

始终安全，无后顾之忧，只不过如果情况恶化，则可能会多次检查同一对象，并且这是一种重复形式，我们都知道这样做不是很好。

对于这种情况，最常见的做法是什么？

就个人而言，我会在任何会返回null的函数中检查null，而不在不会的任何函数中进行检查。

因此，在上面的示例中，如果doSomethingElse（）不需要取消引用obj，那么我不会在那里检查obj是否为null。

如果DoSomething（）确实取消了对obj的引用，则应检查是否为null。

如果两个函数都取消引用，则它们都应检查。因此，如果DoSomethingElse取消引用obj，则它应检查是否为null，但DoSomething仍应检查是否为null，因为它可能是从其他路径调用的。

这样，您可以使代码保持清晰，并仍然确保检查在正确的位置。

大！我看到您发现了有关.NET的代码合同。代码合同比您的平均断言超出了很多，静态检查器是最好的例子。如果未安装Visual Studio Premium或更高版本，则可能无法使用该功能，但是如果要使用代码协定，则必须了解其背后的意图，这一点很重要。

当您将合同应用于功能时，它实际上就是合同。该函数保证根据合同行为，并保证仅按合同定义使用。

在您给出的示例中，该DoSomethingElse()函数不符合所指定的约定DoSomething()，因为可以传递null，并且静态检查器将指出此问题。解决此问题的方法是在中添加相同的合同DoSomethingElse()。

现在，这意味着将有重复项，但是当您选择将功能公开给两个功能时，此重复项是必需的。这些函数虽然是私有的，但也可以从类中的不同位置调用这些函数，因此，确保从任何给定调用中引出的参数永远不会为null的唯一方法是复制合同。

这应该使您重新考虑为什么首先将行为分为两个功能。我一直认为（与普遍看法相反），您不应拆分仅从一个地方调用的函数。通过应用合同公开封装，这变得更加明显。看来我为自己的事业找到了额外的理由！谢谢！:)