Microsoft の CodeContracts をいじっていて、解決できない問題に遭遇しました。2 つのコンストラクターを持つクラスがあります。
public Foo (public float f) {
Contracts.Require(f > 0);
}
public Foo (int i)
: this ((float)i)
{}
この例は簡略化されています。2 番目のコンストラクターが > 0 であることを確認する方法がわかりませんf
。これはコントラクトでも可能ですか?