RTTI(run time type identification)运行时类型检查,主要体现于dynamic_cast和typeid。
A是基类,B是继承自A的子类,A *ptr = new B;语句后若想用指针ptr调用子类独有的成员,则需要对其类型转换。
于是 B *p = dynamic_cast<B *>(ptr);要想执行成功的必要条件是基类中至少有一个虚函数。若ptr实际不是指向B类型的,则会返回一个空指针。
A &temp = *ptr;对引用进行类型转换时B &temp2 = dynamic_cast<B &>(temp);若temp实际上不是B类型的引用,则编译器会弹出bad_cast的错误。
typeid可以获得一个变量的类型,如:
A *a = new B;
A *b = new A;
typeid(*a).name();
typeid(*b).name();
会分别得到class B和class A;typeid就是根据虚函数表的-1位置存放的指向type_info的指针来判断类型。dynamic_cast同理。
虚函数表:
每个有虚函数的类的最开始都有一个指向虚函数表的指针,占四个字节。若子类中有重写虚函数,则对应的虚函数地址会覆盖原来虚函数表对应虚函数的地址。虚函数表中虚函数的顺序根据基类虚函数定义的顺序。
如何通过指针进入虚函数表调用虚函数:
class A
{
public:
virtual func();
virtual func2();
};
class B:public A
{
func();
};
typedef void (*Fun)(void);
A *temp = new B;
int address = *(int *)temp;
Fun fun = *((int *)address+0);
fun();
Fun fun = *((int *)address+1);
fun();
第一个fun调用的是第一个虚函数func,第二个fun调用的是第二个虚函数func2。