PPT-Folie
- Da auch Class eine Unterklasse von Object ist, stehen alle Methoden von Object , insbesondere die Gleichheitsprüfung equals(...) (s.u.), auch für Class-Objekte zur Verfügung.
- Damit kann der Programmierer in seinen Methoden selbst durch Typprüfung dafür sorgen, daß nur Listen, Bäume usw. mit einheitlichen oder wenigstens kompatiblen Elementtypen aufgebaut werden (Datenstrukturinvariante!).
- Beispielsweise kann man für Listen festlegen, daß alle Elemente von derselben erzeugenden Klasse sind wie das erste in die Liste eingetragene.
- In einer liberaleren Variante würde man auch Elemente von Unterklassen dieser Klasse zulassen.