我们知道,有两个操作符可以提供RTTI:
<1>typeid操作符 这个操作符可以与任何类型的表达式使用,如果操作数不是含有虚函数的类对象,则返回操作数的静态类型,如果操作数是含有虚函数的类对象,则返回操作数的动态类型。
<2>dynamic_cast操作符 这个操作符可以安全的将基类类型的指针或者引用转换为派生类类型的指针或者引用。
这两个操作符的应用场景有些区别,dynamic_cast只能用在至少含有一个虚函数的类的指针或引用的转换上,如果这个类不含有虚函数,则会报错:基类不支持多态。而typeid可以用于任何场合。
单纯的理论总是难以理解的,例子才是王道,OK,来几个例子:
1.typeid的使用 (不含虚函数的类中)
#include "stdafx.h"
#include <iostream>
using namespace std;
class Base
{
};
class Derived:public Base
{
};
int _tmain(int argc, _TCHAR* argv[])
{
Base * pb;
Derived d;
pb = &d;
if(typeid(d) == typeid(*pb))
{
cout << "返回的是动态类型" << endl;
}
else
{
cout << "返回的是静态类型" << endl;
}
return 0;
}
这个的输出是:
返回的是静态类型。
分析:因为这个类不含有虚函数,所以*pb返回的是静态类型,即是一个Base类型的对象,因而自然执行else语句呢。
2.typeid的使用 (含虚函数的类中)
#include "stdafx.h"
#include <iostream>
using namespace std;
class Base
{
public:
virtual ~Base()
{
}
};
class Derived:public Base
{
};
int _tmain(int argc, _TCHAR* argv[])
{
Base * pb;
Derived d;
pb = &d;
if(typeid(d) == typeid(*pb))
{
cout << "返回的是动态类型" << endl;
}
else
{
cout << "返回的是静态类型" << endl;
}
return 0;
}
这个的输出是:
返回的是动态类型。
分析:因为这个类含有虚函数,所以*pb返回的是动态类型,即是一个Derived类型的对象,因而自然执行if语句呢。
3.dynamic_cast的使用 (含虚函数的类中)
#include "stdafx.h"
#include <iostream>
using namespace std;
class Base
{
public:
virtual ~Base()
{
}
};
class Derived:public Base
{
};
int _tmain(int argc, _TCHAR* argv[])
{
Base * pb;
Derived d;
pb = &d;
if(Derived * pd = dynamic_cast<Derived*>(pb))
{
cout << "pb指向一个derived对象" << endl;
}
else
{
cout << "pb指向一个Base对象" << endl;
}
return 0;
}
这个的输出是:
pb指向一个derived对象
分析:因为这个类含有虚函数,所以*pb返回的是动态类型,即是一个Derived类型的对象,因而自然执行if语句呢。如果把虚函数的定义那部分去掉,会看到编译的时候报错: 'dynamic_cast' : 'Base' is not a polymorphic type
嗯,就说这么多吧,我想通过这三个例子,对这两个操作符的使用以及区别应该有了大致的了解了~