CodeContracts：如何使用 this() 调用来满足 Ctor 中的 Require？

Question

我正在使用 Microsoft 的 CodeContracts 并遇到了无法解决的问题。 我有一个带有两个构造函数的类：

public Foo (public float f) {
    Contracts.Require(f > 0);
}
public Foo (int i)
    : this ((float)i)
{}

该示例已简化。 我不知道如何检查第二个构造函数的 f 是否 > 0. 这对于合约来说可能吗？

Answer 1

您只需将前提条件添加到第二个构造函数的主体中即可。

public TestClass(float f)
{
    Contract.Requires(f > 0);
    throw new Exception("foo");
}
public TestClass(int i): this((float)i)
{
    Contract.Requires(i > 0);
}

编辑

尝试使用以下代码调用上面的代码：

TestClass test2 = new TestClass((int)-1);

您将看到在引发常规异常之前引发先决条件。

Answer 2

我将添加一个静态方法，将 int 转换为 float 并在其中包含 Contract.Requires 。

class Foo
{
    public Foo(float f)
    {
        Contract.Requires(f > 0);
    }

    public Foo(int i) : this(ToFloat(i))
    {
    }

    private static float ToFloat(int i)
    {
        Contract.Requires(i > 0);
        return i;
    }
}

希望这可以帮助。