Kas yra deimantinis uždavinys daugialypėje paveldėjime?

Question

Accepted Answer

**Deimantinis uždavinys** kyla, kai klasė paveldi iš dviejų klasių, kurios turi bendrą protėvį, sukurdama dviprasmybę: jei abi vidurinės klasės perrašo metodą (arba turi lauką), kurią versiją gauna žemesnė klasė?

## Deimantis

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

## Python-e (kuris leidžia daugialypį paveldėjimą)

```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 tai sprendžia deterministiškai naudodama **metodo išrašymo tvarką (MRO)** su C3 tiesiogintu, ir `super()` bendradarbiauja su ta tvarka.

## Kaip kalbos tai tvarko

| Kalba | Metodas |
|---|---|
| C++ | Leidžia; dviprasmybė yra kompiliavimo klaida, jei nenurodote ar nenaudojate `virtual` paveldėjimo vienam pagrindui dalintis |
| Java/C# | **Draudžia** daugialypį klasės paveldėjimą; leidžia daugialypį *sąsajų* paveldėjimą (nėra būklės, todėl nėra duomenų deimanto) |
| Python | Leidžia; sprendžia per MRO (C3) |
| Scala | **Savybės** su apibrėžta tiesiogu tvarka |

## Pavojai

Net turėdama MRO, *būklės* daugialypis paveldėjimas greitai tampa painiu — besidubliuojanti pagrindo inicijalizacija, netikėtos `super()` grandinės. Sąsajos/savybės (elgesys, o ne būkle) išvengia daugelio problemų.

## Kodėl tai svarbu

Tai paaiškina pagrindinį kalbų projektavimo šakojimąsi: Java ir C# draudė daugialypį klasės paveldėjimą specialiai norint išvengti šios dviprasmybės, siūlydami sąsajas.

MRO supratimas praktiškas Python-e: bendradarbiaujantis `super()` ir mišinio rūšiavimas turi prasmę tik tada, kai pamatote, kaip deimantis yra ištiesiamas.

Kalba	Metodas
C++	Leidžia; dviprasmybė yra kompiliavimo klaida, jei nenurodote ar nenaudojate `virtual` paveldėjimo vienam pagrindui dalintis
Java/C#	Draudžia daugialypį klasės paveldėjimą; leidžia daugialypį sąsajų paveldėjimą (nėra būklės, todėl nėra duomenų deimanto)
Python	Leidžia; sprendžia per MRO (C3)
Scala	Savybės su apibrėžta tiesiogu tvarka