Apa itu polimorfisme?

Question

Accepted Answer

**Polimorfisme** ("banyak bentuk") memungkinkan satu antarmuka bekerja dengan jenis-jenis yang mendasar berbeda. *Panggilan yang sama* menjalankan *kode yang berbeda* tergantung pada objek aktual — dipilih pada saat runtime. 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
```

Loop memanggil `a.speak()` tanpa peduli hewan mana — runtime mengirimkan ke override yang benar.

## Mengapa ini kuat

Anda dapat menambahkan `Animal` subtipe baru kemudian, dan loop di atas terus bekerja dengan **tanpa perubahan**. Kode bergantung pada tipe abstrak, bukan kelas konkret.

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

## Jebakan

Jangan bingungkan dengan overloading (nama metode yang sama, *parameter* berbeda, diselesaikan pada waktu kompilasi). Polimorfisme (subtipe) sejati diselesaikan pada *saat runtime* berdasarkan objek.

## Mengapa ini penting

Polimorfisme adalah apa yang membuat OOP dapat diperluas: perilaku baru tiba sebagai kelas baru, bukan sebagai edit yang tersebar di seluruh rantai `if/else`.

Ini adalah mekanisme di balik Prinsip Terbuka/Tertutup dan sebagian besar pola desain — Anda memprogram ke antarmuka dan biarkan runtime dispatch memilih implementasi.