Какво е наследяване и полиморфизъм в контекста на референтните типове данни?

Наследяването е механизъм на ООП, който позволява създаването на нови класове въз основа на съществуващи. Новият клас (подклас) наследява полетата и методите на родителския клас и може да добавя свои собствени или да презаписва съществуващите. Това насърчава повторната употреба на код и създаването на логически йерархии.

Полиморфизмът е способността на обекти от различни класове да реагират по различен начин на една и съща метода. За референтните типове данни това означава, че може да работите с обекти от различни класове чрез препратка към базовия клас или интерфейс. Конкретната реализация на извикваната метода ще зависи от реалния тип на обекта по време на изпълнение. Има два основни вида полиморфизъм:

• Статичен (претоварване на методи): Един и същи метод има няколко реализации с различни набори от параметри. Компилаторът определя коя да използва въз основа на подписа на метода.
• Динамичен (презаписване на методи): Подкласът предоставя своя собствена реализация на метода, който вече е дефиниран в родителския клас. Обаждането на метода чрез препратка към родителския клас се извършва за изпълнение на реализацията в подкласa (ако съществува).