Hvad er polymorfi?

Question

Hvad er polymorfi?

Accepted Answer

**Polymorfi** ("mange former") lader et enkelt interface arbejde med forskellige underliggende typer. Det *samme kald* kører *forskellig kode* afhængigt af det faktiske objekt — valgt ved kørselstid. Dette er **subtype-polymorfi**.

## Et kald, mange adfærd

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

Loopet kalder `a.speak()` uden at bekymre sig om, hvilket dyr det er — kørselstiden dispatcher til den korrekte override.

## Hvorfor det er kraftfuldt

Du kan tilføje en ny `Animal`-subtype senere, og loopet ovenfor fortsætter med at fungere med **nul ændringer**. Koden afhænger af den abstrakte type, ikke konkrete klasser.

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

## Faldgruber

Ikke forveksle det med overloading (samme metodenavn, forskellige *parametre*, løst ved kompileringstid). Ægte (subtype) polymorfi løses ved *kørselstid* baseret på objektet.

## Hvorfor det betyder noget

Polymorfi er det, der gør OOP udvidelsesbar: ny adfærd ankommer som en ny klasse, ikke som redigeringer spredt gennem `if/else`-kæder.

Det er mekanismen bag Open/Closed Principle og de fleste design patterns — du programmerer til et interface og lader runtime-dispatcher vælge implementeringen.