Kaj je problem diamanta pri večkratnem dedovanju?

Question

Accepted Answer

Problem **diamanta** se pojavi, ko razred deduje od dveh razredov, ki imata skupnega prednika, kar ustvari negotovost: če oba vmesna razreda preglasita metodo (ali držita polje), katero različico dobi spodnji razred?

## Diamant

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

## V Pythonu (ki omogoča večkratno dedovanje)

```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 razrešuje determinističko prek **Method Resolution Order (MRO)** z uporabo C3 linearizacije, in `super()` sodeluje s tem vrstnim redom.

## Kako jeziki to rešavajo

| Jezik | Pristop |
|---|---|
| C++ | Omogoča; negotovost je napaka pri prevajanju, razen če kvalificirate, ali uporabljate `virtual` dedovanje za deljenje ene osnove |
| Java/C# | **Prepovedujejo** večkratno dedovanje razredov; dovoljujejo več *vmesnikov* (brez stanja, zato ni diamanta podatkov) |
| Python | Omogoča; razrešuje prek MRO (C3) |
| Scala | **Traits** z definiranim vrstnim redom linearizacije |

## Pasti

Esih z MRO-jem se večkratno dedovanje *stanja* hitro zmeda – podvojeno inicializacijo osnove, presenetljive verige `super()`. Vmesniki/lastnosti (vedenje, ne stanje) se izognejo večini težav.

## Zakaj je to pomembno

To pojasnjuje večjo delitev pri oblikovanju jezika: Java in C# sta prepovedali večkratno dedovanje razredov natančno zato, da bi se izognili tej negotovosti, in namesto tega nudita vmesnike.

Razumevanje MRO-ja je praktično v Pythonu: kooperativni `super()` in vrstni red mešanja imajo smisel le, ko vidite, kako se diamant linearizira.

Jezik	Pristop
C++	Omogoča; negotovost je napaka pri prevajanju, razen če kvalificirate, ali uporabljate `virtual` dedovanje za deljenje ene osnove
Java/C#	Prepovedujejo večkratno dedovanje razredov; dovoljujejo več vmesnikov (brez stanja, zato ni diamanta podatkov)
Python	Omogoča; razrešuje prek MRO (C3)
Scala	Traits z definiranim vrstnim redom linearizacije