c++学习笔记 RTTI dynamic_cast,typeid,type_info,虚函数表

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。