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
).
2015-01-26
