C++: mit Typinformation zu testen, Klasse, Vererbung

Ich habe einen Zeiger auf eine polymorphe Art, p. Ich habe auch ein type_info für eine Klasse, die irgendwo in der gleichen Hierarchie ti.

Wenn ich nur vergleichen Sie die typeid(*p) == ti, dann kann ich den test zur Laufzeit, ob der Zeiger verweist auf eine direkte Instanz der Klasse.

Ist es ähnlich wie mit C++'s RTTI um zu testen, ob *p erbt, die von dieser Klasse?

InformationsquelleAutor David Given | 2012-07-15
  1. 2

    Gibt es keine Möglichkeit, dies zu tun in der standard-C++ alleine. Wenn Sie eine Umsetzung, die die Itanium C++ ABI1, die Sie tun können diese aber, zum Beispiel:

    #include <iostream>
#include <typeinfo>
#include <cxxabi.h>
#include <memory>

class base {
protected:
  base() {
  }
public:
  static bool check(const std::type_info& p) {
    //Find the real type_info for single inheritance non virtual 
    const __cxxabiv1::__si_class_type_info* test = dynamic_cast<const __cxxabiv1::__si_class_type_info*>(&p);
    return test ? typeid(base) == *test->__base_type : false;
  }

  virtual ~base() {}
};

class der : public base {
};

class foo {};

int main() {
  der d;
  foo f;

  std::cout << base::check(typeid(d)) << "\n";
  std::cout << base::check(typeid(f)) << "\n";
}

    Hier dies funktioniert, weil der Typ hat einen einzigen, nicht-virtuallly geerbt Basis. Sie können support-Fälle sind zwar mit Sorgfalt und ähnliche dynamic_casts.

    Dies ist zwar möglich, unter diesen Umständen denke ich, du bist der Lösung das falsche problem - eine Lösung, die basierend auf einem std::map ist mehr tragbar und vermeidet es, sich auf Einzelheiten der Implementierung, wie diese.

    1 verwirrenderweise den Namen, es ist eine überraschend große compiler/Architektur-Liste, nicht nur Itanium

    • Ich nicht, leider. (Ich weiß nicht einmal, STL.) Ich dachte, das wäre die Antwort, aber konnte keine definitive Aussage wie. Oh, gut, benutzerdefinierte RTTI es ist, dann...
    • Es könnte sein, dass Ihre Umsetzung hat eine ähnliche ABI.
    InformationsquelleAutor Flexo
  2. 1

    Ja, Sie können dynamic_cast<> für diesen Zweck. Wenn Sie versuchen, zu werfen, um Base* ist, führt er eine Laufzeit überprüfen, um zu sehen, ob Ihr wirklich Klasse ist abgeleitet von Base (oder direkt eine Base). Im Falle des Scheiterns, dynamic_cast<> zurück nullptr. Beispiel :

    struct Base {
     virtual ~Base() {}
};

struct AnotherBase {
     virtual ~Base() {}
};

struct Derived : Base {};


Base * basePtr = new Base();
Base * derivedPtr = new Derived();
AnotherBase * anotherBasePtr = new Base();

//is derivedPtr a pointer to a class derived from AnotherBase ?
AnotherBase* test2 = dynamic_cast<AnotherBase*>(derivedPtr);    //test2 == nullptr

//is basePtr a pointer to a class derived from Derived ?
Derived * test3 = dynamic_cast<Derived*>(basePtr);    //test3 == nullptr

    Seite Knoten :

    • wenn dynamic_cast<> wird verwendet, um zu konvertieren Zeiger, es gibt entweder nullptr oder der Zeiger umgewandelt.

    • ABER wenn dynamic_cast<> wird verwendet, um zu konvertieren Referenzen es wirft ein Ausnahme im Falle des Scheiterns.

    • Dem Laufzeit-check der dynamic_cast<> ist nur möglich bei polymorphen Typen. Wenn Ihre Basis enthält keine virtuelle Funktion (= nicht-polymorphe), ist es nicht möglich, sicher zu konvertieren Base* zu einem Derived*.

    • Leider dynamic_cast<> funktioniert nur, wenn ich weiß, was die Klasse auf compile time. Ich weiß nicht, dass: alles, was ich habe, ist ein type_info für die Klasse. Ich weiß nicht wirklich brauchen, zu wirken die Zeiger, lediglich bestimmen, ob das Objekt wird darauf an erbt von der Klasse, für die ich die type_info.
    • Ich habe deine Frage missverstanden. Also Nein, Sie kann nicht. Aber Sie können eine Karte zu erstellen<typeinfo*,dynamic_cast_wrapper> so dass Sie tun, was Sie wollen. Sagen Sie mir, wenn Sie interessiert sind, & ich ' ll post eine ausführliche Antwort.
    • Das ist alles richtig, danke; ich habe schon einen plan für benutzerdefinierte RTTI um dies zu tun, aber wollte überprüfen, um zu sehen, ob ich wirklich brauchte es zuerst.
    • Ich habe gerade herausgefunden, dass mein Vorschlag wurde teilweise sowieso falsch. Es ist nicht einfach, um richtig wickeln Sie ein dynamic_cast wie ich vorgeschlagen !
    • Vor langer Zeit war dies fragte .. ich bin daran interessiert, wenn die neuen C++ standart haben einige Erweiterungen, die sich auf diese Frage ?
    InformationsquelleAutor Frédéric Terrazzoni
  3. 0

    Großer Dank an Flexo. Ich habe Erforschung der C++ - ABI für eine ganz Weile. Nach einer Stunde Arbeit habe ich dieses demo: http://pastebin.com/j7DYY5ej. Hier ist ein code, um zu überprüfen Vererbung in einigen Fällen. Ich habe implementiert die Operatoren ==, !=, <, >, <=, >= für den Typen. Ich bin Planung zu verbessern, diese Art von Typ Gleichung und verwenden Sie es in mein Projekt.
    Beachten Sie, dass ich benutzt G++ 4.8 unter Linux.

    InformationsquelleAutor cppist
Schreibe einen Kommentar