c# - C# 中的代码契约和空值检查

Question

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

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

我如何用代码契约(Contract)替换它？

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

如果在我们的测试期间传入 null，我有兴趣抛出契约(Contract)异常

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

代码合约可以做到这一点吗？这对代码契约有用吗？

Answer 1

语法是:

Contract.Requires(p != null);

这需要在方法的顶部。所有 Contract.Requires(和其他契约(Contract)声明)必须在方法中的所有其他声明之前。