运行时类型识别的功能由两个运算符实现
- dynamic_cast,用于将基类的指针或引用安全地转化为派生类的指针或引用
- typeid,用于返回表达式的类型
当我们将这两个运算符用于某种类型的指针或引用,并且该类型含有虚函数时,运算符将使用指针或引用绑定的动态类型
特别适用于:当我们想通过基类的指针或引用来调用派生类的操作,并且该操作不是虚函数时
Note:使用RTTI的比定义虚函数蕴含着更多风险,我们必须清楚的知道转换的目标类型,并且必须检查该转换是否成功
dynamic_cast运算符
dynamic_cast的使用形式:
dynamic_cast<type*>(e) e必须是一个有效的指针
dynamic_cast<type&>(e) e必须是一个左值
dynamic_cast<type&&>(e) e不能是一个左值
type必须是一个类类型,且通常含有虚函数,e必须满足一下条件中的任意一个
- e是type的公有派生类
- e是type的公有基类
- e的类型就是type的类型
typeid运算符
typeid(e) 返回一个常量对象的引用,该对象类型是type_info的公有派生类型
Derived* q=new Derived
Base* p=q
if(typied(*q)==typied(*p))
...//我们在if中检查两个对象的动态类型是否相同,比较的是两个对象所以要解引用