c#-3.0 - C#3.0 での契約による設計

Question

Code ContractC# 4.0 には、事後条件と事前条件を実装するために使用できる機能があることを知っています。しかし、C# 3.0 のみを使用して実装したいと考えています。私は自分の仕事でこの機能を使用することを実験しています。attributes事後条件と事前条件を実装するために使用することは可能ですか?

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

ありがとう。

Answer 1

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

Answer 2

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

手作業ですが、とても簡単で、すぐに慣れます。また、これにより、Eiffel の契約哲学による設計に非常に厳密に従うことができます。