codecontracts:如何使用此()调用满足ctor中的要求?

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

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);

您将看到在抛出常规异常之前抛出了前提条件。

我将添加一个静态方法,该方法将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;
    }
}

希望这有帮助。