typeid详解

╰半橙微兮° 2022-08-04 11:49 177阅读 0赞

在揭开typeid神秘面纱之前，我们先来了解一下 **RTTI**（Run-Time Type Identification，运行时类型识别），它使程序能够获取由基指针或引用所指向的对象的实际派生类型，即允许“用指向基类的指针或引用来操作对象”的程序能够获取到“这些指针或引用所指对象”的实际派生类型。在C++中，为了支持RTTI提供了两个操作符：dynamic\_cast和typeid。  
    dynamic\_cast允许运行时刻进行类型转换，从而使程序能够在一个类层次结构中安全地转化类型，与之相对应的还有一个非安全的转换操作符static\_cast，因为这不是本文的讨论重点，所以这里不再详述，感兴趣的可以自行查阅资料。下面就开始今天我们的话题：typeid。  
     
    **typeid**是C++的关键字之一，等同于sizeof这类的操作符。typeid操作符的返回结果是名为 **type\_info**的标准库类型的对象的引用（在头文件typeinfo中定义，稍后我们看一下vs和gcc库里面的源码），它的表达式有下图两种形式。  
     
    ![typeid.jpg][]  
    如果表达式的类型是类类型且至少包含有一个虚函数，则typeid操作符返回表达式的动态类型，需要在运行时计算；否则，typeid操作符返回表达式的静态类型，在编译时就可以计算。  
    ISO C++标准并没有确切定义type\_info，它的确切定义编译器相关的，但是标准却规定了其实现必需提供如下四种操作（在之后的章节中我会来分析type\_info类文件的源码）：

<table style="width:644px; height:98px"> 
 <tbody> 
  <tr> 
   <td>&nbsp;t1 == t2</td> 
   <td>&nbsp;如果两个对象t1和t2类型相同，则返回true；否则返回false</td> 
  </tr> 
  <tr> 
   <td>&nbsp;t1 != t2</td> 
   <td>&nbsp;如果两个对象t1和t2类型不同，则返回true；否则返回false</td> 
  </tr> 
  <tr> 
   <td>&nbsp;t.name()</td> 
   <td>&nbsp;返回类型的C-style字符串，类型名字用系统相关的方法产生</td> 
  </tr> 
  <tr> 
   <td>&nbsp;t1.before(t2)</td> 
   <td>&nbsp;返回指出t1是否出现在t2之前的bool值</td> 
  </tr> 
 </tbody> 
</table>

type\_info类提供了public虚析构函数，以使用户能够用其作为基类。它的默认构造函数和拷贝构造函数及赋值操作符都定义为private，所以不能定义或复制type\_info类型的对象。程序中创建type\_info对象的唯一方法是使用typeid操作符（由此可见，如果把typeid看作函数的话，其应该是type\_info的友元）。type\_info的name成员函数返回C-style的字符串，用来表示相应的类型名，但务必注意这个返回的类型名与程序中使用的相应类型名并不一定一致（往往如此，见后面的程序），这 具体由编译器的实现所决定的，标准只要求实现为每个类型返回唯一的字符串。

上面的都是一些理论的东西，看不真切，下面将通过代码和图例来展示。

#include <iostream>
    using namespace std;
    
    class Base {};
    class Derived: public Base {};
    
    int main()
    {
        Base b, *pb;
        pb = NULL;
        Derived d;
    
        cout << typeid(int).name() << endl
             << typeid(unsigned).name() << endl
             << typeid(long).name() << endl
             << typeid(unsigned long).name() << endl
             << typeid(char).name() << endl
             << typeid(unsigned char).name() << endl
             << typeid(float).name() << endl
             << typeid(double).name() << endl
             << typeid(string).name() << endl
             << typeid(Base).name() << endl
             << typeid(b).name()<<endl
             << typeid(pb).name()<<endl
             << typeid(Derived).name() << endl
             << typeid(d).name()<<endl
             << typeid(type_info).name() << endl;
             
        return 0;
    }

[typeid.jpg]: /images/20220731/b3e7e91ce5af4594891825e371bcfc2f.png