oop - クラス不変条件を見つけるためのヒューリスティック

Question

クラスの不変条件を見つけるためのヒューリスティックはありますか?

• ...に注意してください。
• ...に頼らないでください。

たぶん、一般的なアドバイスがあります。

実際の例を研究している紙上のリンクは大歓迎です。

Answer 1

クラスは互いに非常に異なるため、ヒューリスティックを手に入れるのは困難です。ただし、特定のスタイルのクラスには多くのヒューリスティックがあります。たとえば、各設計パターンの実装には、独自の一連の不変条件があります。

不変条件を取得するための最善かつ最も簡単な方法は、クラスが行うべきことの仕様 [または TDD を行う場合はテストのテスト] から開始し、それらの仕様が適切に実装されるためにどの条件が満たされなければならないかを理解することです。 . 言い換えれば、「仕様をコードにプッシュする」ということです。これを行うと、遭遇するつまずきのブロックとして不変条件が「現れる」でしょう。

「プッシュスルー」とは、事前条件の前方伝播を意味する場合もあれば、事後条件の後方伝播を意味する場合もあることに注意してください。ほとんどの場合、両方です。