Polimorfismo por parámetro de función

Question

Ok, esta puede ser una pregunta muy estúpida, pero me ha estado molestando.

¿Existe un lenguaje donde

class Animal; 
class Ape : public Animal 
{...} 

void doStuff(Animal* animalPtr) 
{ 
    cout << "doing animal stuff" << endl; 
} 

void doStuff(Ape* apePtr) 
{ 
    cout << "doing ape stuff" << endl; 
} 

Animal *ape = new Ape(); 
doStuff(ape); 

produciría "doing ape stuff"? (Por favor, tengan paciencia usando la sintaxis de C++) Para aclarar, quiero "una función que acepte un argumento y lo actúe de acuerdo con el tipo de argumento".

¿Y tendría sentido? Por supuesto, como desarrollador debe tener cuidado ya que las instancias que se parecen a un puntero Animal en realidad podrían llamar al código Ape, porque en el tiempo de ejecución se apunta a una instancia de Ape.

Answer 1

Sí, hay! Esto se llama multiple dispatch. El artículo de Wikipedia es muy bueno. Lamentablemente, parece que solo se admite a través de extensiones de idioma para la mayoría de los idiomas populares, pero hay algunos idiomas (la mayoría esotéricos) que lo admiten de forma nativa.

Answer 2

Potencialmente, pero no sería C++ ya que las búsquedas de sobrecarga de funciones en C++ se realizan en tiempo de compilación, no en tiempo de ejecución, como sería necesario aquí. Requeriría un lenguaje dinámico que permita sugerencias y sobrecargas de tipo.

Answer 3

Hay una cierta inconsistencia aquí que es confusa. ¿Desea una función que acepte un argumento y actúe según el tipo de argumento? Esto no sería realmente polimorfismo, ya que las funciones están en su soledad, no son métodos que pertenecen a una jerarquía de clase o interfaz. En otras palabras, es un tipo de mezcla de paradigmas OO con paradigmas de procedimiento.

Si es el tipo que desea parametrizar y no la variable, usaría algo así como Java Generics. Con genéricos puede informar a un método que el tipo de parámetro que entra también será variable. El método actúa sobre el tipo de variable de forma genérica.

Answer 4

Open Multi-Methods for C++, por Peter Pirkelbauer, Yuriy Solodkyy y Bjarne Stroustrup.

Este artículo analiza una extensión de lenguaje para integrar métodos múltiples en C++ junto con algunos detalles de implementación muy interesantes, como tratar con bibliotecas cargadas dinámicamente y el diseño real para despachar adecuadamente. Tenga en cuenta que aún no forma parte del estándar C++, y probablemente no forma parte de ningún compilador importante.

Answer 5

Tome un vistazo a la Visitor pattern