多くのメソッドには不変条件(invariant)が存在する。不変条件は、メソッドが何を行うか、メソッド呼出し時にそのオブジェクトに求められる状態、メソッドの呼出し完了時の状態等を定める。たとえば、剰余演算子%には以下の不変条件が成立する。 b != 0 を満たすすべての整数 a, b について、0 <= abs(a % b) < abs(b) 多くのクラスは、そのクラスの各メソッドの呼出しが完了した時のオブジェクトフィールドの状態について何らかの性質を保証する不変条件を定めている。たとえば、一度値を設定したら変更できないメンバフィールドを持つクラスは「不変(immutable)クラス」と呼ばれる。クラスが不変であるということから、これらのクラスのインスタンスに関する性質は生存期間全体に渡って維持される。 オブジェクト指向設計の基本方針の一つに、スーパークラスを拡張するサブクラスはスーパーク
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く