Apakah polimorfisme?

Question

Accepted Answer

**Polimorfisme** ("banyak bentuk") memungkinkan antara muka tunggal bekerja dengan jenis dasar yang berbeza. *Panggilan yang sama* menjalankan *kode yang berbeza* bergantung pada objek sebenarnya — dipilih pada waktu larian. Ini adalah **polimorfisme subtipe**.

## Satu panggilan, banyak perilaku

```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
```

Gelung memanggil `a.speak()` tanpa peduli hewan apa itu — waktu larian mengirim ke penggantian yang betul.

## Mengapa ia berkuasa

Anda boleh menambah subtipe `Animal` baharu kemudian, dan gelung di atas terus berfungsi dengan **sifar perubahan**. Kod bergantung pada jenis abstrak, bukan kelas konkrit.

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

## Jebakan

Jangan campurkan dengan beban berlebihan (nama kaedah yang sama, *parameter* berbeza, diselesaikan pada waktu kompilasi). Polimorfisme sejati (subtipe) diselesaikan pada *waktu larian* berdasarkan objek.

## Mengapa ia penting

Polimorfisme adalah apa yang membuat OOP dapat diperluas: perilaku baharu tiba sebagai kelas baharu, bukan sebagai suntingan yang tersebar melalui rantai `if/else`.

Ini adalah mekanisme di balik Prinsip Terbuka/Tertutup dan kebanyakan corak reka bentuk — anda program ke antara muka dan biarkan penghantar waktu larian memilih pelaksanaan.