C++虚函数表怎样实现动态绑定

在C++中，虚函数表（vtable）是一种实现动态绑定的机制。当一个类包含至少一个虚函数时，编译器会为该类创建一个虚函数表。虚函数表是一个函数指针数组，其中每个元素都是一个指向类中虚函数的指针。

动态绑定是指在运行时根据对象的实际类型来调用相应的函数。这是通过虚函数表实现的。当一个类继承自另一个类，并且重写了基类中的虚函数时，编译器会为派生类创建一个新的虚函数表，并将派生类中的虚函数指针添加到该表中。当使用基类指针或引用调用虚函数时，程序会根据指针或引用指向的对象的实际类型来查找对应的虚函数表，并调用相应的函数。

以下是一个简单的示例：

#include 

class Base {
public:
    virtual void foo() {
        std::cout << "Base::foo()" << std::endl;
    }
};

class Derived : public Base {
public:
    void foo() override {
        std::cout << "Derived::foo()" << std::endl;
    }
};

int main() {
    Base* base_ptr = new Derived();
    base_ptr->foo(); // 输出 "Derived::foo()"，动态绑定成功
    delete base_ptr;
    return 0;
}

在这个示例中，Base 类包含一个虚函数 foo()，Derived 类重写了这个函数。在 main() 函数中，我们使用基类指针 base_ptr 指向一个 Derived 对象，并调用 foo() 函数。尽管 base_ptr 的类型是 Base*，但在运行时，程序会根据 base_ptr 指向的对象的实际类型（即 Derived）来查找虚函数表，并调用 Derived::foo() 函数。这就是动态绑定的实现。