Vad är polymorfism?

Question

Vad är polymorfism?

Accepted Answer

**Polymorfism** ("många former") låter ett enda gränssnitt fungera med olika underliggande typer. *Samma anrop* kör *olika kod* beroende på det faktiska objektet — valt vid körning. Detta är **polymorfism för undertyper**.

## Ett anrop, många beteenden

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

Loopen anropar `a.speak()` utan att bryr sig om vilken djur det är — körtiden skickar till rätt överlagring.

## Varför det är kraftfullt

Du kan lägga till en ny `Animal`-undertyp senare, och loopen ovan fortsätter att fungera med **noll ändringar**. Kod beror på den abstrakta typen, inte konkreta klasser.

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

## Fälla

Blanda inte ihop det med överlagring (samma metodnamn, olika *parametrar*, löst vid kompilering). Sann (undertyp) polymorfism löses vid *körning* baserat på objektet.

## Varför det är viktigt

Polymorfism är det som gör OOP utbyggbar: nytt beteende kommer som en ny klass, inte som ändringar utspridda genom `if/else`-kedjor.

Det är mekanismen bakom Open/Closed Principle och de flesta designmönster — du programmerar till ett gränssnitt och låter körning välja implementationen.