Cili është problemi i diamantit në trashëgiminë e shumëfishtë?

Question

Accepted Answer

Problemi i **diamantit** lind kur një klasë trashëgon nga dy klasë që ndajnë një paraardhës të përbashkët, duke krijuar paqartësi: nëse të dyja klasat e mesme përshkruajnë një metodë (ose mbajnë një fushë), cilën version merr klasa e poshtme?

## Diamanti

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

## Në Python (i cili lejon trashëgiminë e shumëfishtë)

```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 e zgjidh atë në mënyrë përcaktuese përmes **Method Resolution Order (MRO)** duke përdorur linearizimin C3, dhe `super()` bashkëpunon me atë rend.

## Si e trajtojnë gjuhët atë

| Gjuha | Qasja |
|---|---|
| C++ | E lejon; paqartësia është gabim kompajlimi nëse nuk e kualifikoni, ose përdorni `virtual` trashëgim për të ndarë një bazë |
| Java/C# | **Ndalojnë** trashëgiminë e shumëfishtë të klasës; lejojnë shumë *ndërfaqe* (pa gjendje, kështu që pa diamant të të dhënave) |
| Python | E lejon; zgjidhet përmes MRO (C3) |
| Scala | **Traits** me një rend linearizimi të përcaktuar |

## Rreziku

Edhe me një MRO, trashëgimet e shumëfishtë të *gjendjes* ngatërrohen shpejt - inicijalizimi i dyfishtë i bazës, zinxhirë `super()` surprizues. Ndërfaqet/traits (sjellja, jo gjendje) shmangen shumicën e problemeve.

## Pse është e rëndësishme

Në shpjegon një ndarje të madhe në dizajnin e gjuhës: Java dhe C# ndaluan trashëgiminë e shumëfishtë të klasës konkretisht për të shmangur këtë paqartësi, dhe në vend të kësaj ofrojnë ndërfaqet.

Zhvillimi i MRO-je është praktik në Python: `super()` bashkëpunues dhe renditja e përzierjes kanë kuptim vetëm pasi të shihni se si linearizzohet diamanti.

Gjuha	Qasja
C++	E lejon; paqartësia është gabim kompajlimi nëse nuk e kualifikoni, ose përdorni `virtual` trashëgim për të ndarë një bazë
Java/C#	Ndalojnë trashëgiminë e shumëfishtë të klasës; lejojnë shumë ndërfaqe (pa gjendje, kështu që pa diamant të të dhënave)
Python	E lejon; zgjidhet përmes MRO (C3)
Scala	Traits me një rend linearizimi të përcaktuar