CodeContracts: Comment remplir Fullfill Exiger dans Ctor en utilisant cet appel?

Question

Je joue avec CodeContracts de Microsoft et j'ai rencontré un problème que j'étais incapable de résoudre. J'ai une classe avec deux constructeurs:

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

L'exemple est simplifié. Je ne sais pas comment vérifier f du second constructeur pour être> 0. Est-ce même possible avec Contrats?

Answer 1

Vous pouvez simplement ajouter la condition préalable au corps du second constructeur.

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

EDIT

Essayez d'appeler le code ci-dessus:

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

Vous verrez que la condition est levée avant que l'exception régulière est levée.

Answer 2

Je voudrais ajouter une méthode statique qui convertit int en float et inclure le Contract.Requires dedans.

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

Espérons que cela aide.