Was sind Vererbung und Polymorphismus im Kontext von Referenzdatentypen?

Vererbung ist ein Mechanismus der OOP, der es ermöglicht, neue Klassen auf Basis bestehender zu erstellen. Die neue Klasse (Unterklasse) erbt Felder und Methoden der Elternklasse und kann eigene hinzufügen oder bestehende überschreiben. Dies fördert die Wiederverwendung von Code und die Erstellung logischer Hierarchien.

Polymorphismus ist die Fähigkeit von Objekten verschiedener Klassen, unterschiedlich auf dieselbe Methode zu reagieren. Für Referenzdatentypen bedeutet dies, dass man mit Objekten verschiedener Klassen über eine Referenz auf die Basisklasse oder Schnittstelle arbeiten kann. Die konkrete Implementierung der aufgerufenen Methode hängt vom tatsächlichen Objekttyp zur Laufzeit ab. Es gibt zwei Hauptarten des Polymorphismus:

• Statisch (Methodenüberladung): Die gleiche Methode hat mehrere Implementierungen mit unterschiedlichen Parametersätzen. Der Compiler entscheidet, welche Implementierung basierend auf der Methodensignatur verwendet wird.
• Dynamisch (Methodenüberschreibung): Die Unterklasse stellt ihre eigene Implementierung der Methode bereit, die bereits in der Elternklasse definiert ist. Der Methodenaufruf über eine Referenz auf die Elternklasse wird ausgeführt, um die Implementierung in der Unterklasse (falls vorhanden) zu realisieren.