我对c++中的RTTI机制有些困惑。
假设我们有继承自A的类A和类B,现在考虑以下代码:
B* b = new B();
A* a = dynamic_cast<A*>(b);
我知道具有虚拟方法的多态类具有虚拟表和vptr,但我认为指针仅提供有关虚拟函数的信息。程序如何在运行时知道b的类型,使用vptr和vtables?
假设你有
struct B {
virtual doSth() {
cout << "hello";
}
};
struct A : public B {
doSth() {
cout << "hello world";
}
};
现在假设A::doSth()在0x0f43和B::doSth()在0x0a41
则dynamic_cast(b)可以实现为(伪代码)
if ( (address pointed to by b::doSth()) == 0x0f43 ) {
// cast is OK
} else { // (address pointed to by b::doSth()) == 0x0a41
// not possible to cast
}
所以你只需要b保存一个指向右的指针doSth()方法来知道它的真实类型