多态通过虚函数、vtable和vptr实现，允许基类指针调用派生类函数，示例中Dog的speak被正确调用；含纯虚函数的抽象类不能实例化，用于定义接口；多态需通过指针或引用触发，析构函数应声明为虚以防止资源泄漏。

在C++中，多态是面向对象编程的核心特性之一，它允许同一接口以不同方式被不同类的对象实现。多态的实现主要依赖于虚函数、虚函数表（vtable）和虚函数指针（vptr），这些机制共同构成了运行时多态的基础。

虚函数与动态绑定

要实现多态，必须在基类中将需要重写的函数声明为虚函数，即使用virtual关键字。当派生类重写该函数后，通过基类指针或引用调用该函数时，程序会在运行时根据实际对象类型决定调用哪个版本的函数，这个过程称为动态绑定。

示例：

class Animal {
public:
    virtual void speak() {
        cout << “Animal speaks” << endl;
    }
};

Animal* ptr = new Dog();
ptr->speak(); // 输出：Dog barks

这里调用的是Dog类的speak函数，而不是Animal类的，正是多态的体现。

立即学习“C++免费学习笔记（深入）”；

虚函数表与虚函数指针

C++通过虚函数表（vtable）和虚函数指针（vptr）来实现多态的底层机制。

• 每个含有虚函数的类都有一个由编译器生成的虚函数表，表中存储了该类所有虚函数的地址。
• 每个该类的对象内部包含一个隐藏的指针（vptr），指向其所属类的虚函数表。
• 当通过基类指针调用虚函数时，程序通过vptr找到对应的vtable，再查表确定具体调用哪个函数。

这种机制使得即使指针类型是基类，也能正确调用派生类的函数实现。

ViiTor实时翻译

ai实时多语言翻译专家！强大的语音识别、AR翻译功能。

116

查看详情

纯虚函数与抽象类

为了强制派生类实现某个函数，可以将虚函数定义为纯虚函数，语法为：virtual void func() = 0;。包含纯虚函数的类称为抽象类，不能实例化对象。

这在设计接口或基类框架时非常有用，确保所有派生类都提供特定功能的实现。

例如：

class Shape {
public:
    virtual double area() const = 0; // 纯虚函数
};

class Circle : public Shape {
    double r;
public:
    Circle(double radius) : r(radius) {}
    double area() const override { return 3.14 * r * r; }
};

多态使用的注意事项

• 只有通过指针或引用调用虚函数才能触发多态，直接使用对象调用会使用静态绑定。
• 析构函数应声明为虚函数，尤其是基类，避免派生类资源未被正确释放。
• 虚函数有一定性能开销，因为需要查表，不建议对性能敏感的场景过度使用。
• 函数重载、重定义不等于多态，多态特指虚函数的动态绑定行为。

基本上就这些。C++的多态性通过虚函数机制在运行时决定调用哪个函数，核心在于vtable和vptr的配合。理解这一原理有助于写出更高效、安全的面向对象代码。