Mehrere Versand in C++

Question

Ich versuche zu verstehen, was mehrere Versand ist. Ich lese viele verschiedene Texte, aber ich habe immer noch keine Ahnung, was eine Mehrfachsendung ist und wofür sie gut ist. Vielleicht ist die Sache, die ich vermisse, ein Stück Code, der mehrere Sendungen verwendet. Bitte, können Sie ein kleines Stück Code in C++ mit mehreren Versand schreiben, so dass ich sehe, kann es nicht ordnungsgemäß kompiliert/laufen, weil C++ nur einzelne Versand hat? Ich muss den Unterschied sehen. Vielen Dank.

Answer 1

Multiversand ist die Möglichkeit, basierend auf dem Laufzeittyp der an den Funktionsaufruf übergebenen Argumente auszuwählen, welche Version einer Funktion aufgerufen werden soll.

Hier ist ein Beispiel, das nicht direkt in C++ funktionieren (ungetestet):

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

Multiple Dispatch ist, wenn die Funktion, die auf dem Laufzeittyp von mehr als einem Objekt abhängt ausgeführt wird.

C++ hat single dispatch, denn wenn Sie virtuelle Funktionen verwenden, hängt die tatsächliche Funktion, die ausgeführt wird, nur vom Laufzeittyp des Objekts links von dem -> oder ab. Operator.

Ich habe Mühe, an einen echten Programmierfall für den Mehrfachversand zu denken. Vielleicht in einem Spiel, wo verschiedene Charaktere gegeneinander kämpfen.

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

Der Sieger eines Kampfes auf die Eigenschaften beider Gegner abhängen kann, so können Sie diesen Aufruf zu einer der folgenden versenden wollen, auf die Laufzeittypen beider Argumente abhängig:

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. 

Die Funktion hängt von den beiden Argumenten ab, nicht nur von einem. In C++ müssen Sie dies möglicherweise als virtuelle Funktionen schreiben. Eine virtuelle Funktion würde abhängig von einem Argument (dem this-Zeiger) ausgewählt werden. Dann muss die virtuelle Funktion möglicherweise einen Schalter oder etwas enthalten, um etwas speziell mit dem anderen Argument zu tun.

Answer 3

In Einzelversand hängt die ausgeführte Funktion nur vom Objekttyp ab. In doppelten Versand hängt die ausgeführte Funktion vom Objekttyp und einem Parameter ab.

Im folgenden Beispiel wird die Funktion Area() verwendet aufgerufen Einzelversand und Intersect() verlässt sich auf Doppel-Ausgabe, da es eine Form Parameter nimmt.

class Circle; 
class Rectangle; 
class Shape 
{ 
    virtual double Area() = 0; // Single dispatch 

    // ... 
    virtual double Intersect(const Shape& s) = 0; // double dispatch, take a Shape argument 
    virtual double Intersect(const Circle& s) = 0; 
    virtual double Intersect(const Rectangle& s) = 0; 
}; 

struct Circle : public Shape 
{ 
    virtual double Area() { return /* pi*r*r */; } 

    virtual double Intersect(const Shape& s); 
    { return s.Intersect(*this) ; } 
    virtual double Intersect(const Circle& s); 
    { /*circle-circle*/ } 
    virtual double Intersect(const Rectangle& s); 
    { /*circle-rectangle*/ } 
}; 

Das Beispiel basiert auf diesem article.

Answer 4

Sehen Sie dieses Papier von B. Stroustrup geschrieben: Open Multi-Methods for C++