¿Qué es el polimorfismo?

Question

Accepted Answer

**Polimorfismo** ("muchas formas") permite que una única interfaz funcione con diferentes tipos subyacentes. La *misma llamada* ejecuta *código diferente* dependiendo del objeto real — elegido en tiempo de ejecución. Esto es **polimorfismo de subtipos**.

## Una llamada, muchos comportamientos

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

El bucle llama a `a.speak()` sin importarle qué animal es — la ejecución envía a la sobrescritura correcta.

## Por qué es importante

Puedes añadir un nuevo subtipo `Animal` más tarde, y el bucle anterior sigue funcionando con **cero cambios**. El código depende del tipo abstracto, no de las clases concretas.

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

## Trampa

No lo confundas con sobrecarga (mismo nombre de método, diferentes *parámetros*, resuelto en tiempo de compilación). El verdadero polimorfismo (de subtipos) se resuelve en *tiempo de ejecución* basándose en el objeto.

## Por qué importa

El polimorfismo es lo que hace que la programación orientada a objetos sea extensible: el nuevo comportamiento llega como una nueva clase, no como ediciones dispersas en cadenas `if/else`.

Es el mecanismo detrás del Principio Abierto/Cerrado y la mayoría de patrones de diseño — programas para una interfaz y dejas que la ejecución elija la implementación.