O que é polimorfismo?

Question

Accepted Answer

**Polimorfismo** ("muitas formas") permite que uma única interface funcione com diferentes tipos subjacentes. *A mesma chamada* executa *código diferente* dependendo do objeto real — escolhido em tempo de execução. Isso é **polimorfismo de subtipo**.

## Uma chamada, muitos comportamentos

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

O loop chama `a.speak()` sem se importar com qual animal é — o tempo de execução despacha para o override correto.

## Por que isso importa

Você pode adicionar um novo subtipo `Animal` depois, e o loop acima continua funcionando com **zero mudanças**. O código depende do tipo abstrato, não de classes concretas.

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

## Armadilha

Não confunda com sobrecarga (mesmo nome de método, diferentes *parâmetros*, resolvido em tempo de compilação). O verdadeiro (subtipo) polimorfismo é resolvido em *tempo de execução* com base no objeto.

## Por que isso importa

Polimorfismo é o que torna a POO extensível: novo comportamento chega como uma nova classe, não como edições espalhadas por cadeias `if/else`.

É o mecanismo por trás do Princípio Open/Closed e da maioria dos padrões de design — você programa para uma interface e deixa o despacho em tempo de execução escolher a implementação.