„typeid” kontra „typeof” w C ++

Zastanawiam się, jaka jest różnica między typeidiw typeofC ++. Oto co wiem:

• typeidjest wspomniana w dokumentacji dla type_info, która jest zdefiniowana w pliku nagłówkowym C ++ typeinfo .

• typeofjest zdefiniowany w rozszerzeniu GCC dla języka C oraz w bibliotece C ++ Boost .

Tutaj jest również test kodu testowego, który stworzyłem, w którym odkryłem, że typeidnie zwraca tego, czego się spodziewałem. Czemu?

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)  
 }  

wynik:

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

Język C ++ nie ma czegoś takiego jak typeof. Musisz patrzeć na jakieś rozszerzenie specyficzne dla kompilatora. Jeśli mówisz o GCC typeof, to podobna funkcja jest obecna w C ++ 11 poprzez słowo kluczowe decltype. Ponownie, C ++ nie ma takiego typeofsłowa kluczowego.

typeidjest operatorem języka C ++, który zwraca informacje identyfikujące typ w czasie wykonywania. W zasadzie zwraca type_infoobiekt, który jest porównywalny pod względem równości z innymi type_infoobiektami.

Zauważ, że jedyną zdefiniowaną właściwością zwracanego type_infoobiektu jest to, że jest on porównywalny z równością i nierównością, tj. type_infoObiekty opisujące różne typy powinny porównywać różne typy, a type_infoobiekty opisujące ten sam typ muszą porównywać równe. Wszystko inne jest zdefiniowane w ramach implementacji. Metody, które zwracają różne „nazwy” nie gwarantują zwrócenia niczego czytelnego dla człowieka, a nawet nie gwarantują, że w ogóle zwrócą cokolwiek.

Zauważ również, że powyższe prawdopodobnie implikuje (chociaż norma nie wydaje się o tym wyraźnie mówić), że kolejne aplikacje typeidtego samego typu mogą zwracać różne type_infoobiekty (które oczywiście nadal muszą porównywać równe).

Podstawowa różnica między nimi jest następująca

• typeof jest konstrukcją czasu kompilacji i zwraca typ zdefiniowany w czasie kompilacji
• typeid to konstrukcja środowiska uruchomieniowego, która zawiera informacje o typie wartości w czasie wykonywania.

odniesienie do typu: http://www.delorie.com/gnu/docs/gcc/gcc_36.html

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

typeidmoże działać w czasie wykonywania i zwracać obiekt opisujący typ obiektu w czasie wykonywania, który musi być wskaźnikiem do obiektu klasy z metodami wirtualnymi, aby RTTI (informacje o typie czasu wykonywania) mogły być przechowywane w klasie. Może również podać typ czasu kompilacji wyrażenia lub nazwę typu, jeśli nie zostanie podany wskaźnik do klasy z informacją o typie czasu wykonywania.

typeofjest rozszerzeniem GNU i podaje typ dowolnego wyrażenia w czasie kompilacji. Może to być przydatne na przykład przy deklarowaniu zmiennych tymczasowych w makrach, które mogą być używane w wielu typach. W C ++ zamiast tego używałbyś szablonów .

Odpowiadając na dodatkowe pytanie:

mój następujący kod testowy dla typeid nie wyświetla poprawnej nazwy typu. Co jest nie tak?

Nie ma nic złego. To, co widzisz, jest ciągiem reprezentującym nazwę typu. Standardowy C ++ nie wymusza na kompilatorach emisji dokładnej nazwy klasy, tylko implementator (dostawca kompilatora) decyduje, co jest odpowiednie. Krótko mówiąc, nazwy zależą od kompilatora.

To są dwa różne narzędzia. typeofzwraca typ wyrażenia, ale nie jest to standardowe. W C ++ 0x jest coś, co nazywa decltypesię AFAIK.

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

Natomiast typeidjest używany z typami polimorficznymi. Na przykład, powiedzmy, że catwyprowadza 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 zapewnia typ danych w czasie wykonywania, gdy zostaniesz o to poproszony. Typedef to konstrukcja czasu kompilacji, która definiuje nowy typ, jak podano później. Nie ma typeof w C ++ Wyjście pojawia się jako (pokazane jako wpisane komentarze):

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

Możesz użyć demangle Boost, aby uzyskać ładnie wyglądającą nazwę:

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

i coś takiego

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