RTTI是如何工作的

How does RTTI work?

本文关键字：工作 何工作 RTTI      更新时间：2023-10-16

我对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()方法来知道它的真实类型
相关文章：