检查 .NET 中的先决条件

Question

我是“早期失败”策略的粉丝，并且想要检查方法参数是否具有正确的值。在Java中，我会使用类似 Guava：

checkArgument(count > 0, "must be positive: %s", count);

.NET 有类似的东西吗？

Answer 1

您想要做的是按合同设计。

您应该使用代码契约来定义契约，即类型\方法的先决条件、后置条件和不变量在 C# 中。

IMO 代码合约的最佳和最全面的覆盖是这里。

Answer 2

代码合同：http://msdn.microsoft.com/en-us/devlabs/dd491992< /a>

Answer 3

代码合同仍然是标准 Visual Studio 安装的附加组件/不是其一部分，但它们确实允许您表达前置条件和后置条件以及对象不变量。

可以使用不同的选项来强制执行合同作为编译时或运行时检查（或两者）。

Answer 4

查看 CuttingEdge.Conditions。它允许您以流畅的方式编写前提条件，如下所示：

ICollection GetData(int? id, string xml, IEnumerable<int> col)
{
    Condition.Requires(id, "id")
        .IsNotNull()
        .IsInRange(1, 999)
        .IsNotEqualTo(128);

    Condition.Requires(xml, "xml")
        .StartsWith("<data>")
        .EndsWith("</data>")
        .Evaluate(xml.Contains("abc") || xml.Contains("cba"));

    Condition.Requires(col, "col")
        .IsNotNull()
        .IsNotEmpty()
        .Evaluate(c => c.Contains(id.Value) || c.Contains(0));
}

您需要 C# 3.0 或 VB.NET 9.0 以及 .NET 2.0 或更高版本来使用 CuttingEdge.Conditions。