C++ 获取类型信息
typeid 運算符用來獲取一個表達式的類型信息。類型信息對于編程語言非常重要，它描述了數(shù)據(jù)的各種屬性：
對于基本類型（int、float 等C++內(nèi)置類型）的數(shù)據(jù)，類型信息所包含的內(nèi)容比較簡單，主要是指數(shù)據(jù)的類型。對于類類型的數(shù)據(jù)（也就是對象），類型信息是指對象所屬的類、所包含的成員、所在的繼承關(guān)系等。類型信息是創(chuàng)建數(shù)據(jù)的模板，數(shù)據(jù)占用多大內(nèi)存、能進行什么樣的操作、該如何操作等，這些都由它的類型信息決定。
typeid 的操作對象既可以是表達式，也可以是數(shù)據(jù)類型，下面是它的兩種使用方法：
typeid( dataType ) typeid( expression )dataType 是數(shù)據(jù)類型，expression 是表達式，這和 sizeof 運算符非常類似，只不過 sizeof 有時候可以省略括號( )，而 typeid 必須帶上括號。
typeid 會把獲取到的類型信息保存到一個 type_info 類型的對象里面，并返回該對象的常引用；當(dāng)需要具體的類型信息時，可以通過成員函數(shù)來提取。typeid 的使用非常靈活，請看下面的例子：
#include <iostream> #include <typeinfo> using namespace std;class Base{ };struct STU{ };int main(){//獲取一個普通變量的類型信息int n = 100;const type_info &nInfo = typeid(n);cout<<nInfo.name()<<" | "<<nInfo.raw_name()<<" | "<<nInfo.hash_code()<<endl;//獲取一個字面量的類型信息const type_info &dInfo = typeid(25.65);cout<<dInfo.name()<<" | "<<dInfo.raw_name()<<" | "<<dInfo.hash_code()<<endl;//獲取一個對象的類型信息Base obj;const type_info &objInfo = typeid(obj);cout<<objInfo.name()<<" | "<<objInfo.raw_name()<<" | "<<objInfo.hash_code()<<endl;//獲取一個類的類型信息const type_info &baseInfo = typeid(Base);cout<<baseInfo.name()<<" | "<<baseInfo.raw_name()<<" | "<<baseInfo.hash_code()<<endl;//獲取一個結(jié)構(gòu)體的類型信息const type_info &stuInfo = typeid(struct STU);cout<<stuInfo.name()<<" | "<<stuInfo.raw_name()<<" | "<<stuInfo.hash_code()<<endl;//獲取一個普通類型的類型信息const type_info &charInfo = typeid(char);cout<<charInfo.name()<<" | "<<charInfo.raw_name()<<" | "<<charInfo.hash_code()<<endl;//獲取一個表達式的類型信息const type_info &expInfo = typeid(20 * 45 / 4.5);cout<<expInfo.name()<<" | "<<expInfo.raw_name()<<" | "<<expInfo.hash_code()<<endl;return 0; }運行結(jié)果：
int | .H | 529034928 double | .N | 667332678 class Base | .?AVBase@@ | 1035034353 class Base | .?AVBase@@ | 1035034353 struct STU | .?AUSTU@@ | 734635517 char | .D | 4140304029 double | .N | 667332678從本例可以看出，typeid 的使用非常靈活，它的操作數(shù)可以是普通變量、對象、內(nèi)置類型（int、float等）、自定義類型（結(jié)構(gòu)體和類），還可以是一個表達式。
type_info 類的成員函數(shù)的介紹：
name() 用來返回類型的名稱。raw_name() 用來返回名字編碼（Name Mangling）算法產(chǎn)生的新名稱。hash_code() 用來返回當(dāng)前類型對應(yīng)的 hash 值。hash 值是一個可以用來標志當(dāng)前類型的整數(shù)，有點類似學(xué)生的學(xué)號、公民的身份證號、銀行卡號等。不過 hash 值有賴于編譯器的實現(xiàn)，在不同的編譯器下可能會有不同的整數(shù)，但它們都能唯一地標識某個類型。C++ 標準規(guī)定，type_info 類至少要有如下所示的 4 個 public 屬性的成員函數(shù)，其他的擴展函數(shù)編譯器開發(fā)者可以自由發(fā)揮，不做限制。
1 原型：const char name() const;*
返回一個能表示類型名稱的字符串。但是C++標準并沒有規(guī)定這個字符串是什么形式的。
2 原型：bool before (const type_info& rhs) const;
判斷一個類型是否位于另一個類型的前面，rhs 參數(shù)是一個 type_info 對象的引用。但是C++標準并沒有規(guī)定類型的排列順序，不同的編譯器有不同的排列規(guī)則，程序員也可以自定義。要特別注意的是，這個排列順序和繼承順序沒有關(guān)系，基類并不一定位于派生類的前面。
3 原型：bool operator== (const type_info& rhs) const;
重載運算符“==”，判斷兩個類型是否相同，rhs 參數(shù)是一個 type_info 對象的引用。
4 原型：bool operator!= (const type_info& rhs) const;
重載運算符“!=”，判斷兩個類型是否不同，rhs 參數(shù)是一個 type_info 對象的引用。
判斷類型是否相等
typeid 運算符經(jīng)常被用來判斷兩個類型是否相等。
1 內(nèi)置類型的比較
例如有下面的定義：
類型判斷結(jié)果為：
typeid 返回 type_info 對象的引用，而表達式typeid(a) == typeid(b)的結(jié)果為 true，可以說明，一個類型不管使用了多少次，編譯器都只為它創(chuàng)建一個對象，所有 typeid 都返回這個對象的引用。
需要提醒的是，為了減小編譯后文件的體積，編譯器不會為所有的類型創(chuàng)建 type_info 對象，只會為使用了 typeid 運算符的類型創(chuàng)建。不過有一種特殊情況，就是帶虛函數(shù)的類（包括繼承來的），不管有沒有使用 typeid 運算符，編譯器都會為帶虛函數(shù)的類創(chuàng)建 type_info 對象。
2 類的比較
例如有下面的定義：
類型判斷結(jié)果為：
表達式typeid(p1) == typeid(Base)和typeid(p1) == typeid(Base)的結(jié)果為 true 可以說明：即使將派生類指針 p2 賦值給基類指針 p1，p1 的類型仍然為 Base*。
type_info 類的聲明
type_info 類位于typeinfo頭文件，聲明形式類似于：
class type_info { public:virtual ~type_info();int operator==(const type_info& rhs) const;int operator!=(const type_info& rhs) const;int before(const type_info& rhs) const;const char* name() const;const char* raw_name() const; private:void *_m_data;char _m_d_name[1];type_info(const type_info& rhs);type_info& operator=(const type_info& rhs); };它的構(gòu)造函數(shù)是 private 屬性的，所以不能在代碼中直接實例化，只能由編譯器在內(nèi)部實例化。而且還重載了“=”運算符，也是 private 屬性的，所以也不能賦值。
總結(jié)
以上是生活随笔為你收集整理的C++ 获取类型信息的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。
- 上一篇： Java @Override注解
- 下一篇： C++ 求一元二次方程的根