CodeContracts: Wie erfülle ich Require in Ctor mit diesem() Anruf?

Question

Ich spiele mit den CodeContracts von Microsoft herum und stieß auf ein Problem, das ich nicht lösen konnte. Ich habe eine Klasse mit zwei Konstruktoren:

Das Beispiel ist vereinfacht. Ich weiß nicht, wie man die f des zweiten Konstruktors als> 0 überprüfen kann. Ist das sogar mit Contracts möglich?

Answer 1

Sie können die Vorbedingung einfach dem Körper des zweiten Konstruktors hinzufügen.

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

EDIT

Versuchen Sie den Code oben mit Aufruf:

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

Sie werden sehen, dass die Voraussetzung ausgegeben, bevor der reguläre Ausnahme ausgelöst.

Answer 2

Ich würde eine statische Methode hinzufügen, die das Int in den Float konvertiert und die Contract.Requires in dort enthält.

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

Hoffe das hilft.