'typeid' versus 'typeof' in C ++

Ich frage mich, was der Unterschied zwischen typeidund typeofin C ++ ist. Folgendes weiß ich:

• typeidwird in der Dokumentation zu type_info erwähnt, die in der C ++ - Headerdatei typeinfo definiert ist .

• typeofwird in der GCC-Erweiterung für C und in der C ++ Boost- Bibliothek definiert.

Außerdem habe ich hier einen Testcodetest erstellt, bei dem ich festgestellt habe, dass er typeidnicht das zurückgibt, was ich erwartet hatte. Warum?

main.cpp

#include <iostream>  
#include <typeinfo>  //for 'typeid' to work  

class Person {  
    public:
    // ... Person members ...  
    virtual ~Person() {}  
};  

class Employee : public Person {  
    // ... Employee members ...  
};  

int main () {  
    Person person;  
    Employee employee;  
    Person *ptr = &employee;  
    int t = 3;  

    std::cout << typeid(t).name() << std::endl;  
    std::cout << typeid(person).name() << std::endl;   // Person (statically known at compile-time)  
    std::cout << typeid(employee).name() << std::endl; // Employee (statically known at compile-time)  
    std::cout << typeid(ptr).name() << std::endl;      // Person * (statically known at compile-time)  
    std::cout << typeid(*ptr).name() << std::endl;     // Employee (looked up dynamically at run-time  
                                                       // because it is the dereference of a pointer
                                                       // to a polymorphic class)  
 }  

Ausgabe:

bash-3.2$ g++ -Wall main.cpp -o main  
bash-3.2$ ./main   
i  
6Person  
8Employee  
P6Person  
8Employee

In der C ++ - Sprache gibt es keine typeof. Sie müssen sich eine compilerspezifische Erweiterung ansehen. Wenn Sie über GCCs sprechen typeof, ist eine ähnliche Funktion in C ++ 11 über das Schlüsselwort vorhanden decltype. Auch hier hat C ++ kein solches typeofSchlüsselwort.

typeidist ein C ++ - Sprachoperator, der zur Laufzeit Informationen zur Typidentifikation zurückgibt. Grundsätzlich wird ein type_infoObjekt zurückgegeben, das mit anderen type_infoObjekten gleichwertig ist.

Beachten Sie, dass die einzige definierte Eigenschaft des zurückgegebenen type_infoObjekts darin besteht, dass es gleich und nicht type_infogleich ist , dh Objekte, die verschiedene Typen beschreiben, müssen ungleich verglichen werden, während type_infoObjekte, die denselben Typ beschreiben, gleich vergleichen müssen. Alles andere ist implementierungsdefiniert. Bei Methoden, die verschiedene "Namen" zurückgeben, wird nicht garantiert, dass sie von Menschen gelesen werden, und es wird auch nicht garantiert, dass sie überhaupt etwas zurückgeben.

Beachten Sie auch, dass das oben Gesagte wahrscheinlich impliziert (obwohl der Standard dies nicht explizit zu erwähnen scheint), dass aufeinanderfolgende Anwendungen typeiddesselben Typs möglicherweise unterschiedliche type_infoObjekte zurückgeben (die natürlich immer noch gleich verglichen werden müssen).

Der Hauptunterschied zwischen den beiden ist der folgende

• typeof ist ein Konstrukt zur Kompilierungszeit und gibt den zum Kompilierungszeitpunkt definierten Typ zurück
• typeid ist ein Laufzeitkonstrukt und gibt daher Informationen über den Laufzeittyp des Werts.

Referenztyp: http://www.delorie.com/gnu/docs/gcc/gcc_36.html

typeid Referenz: https://en.wikipedia.org/wiki/Typeid

typeidkann zur Laufzeit arbeiten und ein Objekt zurückgeben, das den Laufzeittyp des Objekts beschreibt. Dies muss ein Zeiger auf ein Objekt einer Klasse mit virtuellen Methoden sein, damit RTTI (Laufzeittypinformationen) in der Klasse gespeichert werden können. Es kann auch den Kompilierungszeittyp eines Ausdrucks oder einen Typnamen angeben, wenn kein Zeiger auf eine Klasse mit Laufzeittypinformationen angegeben wird.

typeofist eine GNU-Erweiterung und gibt Ihnen den Typ eines beliebigen Ausdrucks zur Kompilierungszeit an. Dies kann beispielsweise beim Deklarieren temporärer Variablen in Makros hilfreich sein, die für mehrere Typen verwendet werden können. In C ++ verwenden Sie normalerweise stattdessen Vorlagen .

Beantwortung der Zusatzfrage:

Mein folgender Testcode für typeid gibt nicht den richtigen Typnamen aus. Was ist los mit dir?

Es ist nichts falsch. Was Sie sehen, ist die Zeichenfolgendarstellung des Typnamens. Das Standard-C ++ zwingt Compiler nicht dazu, den genauen Namen der Klasse auszugeben. Es ist nur Sache des Implementierers (Compiler-Hersteller), zu entscheiden, was geeignet ist. Kurz gesagt, die Namen liegen beim Compiler.

Dies sind zwei verschiedene Werkzeuge. typeofGibt den Typ eines Ausdrucks zurück, ist jedoch kein Standard. In C ++ 0x gibt es etwas, decltypedas den gleichen Job AFAIK macht.

decltype(0xdeedbeef) number = 0; // number is of type int!
decltype(someArray[0]) element = someArray[0];

Während typeidbei polymorphen Typen verwendet wird. Zum Beispiel kann sagen , dass catherleitet animal:

animal* a = new cat; // animal has to have at least one virtual function
...
if( typeid(*a) == typeid(cat) )
{
    // the object is of type cat! but the pointer is base pointer.
}

typeid gibt den Typ der Daten zur Laufzeit an, wenn Sie dazu aufgefordert werden. Typedef ist ein Konstrukt zur Kompilierungszeit, das einen neuen Typ definiert, wie danach angegeben. Es gibt keinen Typ in C ++. Die Ausgabe wird wie folgt angezeigt (angezeigt als eingeschriebene Kommentare):

std::cout << typeid(t).name() << std::endl;  // i
std::cout << typeid(person).name() << std::endl;   // 6Person
std::cout << typeid(employee).name() << std::endl; // 8Employee
std::cout << typeid(ptr).name() << std::endl;      // P6Person
std::cout << typeid(*ptr).name() << std::endl;     //8Employee

Sie können Boost Demangle verwenden, um einen gut aussehenden Namen zu erhalten:

#include <boost/units/detail/utility.hpp>

und so ähnlich

To_main_msg_evt ev("Failed to initialize cards in " + boost::units::detail::demangle(typeid(*_IO_card.get()).name()) + ".\n", true, this);