RTTI运行时类型识别

最新推荐文章于 2020-10-24 11:58:51 发布

Unique-You

最新推荐文章于 2020-10-24 11:58:51 发布

阅读量231

点赞数

分类专栏： c++ 文章标签： RTTI 运行时类型识别 type_info dynamic_cast typeid

c++ 专栏收录该内容

51 篇文章 6 订阅

订阅专栏

type_info

为每一个类型增加一个type_info对象。

为了能够在运行时获得对象的类型信息type_info，C++增加了两个运算符：typeid 和 dynamic_cast<>。type_info 常用的三个成员函数是 operator==()、operator!=() 和 name(),请参考标准头文件<typeinfo>.

typeid 运算符

它以一个对象或者类型名作为参数，返回一个匹配的const type_info对象，它表明该对象的确切类型.

 
         void  
         DeviceControllor::ControlThem(HomeElectricDevice& device) 
        
         { 
        
         Command cmd = GetCommand(); 
        
         switch 
         (cmd) 
        
         { 
        
         case  
         PLAY_CD: 
        
         if 
         ( 
         typeid 
         (device) ==  
         typeid 
         (Television)) 
        
         { 
        
         Television* pTmp =  
         static_cast 
         <Television*>(&device); 
        
         pTmp->PlayVCD(); 
        
         }    
        
         }    
        
         }

上面代码中：

typeid(device)返回一个type_info对象的引用-该对象持有与device对象相关的必要的运行时信息。

typeid(Television)则返回与类Television相关的类型信息。

当typeid()作用于一个类名而不是一个对象的时候，它总是返回一个对应于该类名的type_info对象。

dynamic_cast<>运算符　　

typeid()不具备可扩展性，因为它返回一个对象的确切类型而不是基类型。一个派生类对象在语义上也应该是其基类型的对象(如果是public继承)，然而typeid()不具备这种判断能力。

dynamic_cast<>能够自动识别对象与类型间is-a的关系。

dynamic_cast<dest_type>(src)

dest_type就是转换的目标类型，而src则是被转换的对象。其行为可以这样描述：如果运行时src和dest_type确实存在is-a关系，则转换可进行；否则转换失败。

dynamic_cast<>可以用来转换指针和引用，但是不能转换对象。

当目标类型是某种类型的指针(包括void*)时，如果转换成功则返回目标类型的指针，否则返回NULL；
当目标类型为某种类型的引用时，如果成功则返回目标类型的引用，否则抛出std::bad_cast异常，因为不存在NULL引用。

2. dynamic_cast<>如何能够知道一个基类型指针指向的对象是不是一个派生类对象呢？显然，它一定是通过该对象的vptr检查位于其类型的vtable第一个slot的type_info对象而得知的(见下图)，或者不同的编译器对RTTI有不同的实现手段。因此dynamic_cast<>只能用于多态类型对象(拥有虚函数或虚拟继承)，否则将导致编译器错误。