Def: Klasse D
mathend000# ist abgeleitet von Klasses C
mathend000#:
- D
mathend000# kann Menge der
Attribute- und Methodendeklarationen von C
mathend000# erweitern
(aber nicht verkleinern oder ändern)
- D
mathend000# kann Implementierungen
von in C
mathend000# deklarierten Methoden übernehmen
oder eigene festlegen (überschreiben).
Anwendung: dynamische Polymorphie
- Wo ein Objekt der Basisklasse erwartet wird
(der statische Typ eines Bezeichners
ist C
mathend000#),
- kann ein Objekt einer abgeleiteten Klasse (D
mathend000#)
benutzt werden (der dynamische Typ
des Wertes ist D
mathend000#).
Johannes Waldmann
2014-03-31
