RTTI详解

文章目录

• 一、RTTI介绍
• 二、dynamic_cast运算符
• 三、typeid运算符
• 四、type_info类
• 总结

---

一、RTTI介绍

RTTI就是Run  Time  Identification,翻译过来就是运行时类型识别。它提供了一种编译器在运行时通过类型信息使用基类的指针或者引用来检查其所指向对象的实际派生类型的方法。我们已经知道，一个基类指针可以指向基类对象和个个子类对象，那我们如何直到其实际指向的对象的类型呢，RTTI就给我们提供了这种功能。RTTI主要通过dynamic_cast运算符和typeid运算符来实现这个功能的。要想使用dynamic_cast运算符和typeid运算符，那么基类中必须包含至少一个虚函数，因为只有虚函数才会引起动态类型推断的问题，在编译时才会出现无法确定对象实际类型的问题，才有RTTI的使用需求。

二、dynamic_cast运算符

dynamic_cast运算符能够安全的将基类指针或者引用转换为派生类的指针或者引用。我们知道，如果我们要基类指针或引用调用派生类成员函数可以将其定义为虚函数。但是，我们不能将其作为一种常规手段，毕竟我们不可能将全部的派生类成员函数都声明为虚函数。这时，我们可以用dynamic_cast把基类指针安全的转换为派生类指针，这样就可以调用派生类的对象了。与此同时，我们也要明确知道这种转换是可行的、合理的，因为系统也会进行安全检查，如果发现要转换的类型与实际指向的类型不相符，就不能转换成功。假如我们有一个Human基类和其的两个Men和Woman派生类：

//dynamic使用格式：dynamic_cast<目标类型>(转换对象)
Human *phuman=new Men();
Human *phuman2=dynamic_cast<Human *>(phuman);//这种也是可以的
Men *pmen=dynamic_cast<Men *>(phuman);//可以，因为phuman指向的就是一个Men对象
Woman *pwoman=dynamic_cast<Woman *>(phuman);//不可以，因为phuman指向的并不是Woman对象
delete phuman;//不要忘了delete我们new的对象

 可见，如果dynamic_cast转换成功，那么就代表转换对象实际指向的对象类型确实是要转换的类型。如果dynamic_cast转换指针失败，就会返回nullptr（实际上是空指针）。因此我们在使用dynamic_cast的时候，一定要判断返回值是否为空，以防止出错。如果转换类型是引用，转换失败的话系统会抛出一个std::bad_cast的异常。一般用try{}catch(){}来捕捉异常。

try
{
Men mymen=dynamic_cast<Men &>(myhuman);
}
catch(std::bad_cast)//如果转换成功不进行以下操作
{
//如果捕捉到异常想进行的操作
}

三、typeid运算符

typeid运算符格式为：typeid（表达式）。这个运算符可以帮我们获取指针或者引用的实际类型。它的返回值为一个常量type_info类对象的引用（const type_info &）。因此我们在使用typeid的时候，必须把头文件<typeinfo>包含进来，大家不要试图创建type_info类对象，因为它的赋值构造函数和赋值运算符都是私有的。type_info中有一个name成员函数，我们就是通过它来显示指针或者引用的实际指向类型的。不同于dynamic_cast只对有虚函数的指针或引用使用，typeid可以用于多种数据类型，并调用name成员函数返回它们的名称。

Human *phuman=new Men();
cout<<typeid(*phuman).name()<<endl;//Men类型
cout<<typeid(3).name()<<endl;//int类型
delete phuman;

但与此同时，我们要注意，只有当基类有虚函数时，编译器才会对typeid()中的表达式求值。否则，否则typeid().name()返回的将是表达式的静态类型，也就是定义时的类型。

四、type_info类 

type_info类不仅可以用name显示类型名称，还可以用==，!=判断两个对象类类型是否相同。上面我们说过，“大家不要试图直接创建type_info类对象，因为它的赋值构造函数和赋值运算符都是私有的”。

type_info &a=typeid(double);
if(typeid(int)==typeid(int &))
{
cout<<"int型=int &型"<<endl;
}

我们唯一使用type_info类的方法就是使用typeid。由此可见，如果我们把typeid理解为函数的话，那么它可以看成type_info类的友元函数。

---

总结

相比较与Java，C++想要获得运行时类型信息，只能够通过RTTI。相比较typeid，dynamic_cast可以更好地解决问题，但也更加的消耗资源，这是因为dynamic_cast需要判断是否可以完成强制类型转换。我们在使用中，应权衡其中的影响。