Hva er polymorfisme?

Question

Accepted Answer

**Polymorfisme** ("mange former") lar et enkelt grensesnitt fungere med ulike underliggende typer. *Samme kall* kjører *annen kode* avhengig av det faktiske objektet — valgt ved kjøretid. Dette er **subtype polymorfisme**.

## Ett kall, mange oppførsler

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

løkken kaller `a.speak()` uten å bry seg om hvilket dyr det er — kjøretiden sender til riktig overstyring.

## Hvorfor det er kraftig

Du kan legge til en ny `Animal` undertype senere, og løkken ovenfor fortsetter å fungere med **null endringer**. Koden avhenger av den abstrakte typen, ikke konkrete klasser.

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

## Fallgruver

Forveks det ikke med overloading (samme metodenavon, ulike *parametere*, løst ved kompileringstid). Ekte (subtype) polymorfisme løses ved *kjøretid* basert på objektet.

## Hvorfor det er viktig

Polymorfisme er det som gjør OOP utvidbar: ny oppførsel kommer som en ny klasse, ikke som redigeringer spredt gjennom `if/else` kjeder.

Det er mekanismen bak Open/Closed Principle og de fleste designmønstre — du programmerer mot et grensesnitt og lar kjøretidsdispatchingen velge implementeringen.