C# 中的代码契约和 null 检查

Question

在我的代码中，我经常这样做：

myfunction (parameter p)
{
  if(p == null)
   return;
}

我如何用代码合约替换它？

我有兴趣找出是否已传入 null 并通过静态检查捕获它。

我感兴趣的是，如果在我们的测试期间传入 null，则抛出合同异常

对于生产，我想退出该函数。

代码合约能做到这一点吗？这对于代码合约来说是一个很好的用途吗？

Answer 1

其语法是：

Contract.Requires(p != null);

这需要位于方法的顶部。所有 Contract.Requires （以及其他合约语句）必须位于方法中的所有其他语句之前。

Answer 2

在研究我们的代码库的代码契约时偶然发现了这个问题。这里的答案是不完整的。发布此信息以供将来参考。

我如何用代码合约替换它？

代码相当简单。用此行替换运行时空检查。这将引发 System.Diagnostics.Contracts.ContractException 类型的异常（显然您无法显式捕获该异常，除非您捕获所有异常；它不是设计为在运行时捕获的）。

Contract.Requires(p != null);

我有兴趣查明是否传入了 null 并通过静态检查捕获它。

您可以使用 Microsoft 插件进行代码契约静态分析，可在此处找到。

我有兴趣在测试期间传入 null 时引发合约异常

使用上面的以下内容：

Contract.Requires(p != null);

或者，如果您想抛出不同的异常（例如 ArgumentNullException），您可以可以执行以下操作：

Contract.Requires<ArgumentNullException>(p != null, "Hey developer, p is null! That's a bug!");

但是，这需要代码契约二进制重写器，它包含在 代码合约插件。

对于生产，我想退出该函数。

据我了解，在发布模式下构建项目将禁用代码契约检查（尽管您可以在项目属性中覆盖它）。所以是的，你可以这样做。

代码合约能做到这一点吗？这对于代码合约来说是一个很好的用途吗？

简短的回答 - 是的。

Answer 3

这些帖子此处和这里有很多很棒的选择。

编辑：我第一次误读了你的帖子，以为你抛出了 ArgumentNullException 或者其他什么东西，直到我看到 Jon Skeet 的评论。我绝对建议至少使用链接问题中提供的多种方法中的一种。

在此复制 John Feminella 的答案之一：

[Pure]
public static double GetDistance(Point p1, Point p2)
{
    CodeContract.RequiresAlways(p1 != null);
    CodeContract.RequiresAlways(p2 != null); 
    // ...
}