Wie wird der Gleichheitstest für abgeleitete Klassen durchgeführt?

Question

Wie erstellt man eine effiziente Methode equals für abgeleitete Klassen?

struct Base { 
    virtual bool equals(const Base &other) const = 0; 
}; 

Die übliche Antwort ist dynamic_cast oder typeid verwenden Art Identität in abgeleiteten Klassen zu überprüfen, und wenn Typ übereinstimmt, dann kann ein Vergleich:

struct Derived: Base { 
    virtual bool equals(const Base &other) const override { 
     if (typeid(*this)!=typeid(other)) return false; 

     return *this==static_cast<Derived &>(other); 
    } 
}; 

Gibt es eine effizientere Möglichkeit, diese Art zu tun prüfen? Was können wir tun, wenn RTTI deaktiviert ist?

Answer 1

Ich habe noch nie diesen „Trick“ gesehen, also werde ich es hier hinzufügen:

struct Base { 
    virtual bool equals(const Base &other) const = 0; 

    virtual const void *typeMarker() const = 0; 
}; 

struct Derived: public Base { 
    static char s_typeMarker; 

    virtual bool equals(const Base &other) const override { 
     if (&s_typeMarker!=other.typeMarker()) return false; 

     return *this==static_cast<Derived &>(other); 
    } 

    virtual const void *typeMarker() const override { 
     return &s_typeMarker; 
    } 
}; 

Grundsätzlich hat es eine typeMarker() virtuelle Funktion, die für jeden Typ einen eindeutigen Wert zurückgibt. Also, Typ Gleichheitsprüfung erfolgt mit einem virtuellen Funktionsaufruf (und einem Vergleich), die billiger sein kann als typeid oder dynamic_cast, und diese Methode funktioniert mit RTTI deaktiviert.

Der einzige Nachteil, den ich kenne, ist, dass dies nicht über .dlls funktioniert.

(zu dieser Antwort Basierend kann vielleicht jemand mit einer besseren Lösung kommen.)

Answer 2

Ich denke, das Kernproblem ist, dass Sie nicht Typen vergleichen müssen sollen. Dieses Bedürfnis zeigt immer ein schlechtes Design, eine falsche Verwendung der Vererbung oder andere schlechte Muster.

Schauen Sie, warum Sie die Gleichheitsinformationen benötigen - was werden Sie damit machen nächste, die Sie nicht durch Aufruf einer vererbten und überschriebenen Methode der Klassen tun konnten?