Polimorfismo per parametro di funzione

Question

Ok, questa potrebbe essere una domanda molto stupida, ma mi ha infastidito.

Esiste un linguaggio in cui

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); 

sarebbe cedere "doing ape stuff"? (per favore abbiate pazienza con me usando la sintassi C++) Per chiarire, voglio "una funzione che accetta un argomento e agisce su di esso in base al tipo dell'argomento".

E avrebbe senso? Ovviamente, come sviluppatore dovresti fare attenzione perché le istanze che assomigliano a un puntatore Animal potrebbero effettivamente chiamare codice Ape, perché in fase di esecuzione è indicata un'istanza Ape.

Answer 1

Sì, ci sono! Questo è chiamato multiple dispatch. L'articolo di Wikipedia è molto buono. Purtroppo, sembra essere supportato solo tramite estensioni di lingua per le lingue più diffuse, ma ci sono alcune lingue (per la maggior parte esoteriche) che lo supportano in modo nativo.

Answer 2

Potenzialmente, ma non sarebbe C++ in quanto le funzioni di overloading delle ricerche in C++ vengono eseguite in fase di compilazione, non in runtime come sarebbe richiesto qui. Richiederebbe un linguaggio dinamico che permetta il suggerimento del tipo e l'overloading.

Answer 3

C'è qualche incoerenza qui che è fonte di confusione. Vuoi una funzione che accetta un argomento e agisce su di esso in base al tipo di argomento? Questo non sarebbe il polimorfismo in quanto le funzioni sono sul loro solitario, non sono metodi appartenenti a una gerarchia di classi o interfacce. In altre parole, è come mescolare i paradigmi OO con i paradigmi procedurali.

Se è il tipo che si desidera parametrizzare e non la variabile, si utilizzerà qualcosa come Java Generics. Con i generici puoi informare un metodo che anche il tipo di parametro che arriva sarà variabile. Il metodo agisce sul tipo di variabile in modo generico.

Answer 4

Open Multi-Methods for C++, di Peter Pirkelbauer, Yuriy Solodkyy e Bjarne Stroustrup.

Questo documento discute un'estensione del linguaggio per integrare i multi-metodi in C++ insieme ad alcuni dettagli di implementazione molto interessanti, come trattare con le librerie caricate dinamicamente e il layout effettivo per la distribuzione corretta. Si noti che non fa ancora parte dello standard C++ e probabilmente non fa parte di alcun compilatore principale.

Answer 5

Date un'occhiata al Visitor pattern