'typeid' versus 'typeof' di C ++

Saya bertanya-tanya apa perbedaan antara typeiddan typeofdi C ++. Inilah yang saya tahu:

• typeiddisebutkan dalam dokumentasi untuk type_info yang didefinisikan di C ++ file header TypeInfo .

• typeofdidefinisikan dalam ekstensi GCC untuk C dan di pustaka C ++ Boost .

Juga, ini adalah tes kode tes yang saya buat di mana saya telah menemukan yang typeidtidak mengembalikan apa yang saya harapkan. Mengapa?

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

keluaran:

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

Bahasa C ++ tidak memiliki yang namanya typeof. Anda harus melihat beberapa ekstensi khusus-kompiler. Jika Anda berbicara tentang GCC typeof, maka fitur serupa ada di C ++ 11 melalui kata kunci decltype. Sekali lagi, C ++ tidak memiliki typeofkata kunci seperti itu .

typeidadalah operator bahasa C ++ yang mengembalikan informasi identifikasi jenis pada waktu berjalan. Ini pada dasarnya mengembalikan type_infoobjek, yang setara dengan type_infoobjek lain .

Perhatikan, bahwa satu-satunya properti yang didefinisikan dari type_infoobjek yang dikembalikan adalah yang setara dan setara, yaitu type_infoobjek yang menggambarkan tipe yang berbeda harus membandingkan yang tidak sama, sedangkan type_infoobjek yang menggambarkan tipe yang sama harus membandingkan yang sama. Segala sesuatu yang lain ditentukan oleh implementasi. Metode yang mengembalikan berbagai "nama" tidak dijamin untuk mengembalikan apa pun yang dapat dibaca oleh manusia, dan bahkan tidak dijamin untuk mengembalikan apa pun.

Perhatikan juga, bahwa hal di atas mungkin menyiratkan (meskipun standar tampaknya tidak menyebutkannya secara eksplisit) bahwa aplikasi berurutan typeiduntuk tipe yang sama dapat mengembalikan type_infoobjek yang berbeda (yang, tentu saja, masih harus membandingkan sama).

Perbedaan utama antara keduanya adalah sebagai berikut

• typeof adalah konstruk waktu kompilasi dan mengembalikan tipe seperti yang didefinisikan pada waktu kompilasi
• typeid adalah konstruk runtime dan karenanya memberikan informasi tentang tipe runtime nilai.

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

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

typeiddapat beroperasi pada saat runtime, dan mengembalikan sebuah objek yang menggambarkan tipe run time dari objek, yang harus menjadi pointer ke objek kelas dengan metode virtual agar RTTI (informasi tipe run-time) disimpan di kelas. Itu juga dapat memberikan tipe waktu kompilasi dari ekspresi atau nama tipe, jika tidak diberi pointer ke kelas dengan informasi tipe run-time.

typeofadalah ekstensi GNU, dan memberi Anda jenis ekspresi apa pun pada waktu kompilasi. Ini bisa berguna, misalnya, dalam mendeklarasikan variabel sementara dalam makro yang dapat digunakan pada banyak jenis. Di C ++, Anda biasanya menggunakan templat .

Menjawab pertanyaan tambahan:

kode tes saya berikut untuk typeid tidak menampilkan nama tipe yang benar. apa yang salah?

Tidak ada yang salah. Apa yang Anda lihat adalah representasi string dari nama tipe. C ++ standar tidak memaksa kompiler untuk memancarkan nama kelas yang tepat, hanya terserah pelaksana (vendor kompiler) untuk memutuskan apa yang cocok. Singkatnya, nama-nama terserah kompiler.

Ini adalah dua alat yang berbeda. typeofmengembalikan tipe ekspresi, tetapi tidak standar. Di C ++ 0x ada sesuatu yang disebut decltypeAFAIK yang melakukan pekerjaan yang sama.

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

Padahal typeiddigunakan dengan tipe polimorfik. Misalnya, katakanlah yang catberasal 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 menyediakan tipe data pada saat runtime, ketika diminta. Typedef adalah konstruk waktu kompilasi yang mendefinisikan tipe baru seperti yang dinyatakan setelah itu. Tidak ada typeof di C ++ Output muncul sebagai (ditampilkan sebagai komentar tertulis):

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

Anda dapat menggunakan Boost demangle untuk mendapatkan nama yang terlihat bagus:

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

dan sesuatu seperti

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