Czym jest dziedziczenie i polimorfizm w kontekście typów danych referencyjnych?

Dziedziczenie to mechanizm OOP, który pozwala na tworzenie nowych klas na podstawie istniejących. Nowa klasa (podklasa) dziedziczy pola i metody klasy nadrzędnej, a także może dodawać własne lub nadpisywać istniejące. To sprzyja ponownemu użyciu kodu i tworzeniu hierarchii logicznych.

Polimorfizm to zdolność obiektów różnych klas do reagowania na ten sam metod w różny sposób. Dla typów danych referencyjnych oznacza to, że można pracować z obiektami różnych klas przez odwołanie do klasy bazowej lub interfejsu. Konkretna implementacja wywoływanej metody będzie zależeć od rzeczywistego typu obiektu w czasie wykonywania. Istnieją dwa główne rodzaje polimorfizmu:

• Statyczny (przeciążanie metod): Ta sama metoda ma kilka implementacji z różnymi zestawami parametrów. Kompilator decyduje, której użyć na podstawie sygnatury metody.
• Dynamiczny (nadpisywanie metod): Podklasa zapewnia własną implementację metody, która jest już zdefiniowana w klasie nadrzędnej. Wywołanie metody przez odwołanie do klasy nadrzędnej jest wykonywane, aby zrealizować implementację w podklasie (jeśli istnieje).