Co je problém s diamantem u vícenásobné dědičnosti?

Question

Accepted Answer

**Problém s diamantem** vzniká, když třída dědí od dvou tříd, které mají společného předka, čímž se vytváří nejasnost: pokud obě střední třídy přepíšou metodu (nebo obsahují pole), kterou verzi dostane spodní třída?

## Tvar diamantu

```text
        A  (defines greet())
       / \
      B   C   (each may override greet())
       \ /
        D   ← inherits from B and C: which greet()?
```

## V Pythonu (který umožňuje vícenásobnou dědičnost)

```python
class A:
    def greet(self): return "A"
class B(A):
    def greet(self): return "B"
class C(A):
    def greet(self): return "C"
class D(B, C):                  # multiple inheritance
    pass

print(D().greet())             # "B"  — resolved by MRO, not ambiguous
print(D.__mro__)               # D → B → C → A → object  (C3 linearization)
```

Python to řeší deterministicky pomocí **Method Resolution Order (MRO)** s lineárizací C3 a `super()` spolupracuje s tímto pořadím.

## Jak to řeší různé jazyky

| Jazyk | Přístup |
|---|---|
| C++ | Umožňuje to; nejasnost je chyba při kompilaci, pokud neupravíte kvalifikaci, nebo použijete `virtual` dědičnost ke sdílení jedné báze |
| Java/C# | **Zakazují** vícenásobnou dědičnost tříd; umožňují vícenásobné *rozhraní* (žádný stav, takže žádný diamant dat) |
| Python | Umožňují to; řeší se pomocí MRO (C3) |
| Scala | **Traits** s definovaným pořadím lineárizace |

## Past

I s MRO se vícenásobná dědičnost *stavu* stává zmatením rychle — duplikovaná inicializace báze, překvapující řetězy `super()`. Rozhraní/rysy (chování, ne stav) se vyhnou většině problémů.

## Proč je to důležité

Vysvětluje to hlavní rozdělení v designu jazyků: Java a C# konkrétně zakázaly vícenásobnou dědičnost tříd, aby se vyhnuly této nejasnosti, a nabízejí místo toho rozhraní.

Pochopení MRO je v Pythonu praktické: kooperativní `super()` a řazení mixin dávají smysl pouze poté, co uvidíte, jak je diamant linearizován.

Jazyk	Přístup
C++	Umožňuje to; nejasnost je chyba při kompilaci, pokud neupravíte kvalifikaci, nebo použijete `virtual` dědičnost ke sdílení jedné báze
Java/C#	Zakazují vícenásobnou dědičnost tříd; umožňují vícenásobné rozhraní (žádný stav, takže žádný diamant dat)
Python	Umožňují to; řeší se pomocí MRO (C3)
Scala	Traits s definovaným pořadím lineárizace