Mikä on polymorfismi?

Question

Accepted Answer

**Polymorfismi** ("monta muotoa") antaa yhden rajapinnan toimia eri taustalla olevien tyyppien kanssa. *Sama kutsu* suorittaa *eri koodia* riippuen varsinaisesta objektista — valinta tehdään ajonaikaisesti. Tämä on **alityyppi-polymorfismi**.

## Yksi kutsu, monta käyttäytymistä

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

Silmukka kutsuu `a.speak()`:ä ilman, että sillä on merkitystä mikä eläin se on — ajonaikainen lähetys ohjaa oikeaan uudelleenkirjoitukseen.

## Miksi se on tehokas

Voit lisätä uuden `Animal`-aliluokan myöhemmin, ja yllä oleva silmukka jatkaa toimimista **ilman muutoksia**. Koodi riippuu abstraktista tyypistä, ei konkreettisista luokista.

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

## Sudenkuoppa

Älä sekoita sitä overloadaukseen (sama metodin nimi, erilaiset *parametrit*, ratkaistu käännösaikana). Todellinen (alityyppi-)polymorfismi ratkaistaan *ajonaikaisesti* objektin perusteella.

## Miksi sillä on merkitystä

Polymorfismi tekee OOP:stä laajennettavan: uusi käyttäytyminen tulee uutena luokkana, ei muutoksina `if/else`-ketjuissa hajallaan olevina.

Se on mekanismi Open/Closed Principle -periaatteen ja useimpien suunnittelumallejen takana — ohjelmoitsijoiden rajapintaan ja annetaan ajonaikaiselle lähetykselle valita toteutus.