'typeid' versus 'typeof' in C++

Question

Ich frage mich, was der Unterschied zwischen typeid und typeof in C++ ist. Hier ist, was ich weiß:

• typeid ist in der Dokumentation für type_info genannt, die in der C++ Header-Datei definiert ist typeinfo.

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

Auch hier ist Testcode Test, die ich angelegt habe, wo ich entdeckt habe, dass typeid nicht zurück, 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) 
} 

output:

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

Answer 1

C++ Sprache hat nicht so etwas wie typeof. Sie müssen sich eine bestimmte Compiler-spezifische Erweiterung ansehen. Wenn Sie über GCC typeof sprechen, dann ist ein ähnliches Feature in C++ 11 durch das Schlüsselwort decltype vorhanden. C++ hat wiederum kein Schlüsselwort typeof.

typeid ist ein C++ - Sprachenoperator, der zur Laufzeit Typidentifikationsinformationen zurückgibt. Sie gibt im Wesentlichen ein type_info Objekt zurück, das mit anderen type_info Objekten vergleichbar ist.

Beachten Sie, dass die einzige definierte Eigenschaft des zurück type_info Objekt hat, ist seine gleichstellungs und Nicht-Gleichheit-vergleichbar sein, dh type_info Objekte verschiedene Arten beschreiben soll nicht gleich vergleichen, während type_info Objekte den gleichen Typ beschreiben müssen vergleiche gleich. Alles andere ist implementierungsdefiniert. Methoden, die verschiedene "Namen" zurückgeben, sind nicht garantiert, dass sie irgend etwas, das für Menschen lesbar ist, zurückgeben und sogar nicht garantieren können, irgendetwas zurückzugeben.

Beachten Sie auch, dass die oben impliziert wahrscheinlich (obwohl der Standard scheint nicht explizit zu erwähnen), dass aufeinanderfolgende Anwendungen von typeid auf die gleiche Art können unterschiedliche type_info Objekte zurück (was natürlich immer noch gleich vergleichen müssen).

Answer 2

Der Hauptunterschied zwischen den beiden ist die folgende

• Typeof ist eine Kompilierung Konstrukts und kehrt der Typ wie unter definiert Kompilierzeit
• typeid ist ein Laufzeitkonstrukt und gibt somit Auskunft über den Laufzeittyp des Wertes.

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

typeid Rfeerence: http://en.wikipedia.org/wiki/Typeid

Answer 3

typeid zur Laufzeit arbeiten kann, und ein Objekt zurückgeben den Laufzeittyp des Objekts beschreibt, das ein Zeiger auf ein Objekt sein muß eine Klasse mit virtuellen Methoden, um RTTI (run-time type information) in der Klasse zu speichern. Es kann auch den Kompilierzeittyp eines Ausdrucks oder einen Typnamen angeben, wenn ihm kein Zeiger auf eine Klasse mit Informationen zum Laufzeittyp zugewiesen wird.

typeof ist eine GNU-Erweiterung und gibt Ihnen den Typ eines beliebigen Ausdrucks zum Zeitpunkt der Kompilierung. Dies kann beispielsweise nützlich sein, wenn temporäre Variablen in Makros deklariert werden, die für mehrere Typen verwendet werden können. In C++ würden Sie normalerweise stattdessen templates verwenden.

Answer 4

Beantwortung der Zusatzfrage:

meine folgende Testcode für typeid tut nicht ausgegeben den richtigen Typ Namen. was ist los?

Es ist nichts falsch. Was Sie sehen, ist die Zeichenfolgendarstellung des Typnamens. Das Standard-C++ zwingt Compiler nicht, den exakten Namen der Klasse auszugeben, es liegt nur an dem Implementierer (Compiler-Anbieter), zu entscheiden, was geeignet ist. Kurz gesagt, die Namen hängen vom Compiler ab.

---

Dies sind zwei verschiedene Werkzeuge.typeof gibt den Typ eines Ausdrucks zurück, ist jedoch kein Standard. In C++ 0x gibt es etwas namens decltype, das den gleichen Job AFAIK tut.

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

Während typeid mit polymorphen Typen verwendet. Zum Beispiel kann sagen, dass cat leitet 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. 
} 

Answer 5

Sie Boost-demangle verwenden kann, ein gut aussehenden Namen zu erreichen:

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

und so etwas wie

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

Answer 6

typeid bietet die Art der Daten zur Laufzeit, wenn gefragt. Typedef ist ein Kompilierzeit-Konstrukt, das einen neuen Typ definiert, der danach angegeben wird. Es gibt keine typeof in C++ Ausgabe erscheint als (wie beschriftet Kommentare angezeigt):

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