RTTI 是 Run Time Type Information 的缩写,从字面上来理解就是执行时期的类型信息,其重要作用就是动态判别执行时期的类型。
并不是说这篇文章是RTTI,和用于RTTI的四种类型转换,而是介绍RTTI,再介绍一下4种类型转换,因为RTTI有用到其中一种类型转换,所以相当于两篇文章写在一起。
实际上 RTTI 用到的是typeid()
和 dynamic_cast()
。
为什么会有RTTI?
C++是一种静态类型语言,其数据类型是在编译期就确定的,不能在运行时更改。然而由于面向对象程序设计中多态性的要求,C++中的指针或引用(Reference)本身的类型,可能与它实际代表(指向或引用)的类型并不一致。有时我们需要将一个多态指针转换为其实际指向对象的类型,就需要知道运行时的类型信息,这就产生了运行时类型识别的要求。
实事求是地讲,RTTI是有用的。 但因为一些理论上及方法论上的原因,它破坏了面向对象的纯洁性。
首先, 它破坏了抽象,使一些本来不应该被使用的方法和属性被不正确地使用。
其次,因为运行时类型的不确定性,它把程序变得更脆弱。
第三点,也是最重要的一点,它使程序缺乏扩展性。 当加入了一个新的类型时,你也许需要仔细阅读你的dynamic_cast
的代码,必要时改动它们,以保证这个新的类型的加入不会导致问题。 而在这个过程中,编译器将不会给你任何帮助。
总的来说,RTTI 因为它的方法论上的一些缺点,它必须被非常谨慎地使用。 今天面向对象语言的类型系统中的很多东西就是产生于避免RTTI的各种努力。
首先我们来个例子感受一下:
#include<iostream>
#include<typeinfo>
using namespace std;
class Base
{
public:
virtual void funcA() {
cout << "Base" << endl; }
};
class Derived : public Base
{
public:
virtual void funcB() {
cout << "Derived" << endl; }
};
void funcC(Base* p)
{
Derived* dp = dynamic_cast<Derived*>(p);
if (dp != NULL) {
dp->funcB();
}
else {
p->funcA();
}
};
void funcD(Base* p)
{
Derived* dp = NULL;
if (typeid(*p) == typeid(Derived))
{
dp = static_cast<Derived*>(p);
dp->funcB();
}
else {
p->funcA();
}
}
int main(int argc, char const* argv[])
{
Base* p = new Derived;
cout << typeid(p).name() << endl;
cout << typeid(*p).name() <<