CodeContracts：如何使用this（）調用滿足Ctor的要求？

Question

我在玩微軟的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; 
    } 
} 

希望這會有所幫助。