C＃3.0の契約書で

Question

私はC＃4.0が事後条件と事前条件を実装するために使用できるCode Contract機能を持っていることを知っています。しかし、私はC＃3.0を使って実装したいと思っています。私は私の仕事でこの機能を使うことを実験しています。事後条件と事前条件を実装するのにattributesを使用することは可能ですか？

アドバイスはありますか？

ありがとうございました。

Answer 1

Code ContractsはC＃3と.NET 3.5で使用できます。主な違いは、ツールではなくコアクラスがすでに.NET 4に組み込まれていることです。

Answer 2

私は前提条件と事後条件に単なるDebug.Assert命令を使用して、bool Invariant()関数を手作業で記述します。これは関連する/重要でないパブリックメソッドの入口と出口でDebug.Assert(Invariant())と呼びます。

これは手作業ですが、とても簡単ですが、すぐに慣れることができます。また、契約哲学によるエッフェルのデザインに非常によく従うことができます。