Requisitos Fundaemntales para el Polimorfismo

Para que el polimorfismo funcione correctamente en Java, se deben cumplir tres condiciones estrictas en el diseño de clases:

• Herencia: Debe existir una relación jerárquica entre clases (una superclase y al menos una subclase).
• Sobreescritura (Override): La clase descendiente debe reipmlementar al menos un método definido en la clase base.
• Upcasting: Se requiere que una referencia de tipo padre apunte a un objeto instanciado de la clase hija.

Mecanismos de Upcasting

El upcasting (conversión hacia arriba) permite tratar objetos de subclases como si fueran de la superclase. Existen tres formas principales de lograr esta conversión implícita:

1. Asignación Directa

Se declara una variable del tipo padre y se inicializa con una instancia del tipo hijo.

public class Vehicle {
    protected String model;

    public Vehicle(String model) {
        this.model = model;
    }

    public void accelerate() {
        System.out.println("Acelerando vehículo estándar...");
    }
}

public class ElectricCar extends Vehicle {
    public ElectricCar(String model) {
        super(model);
    }

    @Override
    public void accelerate() {
        System.out.println("Acelerando silenciosamente con motor eléctrico: " + model);
    }
}

public class Main {
    public static void main(String[] args) {
        Vehicle myRide = new ElectricCar("Tesla Model 3");
    }
}

2. Paso de Parámetros en Métodos

Un método puede aceptar el tipo padre como argumento, lo que permite pasar cualquier subclase compatible sin necesidad de sobrecargar el método.

public class AlertManager {
    public static void triggerAlert(Notification notification) {
        notification.dispatch();
    }

    public static void main(String[] args) {
        EmailAlert email = new EmailAlert();
        triggerAlert(email);
    }
}

3. Valor de Retorno

Un método puede declarar el tipo padre como valor de retorno, devolviendo internamente una instancia de la subclase.

public Notification createDefaultAlert() {
    return new EmailAlert();
}

Comportamiento en Tiempo de Ejecución

Cuando se realiza un upcasting, la referencia solo puede acceder a los miembros (atributos y métodos) definidos en la clase padre. Sin embargo, si el método llamado fue sobreescrito en la clase hija, Java utiliza enlace dinámico para invocar la implementación de la subclase en tiempo de ejecución.

public class Main {
    public static void main(String[] args) {
        Vehicle myRide = new ElectricCar("Tesla Model 3");
        myRide.accelerate();
    }
}

La salida mostrará el comportamiento específico del ElectricCar, demostrando que el método ejecutado es el de la instancia real en memoria, no el de la referencia estática.

Aplicaciones Prácticas: Eliminación de Condicionales

Una de las mayores ventajas del polimorfismo es la capacidad de eliminar estructuras condicionales complejas (if-else o switch). Al delegar el comportamiento a las subclases, el código se vuelve más limpio, mantenible y se adhiere al Principio Abierto/Cerrado.

public abstract class Notification {
    public abstract void dispatch();
}

public class EmailAlert extends Notification {
    @Override
    public void dispatch() {
        System.out.println("Enviando correo electrónico de alerta.");
    }
}

public class SmsAlert extends Notification {
    @Override
    public void dispatch() {
        System.out.println("Enviando mensaje SMS de alerta.");
    }
}

public class PushAlert extends Notification {
    @Override
    public void dispatch() {
        System.out.println("Enviando notificación push de alerta.");
    }
}

public class AlertManager {
    public static void main(String[] args) {
        Notification[] alertChannels = {
            new EmailAlert(),
            new SmsAlert(),
            new PushAlert()
        };

        for (Notification channel : alertChannels) {
            channel.dispatch();
        }
    }
}

Al iterar sobre un arreglo de la clase padre, cada objeto ejecuta su propia lógica de dispatch() sin necesidad de verificar su tipo específico mediante bloques condicionales.