typeid關(guān)鍵字

注意：typeid是操作符，不是函數(shù)。這點(diǎn)與sizeof類似）

運(yùn)行時獲知變量類型名稱，可以使用 typeid(變量).name()

需要注意不是所有編譯器都輸出”int”、”float”等之類的名稱，對于這類的編譯器可以這樣使用

 int ia = 3;
 if(typeid(ia) == typeid(int))
 {
   cout <<"int" <<endl;
 }

RTTI（Run-Time Type Identification)-運(yùn)行時類型識別

在揭開typeid神秘面紗之前，我們先來了解一下RTTI（Run-Time Type Identification，運(yùn)行時類型識別），它使程序能夠獲取由基指針或引用所指向的對象的實(shí)際派生類型，即允許“用指向基類的指針或引用來操作對象”的程序能夠獲取到“這些指針或引用所指對象”的實(shí)際派生類型。

在C++中，為了支持RTTI提供了兩個操作符：dynamic_cast和typeid

• dynamic_cast允許運(yùn)行時刻進(jìn)行類型轉(zhuǎn)換，從而使程序能夠在一個類層次結(jié)構(gòu)中安全地轉(zhuǎn)化類型，與之相對應(yīng)的還有一個非安全的轉(zhuǎn)換操作符static_cast，因?yàn)檫@不是本文的討論重點(diǎn)，所以這里不再詳述，感興趣的可以自行查閱資料。
• typeid是C++的關(guān)鍵字之一，等同于sizeof這類的操作符。typeid操作符的返回結(jié)果是名為type_info的標(biāo)準(zhǔn)庫類型的對象的引用（在頭文件typeinfo中定義，稍后我們看一下vs和gcc庫里面的源碼），它的表達(dá)式有下圖兩種形式。

實(shí)現(xiàn)機(jī)制與使用技巧

type_info類對象類別判別

對象類別判別分析

如果表達(dá)式的類型是類類型且至少包含有一個虛函數(shù)，則typeid操作符返回表達(dá)式的動態(tài)類型，需要在運(yùn)行時計(jì)算；
否則，typeid操作符返回表達(dá)式的靜態(tài)類型，在編譯時就可以計(jì)算。

ISO C++標(biāo)準(zhǔn)并沒有確切定義type_info，它的確切定義編譯器相關(guān)的，但是標(biāo)準(zhǔn)卻規(guī)定了其實(shí)現(xiàn)必需提供如下四種操作（在之后的章節(jié)中我會來分析type_info類文件的源碼）

type_info類提供了public虛 析構(gòu)函數(shù)，以使用戶能夠用其作為基類。它的默認(rèn)構(gòu)造函數(shù)和拷貝構(gòu)造函數(shù)及賦值操作符都定義為private，所以不能定義或復(fù)制type_info類型的對象。程序中創(chuàng)建type_info對象的唯一方法是使用typeid操作符（由此可見，如果把typeid看作函數(shù)的話，其應(yīng)該是type_info的 友元）。type_info的name成員函數(shù)返回C-style的字符串，用來表示相應(yīng)的類型名，但務(wù)必注意這個返回的類型名與程序中使用的相應(yīng)類型名并不一定一致（往往如此，見后面的程序），這具體由編譯器的實(shí)現(xiàn)所決定的，標(biāo)準(zhǔn)只要求實(shí)現(xiàn)為每個類型返回唯一的字符串。

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

} // extern "C++"
#endif

示例1-基本數(shù)據(jù)類型

下表列出了使用typeid操作符的表達(dá)式的值

 int a;
 double b;
 char * c;
 long d;

操作符typeid返回的是一個type_info類（用于描述數(shù)據(jù)類型的一個系統(tǒng)類）對象的引用。這個操作符可以用于表達(dá)式和類型名（包括自定的數(shù)據(jù)類型，比如類）。

示例2-類對象

class base
{
public :
  void m(){cout<<"base"<<endl;}
};
class derived : public base
{
public:
  void m(){cout<<"derived"<<endl;}
};

假設(shè)我們根據(jù)例2中定義的兩個類來定義如下指針：

base * p = new derived;

下表將給出使用typeid操作符的結(jié)果。

對于表達(dá)式typeid(p)，同樣，因?yàn)閜是base*類型的指針，因此typeid(p) == typeid(base*)為真，而typeid(p) == typeid(derived*)為假。而對于表達(dá)式typeid(*p)，由于此時的基類不具有多態(tài)性，因而*p將會采用編譯期類型來計(jì)算，編譯期*p是base對象，因此表達(dá)式typeid(*p) == typeid(derived)為假，typeid(*p) == typeid(base)為真。

示例3-帶虛函數(shù)的基類

class base
{
public :
  virtual void m(){cout<<"base"<<endl;}
};
class derived : public base
{
public:
  void m(){cout<<"derived"<<endl;}
};

假設(shè)我們?nèi)绫纠径x了兩個類base類和derived類，基于這兩個類定義，我們定義指針如下：

base * p = new derived;

下表將給出使用typeid操作符的結(jié)果。

對于表達(dá)式typeid(p)，因?yàn)閜是base*類型的指針，因此typeid(p) == typeid(base*)為真，而typeid(p) == typeid(derived*)為假。而對于表達(dá)式typeid(*p)，因?yàn)閎ase類具有多態(tài)性，因而在計(jì)算typeid(*p)時會根據(jù)運(yùn)行時p所指向的實(shí)際類型去計(jì)算，而本例中p指向的是派生類對象，因此表達(dá)式typeid(*p) == typeid(derived)為真，typeid(*p) == typeid(base)為假。

異常處理bad_typeid

class bad_typeid : public exception
 {
 public:
  bad_typeid () throw() { }

  // This declaration is not useless:
  // http://gcc.gnu.org/onlinedocs/gcc-3.0.2/gcc_6.html#SEC118
  virtual ~bad_typeid() throw();

  // See comment in eh_exception.cc.
  virtual const char* what() const throw();
 };
} // namespace std

以上就是c++ typeid關(guān)鍵字的使用的詳細(xì)內(nèi)容，更多關(guān)于c++ typeid關(guān)鍵字的資料請關(guān)注腳本之家其它相關(guān)文章！

最新評論