Polymorphismus genauer

Polymorphismus haben wir schon für Variablen kennengelernt: Eine Variable eines Supertyps kann auch Werte aller Subtypen halten - die Variable ist polymorph.

Welche Typen können Werte haben, die in den folgenden Variablen gespeichert werden?

Fahrzeug f; 
Roller r;
vierRaedrig v;

Die Vererbungshierarchie unseres soziales Netzwerk mit Vererbung sieht gerade so aus:

Man sieht, dass die Methode zum Anzeigen eines Beitrags in der Klasse Beitrag definiert ist und an die Klassen TextBeitrag und PhotoBeitrag vererbt wird. Diese Methode weiß nichts über besondere Eigenschaften der Subklassen - Vererbung ist eine Einbahnstrasse. Das führt zum Problem, dass die Ausgabe aller Beiträge etwas so aussehen:

dabei werden die Besonderheiten der Beitragsarten nicht berücksichtigt - der photoBeitrag hat keine Bilddatei und keine Caption. Eigentlich sollte das nämlich so aussehen:

Die spontane Lösungsidee verschiebt die display-Methode in die Subklassen, so dass jede Subklasse eine eigene display-Methode hat, welche dann natürlich entsprechend der spezifischen Eigenschaften implementiert sein könnte:

Dieser Versuch ist zum Scheitern verurteilt:

• Zugriff auf die privaten geeerbten Attribute aus Beitrag ist nicht möglich.
• Die Klasse Newsfeed benötigt eine display-Methode in Beitrag.

• Superklasse und Subklasse definieren Methoden mit gleicher Signatur.
• Jede der Methoden hat Zugriff auf alle Attribute (Felder) ihrer jeweiligen Klasse.
• Der Check des statischen Typs der Superklasse ist erfüllt.
• Die Methode der Subklasse wird erst zur Laufzeit aufgerufen und überschreibt dabei die Version der Superklasse.

Es gibt also display-Methoden in der Superklasse und in den Subklassen (wenn nötig):

Fragen:

• Welche Rolle spielt die Version der Superklasse?
• Welche der display-Methoden wird denn zur Laufzeit tatsächlich aufgerufen?

Keine Vererbung, kein Polymorphismus, kein Problem → die offensichtliche Methode wird ausgeführt: