Je nini tatizo la almasi katika urithi wa kuzidisha?

Question

Accepted Answer

Tatizo la **almasi** linatokea wakati darasa litaorithia kutoka darasa mbili zinazoshiriki kizazi cha kawaida, na kuunda machache: ikiwa darasa lote mbili la katikati linalobadilisha njia (au kuhifadhi sehemu), ni mfumo gani darasa la chini linaloipata?

## Almasi

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

## Katika Python (ambayo inaruhusu urithi wa kuzidisha)

```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 huitatua kwa njia kamili kupitia **Method Resolution Order (MRO)** kwa kutumia unyonyezaji wa C3, na `super()` inashirikiana na mpangilio huo.

## Jinsi lugha inavyoitaka

| Lugha | Mbinu |
|---|---|
| C++ | Inaruhusu; machache ni hitilafu ya kumkamatia isipokuwa unajazifica, au kutumia `virtual` urithi kushiriki msingi mmoja |
| Java/C# | **Kukataa** urithi wa kuzidisha wa darasa; ruhusa nyingi za *miingiliano* (hakuna hali, kwa hivyo hakuna almasi ya data) |
| Python | Inaruhusu; hutatuza kupitia MRO (C3) |
| Scala | **Traits** na mpangilio wa unyonyezaji ulioainishwa |

## Hatari

Hata kwa MRO, urithi wa kuzidisha wa *hali* unakuwa na machache haraka — kurudia kuanzisha msingi, mnyororo wa `super()` wa ajabu. Miingiliano/traits (tabia, si hali) huzuia maumivu mengi.

## Kwa nini inafaa

Inaeleza chombo kikubwa cha muundo wa lugha: Java na C# zilikataa urithi wa kuzidisha wa darasa haswa ili kuepuka hichache hicho, na badala yake kuidhinisha miingiliano.

Kuelewa MRO ni kazi ya vitendo katika Python: `super()` inayoshirikiana na mpangilio wa mchanganyiko una maana tu mara tu ukiona jinsi almasi inavyonyonyezwa.

Lugha	Mbinu
C++	Inaruhusu; machache ni hitilafu ya kumkamatia isipokuwa unajazifica, au kutumia `virtual` urithi kushiriki msingi mmoja
Java/C#	Kukataa urithi wa kuzidisha wa darasa; ruhusa nyingi za miingiliano (hakuna hali, kwa hivyo hakuna almasi ya data)
Python	Inaruhusu; hutatuza kupitia MRO (C3)
Scala	Traits na mpangilio wa unyonyezaji ulioainishwa