Objetivo-C (lenguaje de programación): ¿Qué es el polimorfismo?

El polimorfismo significa literalmente formas múltiples .

Es un concepto en lenguajes de programación orientados a objetos, como C ++ y Java, donde los objetos pueden heredar la funcionalidad de una clase base y cambiarla para proporcionar un comportamiento especializado.

  struct Animal { 
     bool isNotAPlant () {return true;  }
     virtual void speak () = 0;
 };

 struct Dog: public Animal { 
     void speak () {printf ("¡Guau! \ n");  }
 };

 struct Cat: public Animal { 
     void speak () {printf ("¡Miau! \ n");  }
 };

Aquí tenemos una clase base, Animal, y otras dos clases que se derivan de ella. Ambos heredan la función isNotAPlant (), pero han anulado las funciones speak ().

Esto es muy poderoso. Por ejemplo, podría mantener una lista de animales:

std :: vector animales;

y cuando lo repitas, dirán las cosas correctas:

  animals.push_back (nuevo perro ());
 animals.push_back (nuevo perro ());
 animals.push_back (nuevo Cat ());
 animals.push_back (nuevo perro ());
 animals.push_back (nuevo Cat ());
 animals.push_back (nuevo Cat ());
 animals.push_back (nuevo perro ());
    
 for (size_t i = 0; i  speak ();
 }

Esto produce:

¡Guau!
¡Guau!
¡Maullar!
¡Guau!
¡Maullar!
¡Maullar!
¡Guau!

También es un término de la biología cuando los individuos en una especie pueden tener fenotipos (cuerpos) muy diferentes, como el masculino y el femenino. Hay otros ejemplos, como los patrones en las alas de mariposa que varían dentro de una especie. Pero los temas de esta pregunta muestran que es una pregunta de programación.

El polimorfismo es un tipo de generalización de tiempo de ejecución que está habilitado por el sistema de tipos en lenguajes de programación como C ++ y Haskell. Típicamente, hablamos de dos tipos de polimorfismo en lenguajes de programación:

1. Polimorfismo de subtipo: que permite que una función que se define sobre un parámetro formal que tiene un tipo también se defina sobre subtipos del mismo.
2. Polimorfismo paramétrico: que permite que una clase de plantilla que se define sobre un parámetro de plantilla que tiene un tipo también se defina sobre subtipos del mismo.

Imagine una función que se define sobre un tipo que llamaremos Animal . Si luego heredamos de Animal para definir un nuevo tipo, por ejemplo, Humano , la función a medida también se definirá sobre el nuevo tipo. ¿Por qué? Debido a que el sistema de tipo C ++ habrá forzado, en tiempo de compilación, que la implementación de la función no dependía de características específicas del tipo Humano.

Es la comprobación en tiempo de compilación de la pertenencia a la jerarquía de tipos lo que garantiza la seguridad de la sustitución en tiempo de ejecución por subtipos. Como probablemente ya haya adivinado, el polimorfismo paramétrico funciona de manera similar a la anterior, excepto con parámetros de plantilla. Como en C ++ se usa el mismo sistema de tipos en cualquier caso, se aplican las mismas reglas y mecanismos para la generalización.