Odpowiedź.

Polimorfizm — fundamentalna zasada programowania obiektowego, która pozwala obiektom o różnej strukturze realizować ten sam interfejs, a zatem działać wymiennie. W Pythonie z dynamiczną typizacją polimorfizm jest bardzo elastyczny.

Historia pytania

W językach o ścisłej statycznej typizacji (Java, C++) wsparcie dla polimorfizmu wymaga deklaracji interfejsów lub klas abstrakcyjnych. W Pythonie — dzięki duck typing — polimorfizm nie jest związany z hierarchią dziedziczenia, a nawet z interfejsem. Główne, aby obiekt wspierał potrzebne metody/atrybuty.

Problem

Z jednej strony sprawia to, że język jest elastyczny i wygodny. Z drugiej — zwiększa prawdopodobieństwo błędów w czasie wykonywania spowodowanych literówkami lub brakiem potrzebnej metody, które ujawniają się tylko podczas wykonywania kodu.

Rozwiązanie

W Pythonie wyróżnia się:

Klasyczny polimorfizm przez dziedziczenie i nadpisywanie metod:

class Animal:
    def speak(self):
        raise NotImplementedError

class Dog(Animal):
    def speak(self):
        return 'Woof!'

class Cat(Animal):
    def speak(self):
        return 'Meow!'

def animal_voice(animal):
    print(animal.speak())

animal_voice(Dog())  # Woof!
animal_voice(Cat())  # Meow!

Duck Typing — jeśli klasa ma potrzebną metodę, nadaje się do każdej funkcji oczekującej tej metody, nieważne, kto jest jej potomkiem:

class Duck:
    def quack(self):
        return 'Quack!'

def make_quack(animal):
    print(animal.quack())

make_quack(Duck())  # Quack!

Imitacja interfejsu — przez abc.ABC i @abstractmethod można sformalizować, że klasy muszą implementować określone metody.

Kluczowe cechy:

Brak obowiązku utrzymywania sztywnej hierarchii dziedziczenia.
Możliwość zamiany obiektów w czasie wykonywania, jeśli wspierają odpowiedni interfejs.
Błędy niezbieżności interfejsów ujawniają się tylko podczas wykonania.

Pytania z pułapką.

Czy dziedziczenie jest jedynym sposobem zapewnienia polimorfizmu w Pythonie?

Nie. Dzięki duck typing każda funkcja może akceptować obiekt z wymaganymi metodami niezależnie od jego klasy czy hierarchii.

Czy można uważać za polimorfizm zgodność sygnatury tylko na podstawie nazwy metody, a nie jej treści?

Nie. Jeśli obiekt wspiera potrzebną metodę, ale jej semantyka różni się od oczekiwanej — mogą wystąpić błędy. Polimorfizm jest skuteczny tylko przy zgodności nie tylko interfejsu, ale i sensu.

Czy klasa abstrakcyjna chroni przed błędami niewłaściwie zaimplementowanego interfejsu w klasach potomnych?

Tylko częściowo. Jeśli potomek nie zaimplementuje abstrakcyjnej metody — wystąpi TypeError przy próbie utworzenia instancji. Ale jeśli zaimplementuje z naruszeniem logiki — błędy są możliwe.

Typowe błędy i antywzorce

Niewłaściwa implementacja interfejsu bez przestrzegania semantyki metody.
Poleganie na duck typing bez odpowiednich testów, co prowadzi do błędów w czasie wykonywania.
Oczekiwanie na ścisłą typizację (jak w statycznie typowanych językach), podczas gdy Python tego nie gwarantuje.

Przykład z życia

Negatywny przypadek

Do biblioteki logowania wprowadzono zewnętrzną klasę, która ma metodę log(), ale zwraca obiekt danych zamiast zapisu w dzienniku. Błędy ujawniają się tylko w trakcie eksploatacji.

Zalety:

Szybka integracja różnych klas bez zbędnej biurokracji.

Wady:

Ciche błędy, odkrywane wyłącznie w czasie wykonywania, często już na produkcji.

Pozytywny przypadek

Klasy są zaopatrzone w testy, interfejs jest formalizowany przez abstrakcyjną klasę bazową i @abstractmethod, w dokumentacji zapisana jest semantyka metod.