0

给定以下代码块：

class BaseClass
{
public:
    virtual void hello() { cout << "Hello from Base" << endl; }
};

class DerivedClass : public BaseClass
{
public:
    void hello() { cout << "Hello from Derived" << endl; }
};

int main()
{
    BaseClass base;
    DerivedClass derv;

    BaseClass* bp = &base;
    bp->hello();
    bp = &derv;
    bp->hello();
}

bp 指向的类型是如何在运行时确定的？我知道它是动态绑定的，但是这样做的机制是什么？ 我很困惑，因为通常答案是编译器，但是因为它是动态的，所以在这个例子中不是这样（或者我弄错了？我假设编译器提前了，但是什么表明 bp 现在指向派生类？）。我也来自 C#，所以这个想法对我来说是陌生的，因为这是没有 CLR 的本机代码。

4

1 回答 1

6

构造时DerivedClass，会在其数据中插入一个不可见的成员。该成员指向一个叫做 a 的东西vtable。vtable 具有指向派生类的虚函数实现的函数指针。

每个具体类（您可以实例化的类）在内存中的某处都有自己的 vtable。这些表只有在你有虚函数时才会生成，这是 C++ 关于不为你不使用的东西付费的座右铭的一部分。

当编译器看到bp->hello()时，它知道要查找该 vtable 指针，并调用正确的函数。

于 2012-04-20T18:50:06.810 回答