运行时类型识别由两个运算符实现
(1)typeid运算符,用于返回表达式的类型。
(2)dynamic_cast运算符,用于将基类的指针或引用安全地转换成派生类的指针或引用。
这两个操作的适用情况:我们想适用基类对象的指针或引用执行某个派生类操作并且该操作不是虚函数。
一:dynamic_cast运算符
dynamic_cast运算符的使用情况如下
dynamic_cast<type*> (e) //e必须是一个有效的指针
dynamic_cast<type&> (e) //e必须是一个左值
dynamic_cast<type&&> (e) //e不能是左值
其中type必须是一个类类型,并且通常情况下该类型应该含有虚函数。
e的类型必须是下面三种中的一种:
(1)e的类型是目标type的公有派生类
(2)e的类型是目标type类的公有基类
(3)e的类型就是目标type类。
如果符合,则转换成功,否则,转换失败。且:
如果一条dynamic_cast语句的转换目标是指针类型并且失败了,则结果为0
如果转换目标是引用类型并且失败了,这抛出一个bad_alloc异常。
在条件部分执行dynamic_cast操作可以确保类型转换和结果检查在用一个表达式中完成。
if(Derived *dp = dynamic_cast<Derived*> (bp)) //其中Derived是Base的公有派生类,bp是Base的指针。
我们可以对一个空指针执行dynamic_cast,结果是所需要类型的空指针。
二:typeid运算符
typeid运算符用来判别变量是什么类型。
表达式是typeid(e),其中e可以是任意表达式或类型的名字。typeid操作的结果是一个常量对象的引用。
typeid可以作用于任何类型的表达式。其中顶层const也会被忽略。如果表达式是一个引用,则typeid返回该引用所引对象的类型。不过当typeid作用于数组或函数时,并不会执行想指针的标准类型转换。
当typeid作用域 指针时(而非指针所指的对象),返回的结果是该指针的静态编译类型。