X'inhu l-problema tad-diamant fl-erezzjoni multipla?

Question

Accepted Answer

Il-**problema tad-diamant** tinħadem meta klassi terezzjoni minn żewġ klassijiet li jaqsmu antenata komuni, u toħloq ambigwità: jekk iż-żewġ klassijiet ta' nofs joffidu metodu (jew iżommu field), liema verżjoni li l-klassi nadif tikseb?

## Id-diamant

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

## F'Python (li jippermetti erezzjoni multipla)

```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 jsolvu b'mod deterministiku permezz tal-**Method Resolution Order (MRO)** billi tuża l-linearizazzjoni C3, u `super()` jaħdem b'dik l-ordni.

## Kif il-lingwi jilqgħuh

| Lingwa | Approċċ |
|---|---|
| C++ | Jippermetti; l-ambigwità hija żball ta' kompilazzjoni sakemm ma tifikkarx jew tuża `virtual` erezzjoni biex taqsam bażi waħda |
| Java/C# | **Jipproibixxi** erezzjoni multipla ta' klassi; jippermetti erezzjoni multipla ta' *interfaces* (mingħajr stat, għalhekk l-ebda diamant tad-data) |
| Python | Jippermetti; jsolvu permezz tal-MRO (C3) |
| Scala | **Traits** b'ordni ta' linearizazzjoni definita |

## Trampa

Anki b'MRO, erezzjoni multipla ta' *stat* isir konfuża malajr — inizzjalizzazzjoni bażi doppja, katini ta' `super()` sorprendenti. Interfaces/traits (imgieba, mhux stat) jevitaw ħafna uġigħ.

## Għaliex huwa importanti

Hij tispjega fork maġġuri tad-disinn tal-lingwa: Java u C# pprojbixxew erezzjoni multipla ta' klassi speċifikament biex iġebbdu din l-ambigwità, u joffru interfaces minflok.

L-fehim tal-MRO huwa praktiku f'Python: `super()` li jaħdem b'kooperazzjoni u ordni ta' mixin jiffissaw biss meta tara kif id-diamant huwa linearizzat.

Lingwa	Approċċ
C++	Jippermetti; l-ambigwità hija żball ta' kompilazzjoni sakemm ma tifikkarx jew tuża `virtual` erezzjoni biex taqsam bażi waħda
Java/C#	Jipproibixxi erezzjoni multipla ta' klassi; jippermetti erezzjoni multipla ta' interfaces (mingħajr stat, għalhekk l-ebda diamant tad-data)
Python	Jippermetti; jsolvu permezz tal-MRO (C3)
Scala	Traits b'ordni ta' linearizazzjoni definita