oop - 命令型プログラミングにおけるオブジェクトの制約を表す専門用語

Question

これには専門用語があることは知っていますが、私の人生では覚えていません。

クラス (または関数とデータを含む何らかのもの) を設計するときは、オブジェクトのメソッドを呼び出すたびに、オブジェクトのデータを一貫した状態にしておく必要があります。「一貫性がある」とは、[X] と呼ばれる一連の (うまくいけば文書化され、通常はプログラムされていない) 制約に従うことを意味します。

Answer 1

「不変条件」に到達していると思います。

前提条件は、メソッドの実行前に真でなければならないものです。不変条件は常に公的にtrue であるものであり、事後条件はメソッドの実行後に true になるものです。