Tutorial Java: Polimorfismo

El Polimorfismo es uno de los cuatro pilares fundamentales de la Programación Orientada a Objetos (POO), junto con la Encapsulación, la Herencia y la Abstracción. La palabra "polimorfismo" viene del griego "polys", que significa "muchos", y "morphe", que significa "forma". Por lo tanto, el polimorfismo se puede entender como la capacidad de tomar muchas formas.

En términos de programación, el polimorfismo se refiere a la capacidad de un objeto de comportarse de diferentes formas dependiendo del contexto. En Java, esto se logra principalmente a través de la herencia y las interfaces.

Hay dos tipos de polimorfismo en Java: polimorfismo de tiempo de compilación y polimorfismo de tiempo de ejecución. El polimorfismo de tiempo de compilación se logra a través de la sobrecarga de métodos, mientras que el polimorfismo de tiempo de ejecución se logra a través de la sobrescritura de métodos.

Polimorfismo de tiempo de compilación

El polimorfismo de tiempo de compilación, también conocido como sobrecarga de métodos, permite que dos o más métodos en una misma clase tengan el mismo nombre pero parámetros diferentes. La clave aquí es que el compilador de Java decide qué método llamar en tiempo de compilación, basándose en los argumentos proporcionados.

Un ejemplo en código de esto sería:

class Polimorfismo {
    
    void demo (int a) {
        System.out.println ("a: " + a);
    }
    
    void demo (int a, int b) {
        System.out.println ("a y b: " + a + "," + b);
    }
    
    double demo(double a) {
        System.out.println("double a: " + a);
        return a*a;
    }
}

class MetodoPrincipal {
    public static void main(String[] args) {
        Polimorfismo Obj = new Polimorfismo();
        double resultado;
        Obj.demo(10);
        Obj.demo(10, 20);
        resultado = Obj.demo(5.5);
        System.out.println("O/P : " + resultado);
    }
}

En el código anterior, la clase Polimorfismo tiene tres métodos llamados demo(). Pero cada método acepta parámetros diferentes. Cuando se llama a demo(10), se ejecuta el primer método. Cuando se llama a demo(10, 20), se ejecuta el segundo método. Y cuando se llama a demo(5.5), se ejecuta el tercer método.

Polimorfismo de tiempo de ejecución

El polimorfismo de tiempo de ejecución, también conocido como sobrescritura de métodos, se produce cuando una subclase tiene un método que ya existe en su superclase. La sobrescritura de métodos permite que la subclase proporcione su propia implementación para el método existente. La decisión de qué método ejecutar se toma durante la ejecución, no durante la compilación.

Un ejemplo en código de esto sería:

class Animal {
    void comer() {
        System.out.println("El animal come");
    }
}

class Perro extends Animal {
    void comer() {
        System.out.println("El perro come");
    }
}

class TestPolimorfismo {
    public static void main(String[] args) {
        Animal a = new Animal();   // Animal referencia y objeto
        Animal b = new Perro();   // Animal referencia pero objeto Perro
        
        a.comer();   // corre el método en Animal class
        b.comer();   // corre el método en Perro class
    }
}

En este código, la clase Animal tiene un método llamado comer(). La clase Perro, que hereda de Animal, también tiene un método llamado comer(). Cuando se llama al método comer() en el objeto a, se ejecuta el método en la clase Animal. Pero cuando se llama al método comer() en el objeto b, se ejecuta el método en la clase Perro. Esto es porque b es un objeto de la clase Perro, aunque se le hace referencia como Animal.

¿Por qué es útil el polimorfismo?

El polimorfismo es útil por varias razones. Permite que el código sea más reutilizable y más fácil de entender y mantener. También facilita la implementación de código que es agnóstico al tipo de los objetos con los que trabaja.

Por ejemplo, si se tiene un arreglo de objetos Animal (donde Animal podría ser una superclase para clases como Perro, Gato, Pájaro, etc.), se podría tener un ciclo que recorra el arreglo y llame al método hablar() en cada objeto Animal. Esto haría que cada animal haga su propio sonido, a pesar de que el código del ciclo no tiene que saber específicamente qué tipo de Animal está manejando.