Polimorfismo

Polimorfismo

1. Tipos de polimorfismo

   • Sobrecarga: Un solo nombre de método y muchas implementaciones distintas. • Las funciones sobrecargadas normalmente se distinguen en tiempo de compilación por tener distintos parámetros de entrada y/o salida.
   • Sobresescritura (de inclusión): Tipo especial de sobrecarga que ocurre dentro de relaciones de herencia. • En este caso la signatura es la misma pero los métodos se encuentran en dos clases distintas.
   • Variables polimórficas ( Polimorfismo de asignación): variable que se declara como de un tipo pero que referencia en realidad un valor de tipo distinto. • Cuando una variable polimórfica se utiliza como argumento, la función resultante se dice que exhibe un polimorfismo puro.
   • Genericidad ( Plantillas o templates): forma de crear herramientas de propósito general ( clases, métodos) y especialializarlas para situaciones específicas.

2. Introducción

   • El polimorfismo es la capacidad que tienen los LOO de ofrecer distintas implementaciones para un mismo método: Polimorfismo≡múltiples formas
   • Una llamada a un mismo método puede tener comportamientos distintos.

3. Clases Abstractas

   • Una clase abstracta no puede ser instanciada.
   • Si una subclase que extiende una clase abstracta no implementaalguno de los métodos abstractos declarados en la superclase, entonces debe ser declarada también como abstracta.
   • Una clase abstracta puede tener métodos no abstractos.
   • Se pueden declarar variables referencia cuyo tipo sea una claseabstracta.
   • Aunque las clases abstractas no se pueden instanciar, sí que pueden tener constructores.

4. Sobreescritura de métodos

   • En ocasiones interesa que la subclase modifique algunos de los métodos heredados para que tengan un comportamiento distinto. Hay dos formas de sobreescribir un método: Reemplazo Refinamiento
     • Reemplazo: se reescribe el método completamente, ignorando el código de la superclase.
     • Refinamiento: se amplía el método de la superclase con instrucciones extras.
   • Si se declara un método como final, se impide su sobreescritura.
   • Si se declara una clase como final, se impide que se extienda.