'typeid' กับ 'typeof' ใน C ++

ฉันสงสัยว่าอะไรคือความแตกต่างระหว่างtypeidและtypeofใน C ++ นี่คือสิ่งที่ฉันรู้:

• typeidถูกกล่าวถึงในเอกสารสำหรับ type_infoซึ่งถูกกำหนดไว้ใน C ++ ไฟล์ส่วนหัวtypeinfo

• typeofถูกกำหนดในส่วนขยาย GCC สำหรับ C และในไลบรารีC ++ Boost

นอกจากนี้ที่นี่คือการทดสอบการทดสอบรหัสที่ฉันได้สร้างที่ฉันได้ค้นพบ typeidแล้วว่าไม่ได้คืนสิ่งที่ฉันคาดไว้ ทำไม?

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

เอาท์พุท:

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

ภาษา C ++ ไม่มีสิ่งเช่นtypeofนี้ คุณต้องดูที่ส่วนขยายเฉพาะคอมไพเลอร์ หากคุณกำลังพูดคุยเกี่ยวกับของ GCC typeofแล้วคุณลักษณะที่คล้ายกันในปัจจุบันคือ C ++ 11 decltypeถึงคำหลัก อีกครั้ง C ++ ไม่มีtypeofคำหลักดังกล่าว

typeidเป็นตัวดำเนินการภาษา C ++ ซึ่งส่งคืนข้อมูลการระบุชนิดในขณะดำเนินการ โดยพื้นฐานแล้วมันจะส่งคืนtype_infoวัตถุซึ่งเทียบเคียงได้กับวัตถุอื่นtype_infoวัตถุ

โปรดทราบว่าคุณสมบัติที่กำหนดไว้เฉพาะของtype_infoวัตถุที่ส่งคืนคือความเท่าเทียมกัน - และไม่เท่าเทียมกัน - เช่นtype_infoวัตถุที่อธิบายประเภทต่าง ๆ จะเปรียบเทียบไม่เท่ากัน - ในขณะที่type_infoวัตถุที่อธิบายประเภทเดียวกันจะต้องเปรียบเทียบเท่ากัน ทุกสิ่งทุกอย่างคือการดำเนินการที่กำหนดไว้ วิธีการที่ส่งคืน "ชื่อ" ต่าง ๆ ไม่รับประกันว่าจะส่งคืนสิ่งที่มนุษย์อ่านได้และไม่รับประกันว่าจะส่งคืนสิ่งใดเลย

โปรดทราบด้วยว่าข้างต้นอาจหมายถึง (แม้ว่ามาตรฐานไม่ได้พูดถึงอย่างชัดเจน) ว่าการใช้งานต่อเนื่องของtypeidประเภทเดียวกันอาจส่งคืนtype_infoวัตถุที่แตกต่างกัน(ซึ่งแน่นอนว่ายังต้องเปรียบเทียบเท่ากัน)

ความแตกต่างหลักระหว่างสองคือต่อไปนี้

• typeof คือการสร้างเวลารวบรวมและส่งกลับชนิดตามที่กำหนดในเวลารวบรวม
• typeid เป็นตัวสร้างรันไทม์ดังนั้นจึงให้ข้อมูลเกี่ยวกับประเภทรันไทม์ของค่า

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

การอ้างอิงประเภท: https://en.wikipedia.org/wiki/Typeid

typeidสามารถทำงานได้ที่ runtime และคืนค่าวัตถุที่อธิบายชนิดเวลาทำงานของวัตถุซึ่งจะต้องเป็นตัวชี้ไปยังวัตถุของคลาสที่มีวิธีการเสมือนเพื่อให้RTTI (ข้อมูลชนิดรันไทม์)ถูกเก็บไว้ในคลาส นอกจากนี้ยังสามารถให้ประเภทเวลารวบรวมของการแสดงออกหรือชื่อประเภทถ้าไม่ได้รับตัวชี้ไปยังชั้นเรียนที่มีข้อมูลประเภทเวลาทำงาน

typeofเป็นส่วนขยายของ GNU และให้ประเภทของการแสดงออกใด ๆ ในเวลารวบรวม สิ่งนี้มีประโยชน์เช่นในการประกาศตัวแปรชั่วคราวในมาโครที่อาจใช้กับหลายประเภท ใน C ++ คุณมักจะใช้เทมเพลตแทน

ตอบคำถามเพิ่มเติม:

รหัสทดสอบต่อไปนี้สำหรับ typeid ของฉันไม่ได้พิมพ์ชื่อประเภทที่ถูกต้อง เกิดอะไรขึ้น

ไม่มีอะไรผิดปกติ สิ่งที่คุณเห็นคือการเป็นตัวแทนสตริงของชื่อประเภท C ++ มาตรฐานไม่ได้บังคับให้คอมไพเลอร์เปล่งชื่อที่แน่นอนของคลาส แต่มันก็ขึ้นอยู่กับผู้พัฒนา (ผู้ขายคอมไพเลอร์) เพื่อตัดสินใจว่าอะไรที่เหมาะสม ในระยะสั้นชื่อขึ้นอยู่กับคอมไพเลอร์

นี่เป็นเครื่องมือสองแบบที่แตกต่างกัน typeofส่งคืนชนิดของนิพจน์ แต่ไม่ใช่มาตรฐาน ใน C ++ 0x มีบางสิ่งที่เรียกว่าdecltypeซึ่งทำงาน AFAIK เดียวกัน

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

แต่ทว่า typeidใช้กับประเภท polymorphic ตัวอย่างเช่นสมมติว่าcatเกิดขึ้น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 ให้ประเภทของข้อมูลที่รันไทม์เมื่อถูกถาม Typedef เป็นโครงสร้างเวลารวบรวมที่กำหนดประเภทใหม่ตามที่ระบุไว้หลังจากนั้น ไม่มี typeof ในการแสดงผล C ++ ปรากฏเป็น (แสดงเป็นความคิดเห็นที่ถูกจารึกไว้):

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

คุณสามารถใช้ Boost demangle เพื่อให้ได้ชื่อที่ดูดี:

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

และสิ่งที่ชอบ

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