Tutorial TypeScript: Polimorfismo

El polimorfismo es un concepto fundamental de la programación orientada a objetos que permite que un objeto pueda tomar muchas formas. Los objetos polimórficos pueden comportarse de diferentes maneras dependiendo del contexto en el que se utilizan. En otras palabras, un objeto puede responder a los mismos mensajes (métodos) de diferentes formas. TypeScript soporta polimorfismo y lo facilita con una sintaxis clara y eficiente.

Polimorfismo de subtipos

En TypeScript, el polimorfismo de subtipos es una forma de polimorfismo en la que una subclase puede ser tratada como su superclase (una clase hija puede ser tratada como su clase padre). Un objeto de la subclase puede ser utilizado en un lugar donde se espera un objeto de la superclase. Esto es posible debido a la relación de herencia entre la superclase y la subclase.

class Animal {
    comer() {
        console.log('El animal come');
    }
}

class Perro extends Animal {
    comer() {
        console.log('El perro come croquetas');
    }
}

class Gato extends Animal {
    comer() {
        console.log('El gato come pescado');
    }
}

function alimentarAnimal(animal: Animal) {
    animal.comer();
}

let miPerro = new Perro();
let miGato = new Gato();

alimentarAnimal(miPerro); // Imprime: "El perro come croquetas"
alimentarAnimal(miGato); // Imprime: "El gato come pescado"

En este código, Perro y Gato son subclases de Animal. El método alimentarAnimal espera un argumento de tipo Animal, pero se le puede pasar un objeto de tipo Perro o Gato porque ambos son subtipos de Animal. A esto se le llama polimorfismo.

Polimorfismo de clases abstractas

Las clases abstractas en TypeScript también permiten polimorfismo. Una clase abstracta es una clase que no se puede instanciar y que se utiliza como base para otras clases, y se declara mediante la palabra clave abstract. Las clases abstractas pueden tener métodos abstractos, que se definen pero no se implementan en la clase abstracta (no tienen cuerpo), y deben ser implementados por cualquier clase que extienda la clase abstracta.

// Clase abstracta
abstract class Animal {
    // Método abstracto, sin implementación
    abstract hacerSonido(): void;
}

class Perro extends Animal {
    hacerSonido() {
        console.log('Guau!');
    }
}

class Gato extends Animal {
    hacerSonido() {
        console.log('Miau!');
    }
}

let miPerro = new Perro();
let miGato = new Gato();
// No se podría hacer 'new Animal()' ya que Animal es clase abstracta

miPerro.hacerSonido(); // Imprime: "Guau!"
miGato.hacerSonido(); // Imprime: "Miau!"

Aquí, Animal es una clase abstracta con un método abstracto hacerSonido. Las clases Perro y Gato extienden Animal y proporcionan sus propias implementaciones del método hacerSonido.

Estos son sólo algunos ejemplos de cómo se puede utilizar el polimorfismo en TypeScript. La capacidad de tratar objetos de diferentes formas basándose en su tipo permite escribir código más genérico, flexible y reutilizable.