不変クラスはどのように良いコードに貢献するのか | wapa5pow blog

不変クラスとは何か 前回の記事で紹介したように契約プログラミングでは以下の条件がありました。 事前条件(preconditions) 事後条件(postconditions) 不変条件(invariants) 事前条件と事後条件は想像がつくのですが不変条件はわかりにくいです。 不変条件とはメソッドが呼ばれたときの開始時と終了時に共通して保証されるべき条件です。例えば銀行口座の場合は口座の金額がマイナスにならないなどの条件です。 この不変条件をクラスに当てはめると 「守るべき条件をクラスのライフタイム(生成時・メソッド後)で必ず満たす」 不変クラス(Class invariant)になります。 不変クラスはどのように良いコードに貢献するのか 例えば銀行口座クラスがあったとします。 Dartで一番シンプルに実装すると以下のクラスになります。 「残高がマイナスにならない」というルールがあったとし