(給CPP開發者加星標，提升C/C++技能)
https://blog.csdn.net/gatieme/article/details/50947821【導讀】：本文主要介紹C++如何實現運行時期的類型判斷，並且較為深入的討論了具體源碼的實現，感興趣的同學一起和小編學習吧。以下是正文
typeid關鍵字注意：typeid是操作符，不是函數。這點與sizeof類似）。
運行時獲知變量類型名稱，可以使用。
需要注意不是所有編譯器都輸出」int」、」float」等之類的名稱，對於這類的編譯器可以這樣使用。
int ia = 3;if(typeid(ia) == typeid(int)){ cout <<"int" <<endl;}RTTI（Run-Time Type Identification)-運行時類型識別在揭開typeid神秘面紗之前，我們先來了解一下RTTI（Run-Time Type Identification，運行時類型識別），它使程序能夠獲取由基指針或引用所指向的對象的實際派生類型，即允許「用指向基類的指針或引用來操作對象」的程序能夠獲取到「這些指針或引用所指對象」的實際派生類型。
在C++中，為了支持RTTI提供了兩個操作符：dynamic_cast和typeid。
dynamic_cast允許運行時刻進行類型轉換，從而使程序能夠在一個類層次結構中安全地轉化類型，與之相對應的還有一個非安全的轉換操作符static_cast，因為這不是本文的討論重點，所以這裡不再詳述，感興趣的可以自行查閱資料。
typeid是C++的關鍵字之一，等同於sizeof這類的操作符。typeid操作符的返回結果是名為type_info的標準庫類型的對象的引用（在頭文件typeinfo中定義，稍後我們看一下vs和gcc庫裡面的源碼），它的表達式有下圖兩種形式。
實現機制與使用技巧type_info類對象類別判別對象類別判別分析如果表達式的類型是類類型且至少包含有一個虛函數，則typeid操作符返回表達式的動態類型，需要在運行時計算；
否則，typeid操作符返回表達式的靜態類型，在編譯時就可以計算。
ISO C++標準並沒有確切定義type_info，它的確切定義編譯器相關的，但是標準卻規定了其實現必需提供如下四種操作（在之後的章節中我會來分析type_info類文件的源碼）。
運算描述t1 == t2如果兩個對象t1和t2類型相同，則返回true；否則返回falset1 != t2如果兩個對象t1和t2類型不同，則返回true；否則返回falset.name()返回類型的C-style字符串，類型名字用系統相關的方法產生1t1.before(t2)返回指出t1是否出現在t2之前的bool值type_info類提供了public虛 析構函數，以使用戶能夠用其作為基類。它的默認構造函數和拷貝構造函數及賦值操作符都定義為private，所以不能定義或複製type_info類型的對象。程序中創建type_info對象的唯一方法是使用typeid操作符（由此可見，如果把typeid看作函數的話，其應該是type_info的 友元）。
type_info的name成員函數返回C-style的字符串，用來表示相應的類型名，但務必注意這個返回的類型名與程序中使用的相應類型名並不一定一致（往往如此，見後面的程序），這具體由編譯器的實現所決定的，標準只要求實現為每個類型返回唯一的字符串。
type_info類原始碼使用sudo find / -name typeinfo.h來查找源碼。
#ifndef _TYPEINFO#define _TYPEINFO
#include <exception>
namespace std {
class type_info { public:
virtual ~type_info(); { return __name[0] == '*' ? __name + 1 : __name; }
bool before(const type_info& __arg) const { return __name < __arg.__name; }
bool operator==(const type_info& __arg) const { return __name == __arg.__name; }
bool operator!=(const type_info& __arg) const { return !operator==(__arg); }
virtual bool __is_pointer_p() const;
virtual bool __is_function_p() const;
protected: const char *__name;
explicit type_info(const char *__n): __name(__n) { }
private: type_info& operator=(const type_info&); type_info(const type_info&); };
} #endif示例1-基本數據類型下表列出了使用typeid操作符的表達式的值。
int a;double b;char * c;long d;運算描述typeid(a) == typeid(int)truetypeid(a) == typeid(float)falsetypeid(a) == typeid(int *)falsetypeid(b) == typeid(double)truetypeid(b) == typeid(float)falsetypeid(b) == typeid(long double)falsetypeid(c) == typeid(char *)truetypeid(c) == typeid(char)falsetypeid(c) == typeid(string)falsetypeid(d) == typeid(long)truetypeid(d) == typeid(int)false操作符typeid返回的是一個type_info類（用於描述數據類型的一個系統類）對象的引用。這個操作符可以用於表達式和類型名（包括自定的數據類型，比如類）。
示例2-類對象class base{public : void m(){cout<<"base"<<endl;}};class derived : public base{public: void m(){cout<<"derived"<<endl;}};假設我們根據例2中定義的兩個類來定義如下指針：
下表將給出使用typeid操作符的結果。
運算描述typeid(p) == typeid(base*)truetypeid(p) == typeid(derived*)falsetypeid(*p) == typeid(base)truetypeid(*p) == typeid(derived)false對於表達式typeid(p)，同樣，因為p是base*類型的指針，因此typeid(p) == typeid(base*)為真，而typeid(p) == typeid(derived*)為假。而對於表達式typeid(*p)，由於此時的基類不具有多態性，因而*p將會採用編譯期類型來計算，編譯期*p是base對象，因此表達式typeid(*p) == typeid(derived)為假，typeid(*p) == typeid(base)為真。
示例3-帶虛函數的基類class base{public : virtual void m(){cout<<"base"<<endl;}};class derived : public base{public: void m(){cout<<"derived"<<endl;}};假設我們如本例所示定義了兩個類base類和derived類，基於這兩個類定義，我們定義指針如下：
下表將給出使用typeid操作符的結果。
運算描述typeid(p) == typeid(base*)truetypeid(p) == typeid(derived*)falsetypeid(*p) == typeid(base)falsetypeid(*p) == typeid(derived)true對於表達式typeid(p)，因為p是base*類型的指針，因此typeid(p) == typeid(base*)為真，而typeid(p) == typeid(derived*)為假。而對於表達式typeid(*p)，因為base類具有多態性，因而在計算typeid(*p)時會根據運行時p所指向的實際類型去計算，而本例中p指向的是派生類對象，因此表達式typeid(*p) == typeid(derived)為真，typeid(*p) == typeid(base)為假。
異常處理bad_typeid class bad_typeid : public exception { public: bad_typeid () throw() { }
virtual ~bad_typeid() throw();
virtual const char* what() const throw(); };} 參照
【C++】typeinfo.h
C++中的typeid關鍵字
- EOF -
關於 C++ typeid關鍵字，歡迎在評論中和我探討。覺得文章不錯，請點讚和在看支持我繼續分享好文。謝謝！
關注『CPP開發者』
看精選C++技術文章 . 加C++開發者專屬圈子
↓↓↓
點讚和在看就是最大的支持❤️