Question

我对C ++中的RTTI机制感到困惑。

假设从A继承A类和B类。现在考虑以下代码：

B* b = new B();
A* a = dynamic_cast<A*>(b);

我知道使用虚方法的多态类有虚拟表和vptr，但我认为指针只提供有关虚函数的信息。程序如何在运行时知道b的类型，使用vptr＆＃39; s和vtables？

Answer 1

想象一下你有

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（）方法的指针才能知道它的真实类型

RTTI如何工作？

1 个答案: