13.9. Herencia y polimorfismo en Java: polimorfismo en tiempo de ejecución

La herencia y el polimorfismo son conceptos fundamentales de la programación orientada a objetos (OOP) y desempeñan un papel crucial en el lenguaje de programación Java. Permiten a los programadores crear sistemas más flexibles y reutilizables. En esta sección, nos centraremos en uno de los aspectos del polimorfismo: el polimorfismo en tiempo de ejecución, también conocido como polimorfismo dinámico.

Comprensión del polimorfismo en tiempo de ejecución

El polimorfismo en tiempo de ejecución es una característica de la programación orientada a objetos que permite que la misma referencia apunte a objetos de diferentes clases y llame a métodos que tienen diferentes implementaciones, dependiendo del tipo real del objeto al que se hace referencia. En Java, el polimorfismo en tiempo de ejecución se implementa mediante el método de distribución dinámica, que es el proceso mediante el cual se resuelve una llamada a un método en tiempo de ejecución.

Cómo funciona el polimorfismo en tiempo de ejecución

Para comprender el polimorfismo en tiempo de ejecución, primero debemos comprender el concepto de enlace tardío o enlace dinámico. Cuando se llama a un método sobre un objeto, la versión del método a ejecutar se determina en tiempo de ejecución, en función del tipo real del objeto. Esto es posible porque cada objeto en Java tiene una tabla de métodos virtuales (vtable) que asigna llamadas a métodos a las implementaciones concretas correspondientes.

Considere el siguiente ejemplo:

clase animal {
    hablar vacío() {
        System.out.println("El animal emite un sonido.");
    }
}

clase Perro extiende Animal {
    @Anular
    hablar vacío() {
        System.out.println("El perro ladra.");
    }
}

clase Gato extiende Animal {
    @Anular
    hablar vacío() {
        System.out.println("El gato maúlla.");
    }
}

clase pública PruebaPolimorfismo {
    público estático vacío principal (String [] argumentos) {
        Animal miAnimal = nuevo Perro();
        miAnimal.hablar(); // Salida: El perro ladra.

        miAnimal = nuevo Gato();
        miAnimal.hablar(); // Salida: El gato maúlla.
    }
}

En el ejemplo anterior, la referencia myAnimal es de tipo Animal, pero puede apuntar a objetos de cualquier clase que herede de Animal. , como Perro o Gato. El método speak() se llama en la referencia myAnimal, pero la implementación que se ejecuta depende del tipo real del objeto (instanciado como Dog o Gato). Esto es polimorfismo en tiempo de ejecución.