X'inhu l-polimorfizmu?

Question

Accepted Answer

**Il-polimorfizmu** ("ħafna forom") jippermettirek li interface waħda taħdem ma' tipi sottostanti differenti. *L-istess sejħa* taħdem *kodiċi differenti* skont l-objett attwali — magħżul f'runtime. Dan huwa **polimorfizmu subtip**.

## Sejħa waħda, bosta imgieba

```java
class Animal { String speak() { return "..."; } }
class Dog extends Animal { String speak() { return "Woof"; } }
class Cat extends Animal { String speak() { return "Meow"; } }

Animal[] zoo = { new Dog(), new Cat() };
for (Animal a : zoo) {
    System.out.println(a.speak());   // Woof, then Meow
}                                    // same call, different result per type
```

Il-loop iħejji `a.speak()` mingħajr ma jimpurtaha liema annimal hu — il-runtime jibgħat lejn l-override korrett.

## Għaliex hu qawwi

Int tista' żżid subtip `Animal` ġdid aktar tard, u l-loop hawn fuq ikompli jaħdem b'**zero bidliet**. Il-kodiċi jiddependi fuq it-tip astratt, mhux il-klassijiet konkrinti.

```text
caller → Animal.speak()  ──dispatch──▶  Dog.speak()  OR  Cat.speak()
            (one interface)                  (many implementations)
```

## Trappola

Tinsa ta' tħallat ma' l-overloading (l-istess isem tal-metodu, *parametri* differenti, risolti fil-ħin tal-kompilazzjoni). Il-polimorfizmu veru (subtip) huwa risolut f'*runtime* ibbazat fuq l-objett.

## Għaliex hu importanti

Il-polimorfizmu hu dak li jagħmel OOP estensibbli: imgieba ġdid jasal bħala klassi ġdida, mhux bħala editjar mifruxa minn rantri ta' `if/else`.

Hu l-mekkaniżmu wara l-Prinċipju Miftuħ/Magħluq u ħafna mudelli ta' disinn — inti tipprogramma lejn interface u tħalli r-runtime dispatch jagħżel l-implimentazzjoni.