关于RTTI和typeid

[bbcallen]

#include <iostream>
using namespace std;

class A {};
class B: public A {};
class C: public A {};

int main() {
B* b = new B;
C* c = new C;
A* pb = b;
A* pc = c;
cout << "type of *b is " << typeid(*b).name() << endl
<< "type of *c is " << typeid(*c).name() << endl
<< "type of *pb is " << typeid(*pb).name() << endl
<< "type of *pc is " << typeid(*pc).name() << endl;
return 0;
}

输出为:
type of *b is class B
type of *c is class C
type of *pb is class A
type of *pc is class A

按照通常的理解*pb和*pc的运行时类型都不是class A
但是由于没有额外的保存类型信息，所以无法得到其运行时类型
请问解决的办法是不是只有增加虚函数呢？

[北极猩猩]

运行时的类型信息通常保存在虚函数表的第一个表项中，而如果基类中没有虚函数，编译器会将虚函数表优化掉（这样可以省掉队相中vptr占据的空间，在32为系统中通常为4byte），所以相继类中增加一个虚函数就可以解决。

[ttlb]

一般当类中没有其他可声明为虚函数的函数时，就应该把析构函数声明为 virtual
只有类中包含virtual函数的时候，才能使用 RTTI