Vererbung

Def: Klasse D ist abgeleitet von Klasses C:

• D kann Menge der Attribute- und Methodendeklarationen von C erweitern (aber nicht verkleinern oder ändern)
• D kann Implementierungen von in C deklarierten Methoden übernehmen oder eigene festlegen (überschreiben).

Anwendung: dynamische Polymorphie

• Wo ein Objekt der Basisklasse erwartet wird (der statische Typ eines Bezeichners ist C),
• kann ein Objekt einer abgeleiteten Klasse (D) benutzt werden (der dynamische Typ des Wertes ist D).