Mi az a polimorfizmus?

Question

Accepted Answer

**A polimorfizmus** ("sok forma") lehetővé teszi, hogy egy egyetlen interfész különböző alapvető típusokkal működjön. *Ugyanaz a hívás* *más kódot* futtat a tényleges objektumtól függően — futásidőben választva. Ez a **szubtyp-polimorfizmus**.

## Egy hívás, sok viselkedés

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

A ciklus `a.speak()` hívja meg anélkül, hogy érdekelné, melyik állat van — a futásidő az helyes override-ot diszpécseríti.

## Miért hatékony ez

Később hozzáadhat egy új `Animal` alanyot, és a fenti ciklus **nulla módosítás** nélkül működik tovább. A kód az absztrakt típustól függ, nem a konkrét osztályoktól.

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

## Buktatók

Ne tévessze össze az túltöltéssel (ugyanaz a metódusnév, más *paraméterek*, fordítási időben oldódik meg). Az igazi (szubtyp) polimorfizmus futásidőben oldódik meg az objektum alapján.

## Miért fontos

A polimorfizmus teszi az OOP-t kiterjeszthetővé: az új viselkedés új osztályként érkezik, nem mint szétszórt szerkesztések az `if/else` láncok között.

Ez az a mechanizmus az Open/Closed Principle és a legtöbb tervezési minta mögött — az interfészhez programozol, és hagyd, hogy a futásidő válassza az implementációt.