Envoi multiple en C++

Question

J'essaie de comprendre ce qu'est la répartition multiple. J'ai lu beaucoup de textes différents mais je n'ai toujours aucune idée de ce qu'est la répartition multiple et de ce à quoi elle sert. Peut-être que la chose qui me manque est un morceau de code utilisant plusieurs dépêches. S'il vous plaît, pouvez-vous écrire un petit morceau de code en C++ en utilisant plusieurs dispatch afin que je puisse voir qu'il ne peut pas être compilé/exécuté correctement parce que C++ n'a qu'une seule distribution? J'ai besoin de voir la différence. Merci.

Answer 1

La répartition multiple permet de choisir la version d'une fonction à appeler en fonction du type d'exécution des arguments transmis à l'appel de fonction.

Voici un exemple qui ne fonctionnera pas droit en C++ (non testé):

class A { }; 
class B : public A { }; 
class C : public A { } 


class Foo 
{ 
    virtual void MyFn(A* arg1, A* arg2) { printf("A,A\n"); } 
    virtual void MyFn(B* arg1, B* arg2) { printf("B,B\n"); } 
    virtual void MyFn(C* arg1, B* arg2) { printf("C,B\n"); } 
    virtual void MyFn(B* arg1, C* arg2) { printf("B,C\n"); } 
    virtual void MyFn(C* arg1, C* arg2) { printf("C,C\n"); } 
}; 

void CallMyFn(A* arg1, A* arg2) 
{ 
    // ideally, with multi-dispatch, at this point the correct MyFn() 
    // would be called, based on the RUNTIME type of arg1 and arg2 
    pFoo->MyFn(arg1, arg2); 
} 

... 

A* arg1 = new B(); 
A* arg2 = new C(); 
// Using multi-dispatch this would print "B,C"... but because C++ only 
// uses single-dispatch it will print out "A,A" 
CallMyFn(arg1, arg2); 

Answer 2

envoi multiple est lorsque la fonction qui est exécuté dépend du type de temps d'exécution de plus d'un objet.

C++ a une répartition unique, car lorsque vous utilisez des fonctions virtuelles, la fonction réelle qui s'exécute dépend uniquement du type d'exécution de l'objet à gauche de -> ou. opérateur.

J'ai du mal à penser à un vrai cas de programmation pour les envois multiples. Peut-être dans un jeu où différents personnages se battent entre eux.

void Fight(Opponent& opponent1, Opponent& opponent2); 

Le gagnant d'un combat peut dépendre des caractéristiques des deux adversaires, vous voudrez peut-être cet appel à expédier à l'un des éléments suivants, en fonction des types temps d'exécution des deux arguments:

void Fight(Elephant& elephant, Mouse& mouse) 
{ 
    mouse.Scare(elephant); 
} 

void Fight(Ninja& ninja, Mouse& mouse) 
{ 
    ninja.KarateChop(mouse); 
} 

void Fight(Cat& cat, Mouse& mouse) 
{ 
    cat.Catch(mouse); 
} 

void Fight(Ninja& ninja, Elephant& elephant) 
{ 
    elephant.Trample(ninja); 
} 

// Etc. 

La fonction dépend du type des deux arguments, pas d'un seul. En C++, vous devrez peut-être écrire ceci comme des fonctions virtuelles. Une fonction virtuelle serait sélectionnée en fonction d'un argument (le pointeur this). Ensuite, la fonction virtuelle peut avoir besoin de contenir un commutateur ou quelque chose pour faire quelque chose de particulier à l'autre argument.

Answer 3

Dans envoi unique La fonction exécutée dépend uniquement du type d'objet. Dans double répartition la fonction exécutée dépend du type d'objet et d'un paramètre .

Dans l'exemple suivant, la fonction Area() est appelée à l'aide envoi simple et Intersect() se fie à l'expédition à double car il faut un paramètre de forme. L'exemple est basé sur cette article.

Answer 4

Voir cet article écrit par B. Stroustrup: Open Multi-Methods for C++