クラス不変条件が恒真なケースが実際の開発でどれくらいあるのかって話ですよね

3:45 AM

私の経験上は、ほとんどのエンティティにバリデーション関数がついていました。このケースではほとんどがクラス不変条件を持っていることになります

1