C++中的RTTI机制、typeid和dynamic_cast、多继承中的虚函数

C++中的RTTI机制

• 基类有虚函数时才能实现RTTI机制：
  • 基类无虚函数时，typeid(*pA)返回的是pA声明时的类型。
  • 基类有虚函数时，typeid(*pA)返回的是pA指向对象的类型。
• 比较两个带有虚函数的类的对象是否相等
  • if (typeid(*a) == typeid(B))
  • if (dynamic_cast<B*>(a))：如果能够成功向下转型成B类，那么就说明a实际指向的是B类对象。

虚表的第0个元素的前一个元素（即第-1个元素）存储着type_info对象（参考：RTTI 的原理），如下所示：

C++多态虚函数表详解(多重继承、多继承情况)

• 只要基类有虚函数，子类不论实现或没实现，都有虚函数表。如果没有实现，那么子类虚表就和父类虚表一致。
• 虚表里面存放着该类对应的虚函数指针，通过虚函数指针就可以调用到该类对应的虚函数。如果该类没有重写虚函数func，那么虚表中的该函数的虚指针和父类中的一致。
• 在多继承情况下，有多少个基类中有虚函数，那么子类中就有多少个虚函数表指针。