Mikä on timantti-ongelma moniperimässä?

Question

Accepted Answer

**Timantti-ongelma** ilmenee, kun luokka perii kahdesta luokasta, jotka jakavat yhteisen esi-isän, aiheuttaen epäselväyttä: jos molemmat välilliset luokat ohittavat menetelmän (tai pitävät kenttää), minkä version pohjalla oleva luokka saa?

## Timantin muoto

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

## Pythonissa (joka sallii moniperimisen)

```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 ratkaisee sen deterministisesti **Method Resolution Order (MRO)** -kautta käyttäen C3-linearisoitia, ja `super()` yhteistyösuhteet kyseisen järjestyksen kanssa.

## Kuinka kielet käsittelevät sen

| Kieli | Lähestymistapa |
|---|---|
| C++ | Sallii sen; epäselvyys on käännösvirhe, ellei sinä pätevöi tai käytä `virtual` perimää yhden pohjan jakamiseksi |
| Java/C# | **Kieltävät** moninkertaisen luokkaperinnön; sallivat useita *käyttöliittymiä* (ei tilaa, joten ei tietotimanttia) |
| Python | Sallii sen; ratkaisee MRO:n (C3) kautta |
| Scala | **Traits** määrätyllä linearisoitijärjestyksellä |

## Sudenkuoppa

Jopa MRO:n kanssa, *tilan* moninkertainen periminen muuttuu nopeasti sekavaksi — monistettu pohjan alustus, yllättävät `super()` ketjut. Käyttöliittymät/traits (käyttäytyminen, ei tila) välttävät suurimman osan ongelmasta.

## Miksi sillä on merkitystä

Se selittää suuren kielten suunnittelun haarautumisen: Java ja C# kielsivät erikseen moninkertaisen luokkaperinnön juuri tämän epäselvyyden välttämiseksi ja tarjoavat sen sijaan käyttöliittymiä.

MRO:n ymmärtäminen on käytännöllistä Pythonissa: yhteistyöhakuinen `super()` ja mixin-järjestys ovat järkeviä vain, kun näet, kuinka timantti linearisoitiin.

Kieli	Lähestymistapa
C++	Sallii sen; epäselvyys on käännösvirhe, ellei sinä pätevöi tai käytä `virtual` perimää yhden pohjan jakamiseksi
Java/C#	Kieltävät moninkertaisen luokkaperinnön; sallivat useita käyttöliittymiä (ei tilaa, joten ei tietotimanttia)
Python	Sallii sen; ratkaisee MRO:n (C3) kautta
Scala	Traits määrätyllä linearisoitijärjestyksellä