c# - 测试先决条件的不同方法的优缺点？

Question

在我的脑海中，我可以想到 4 种检查空参数的方法:

Debug.Assert(context != null);
Contract.Assert(context != null);
Contract.Requires(context != null);
if (context == null) throw new ArgumentNullException("context");

我一直使用最后一种方法，但我只是看到一段使用Contract.Requires的代码片段，我对此并不熟悉。 每种方法的优点/缺点是什么？还有其他方法吗？

---

在带有 Resharper 的 VS2010 中，

• Contract.Assert 警告我表达式始终为真(它是怎么知道的，我不太确定... HttpContext 不能为 null 吗？)，
• Contract.Requires 淡出，它告诉我编译器不会调用该方法(我假设由于前一个原因，它永远不会为 null)，并且
• 如果我将最后一个方法更改为 context != null，后面的所有代码都会淡出，它告诉我该代码是启发式无法访问的。

所以，似乎最后 3 个方法在 VS 静态检查器中内置了某种智能，而 Debug.Assert 只是愚蠢。

Answer 1

我的猜测是接口(interface)应用了一个契约 IHttpHandler.ProcessRequest这需要上下文!= null。接口(interface)契约由其实现者继承，因此您无需重复 Requires。事实上，您不能添加额外的 Requires 语句，因为您仅限于与接口(interface)协定关联的要求。

我认为区分指定契约(Contract)义务与简单地执行空检查很重要。您可以实现空检查并在运行时抛出异常，作为一种通知开发人员他们正在正确使用您的 API 的方式。另一方面，合约表达式实际上是一种元数据形式，可以由合约重写器解释(以引入以前手动实现的运行时异常)，也可以由静态分析器解释，静态分析器可以使用它们进行推理关于您的应用程序的静态正确性。

就是说，如果您在积极使用代码契约和静态分析的环境中工作，那么最好将断言置于契约形式，以利用静态分析。即使您不使用静态分析，您仍然可以通过使用契约(Contract)为以后的 yield 敞开大门。需要注意的主要事情是您是否已将项目配置为执行重写，否则合约将不会像您预期的那样导致运行时异常。

---

为了详细说明评论者所说的内容，Assert、Assume 和 Requires 之间的区别是:

• 契约(Contract)重写器将 Contract.Assert 表达式转换为断言，静态分析器尝试根据其现有证据证明该表达式。如果无法证明，您将收到静态分析警告。
• Contract.Assume 表达式被合约重写器忽略(据我所知)，但被静态分析器解释为一个新的证据，它可以在其静态分析中考虑。 Contract.Assume 用于“填补静态分析中的空白”，无论是在缺乏进行必要推理的复杂性的地方，还是在与未使用 Contracts 修饰的代码进行互操作时，以便您可以假设，例如, 一个特定的函数调用返回一个非空结果。
• Contract.Requires 是调用您的方法时必须始终为真的条件。它们可以是对方法参数的约束(这是最典型的)，也可以是对对象公开可见状态的约束(例如，您可能只允许在 Initialized 为 True 时调用该方法。)这些种类约束促使您的类的用户在使用对象时检查 Initialized(如果不是，则可能适本地处理错误)或创建他们自己的约束和/或类不变量以澄清 Initialization 确实发生了。