Anfang weiterGrenzen
Was man damit nicht absichern kann Beispiel Umstellung Datums-Klasse von veränderlich auf unveränderlich: mutable for ( Datum tag = new Datum( xxx ) ; ! tag.isMonatsLetzter() ; tag.addTag( 1 ) ) { ... } immutable falsch: for ( Datum tag = new Datum( xxx ) ; ! tag.isMonatsLetzter() ; tag.addTag( 1 ) ) richtig: for ( Datum tag = new Datum( xxx ) ; ! tag.isMonatsLetzter() ; tag = tag.addTag( 1 ) ) wird nicht erkannt, aber hier könnten sichere Operationen helfen