动态多态性

动态多态性是面向对象编程中一个重要的概念，主要通过虚函数和继承机制实现。它允许程序在运行时决定调用哪个函数的实现，从而实现不同类的对象在同一接口下的不同行为。下面详细展开这个概念：

动态多态性的实现

• 虚函数（Virtual Function）
• 在基类中声明为 virtual 的函数称为虚函数。虚函数允许派生类重新定义（重载）这个函数，以提供不同的实现。
• 使用 virtual 关键字声明虚函数。例如：

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

• 重载（Override）
• 派生类可以重载基类的虚函数，以提供特定的实现。重载时通常使用 override 关键字来明确表明该函数是重载基类的虚函数。

例如：

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

3. 虚函数表（Vtable）

• 编译器为每个包含虚函数的类生成一个虚函数表（Vtable）。Vtable 是一个指针数组，每个元素指向类中虚函数的实现。
• 对象包含一个指向虚函数表的指针。通过这个指针，程序在运行时可以找到正确的函数实现。

示例代码
以下是一个展示动态多态性的代码示例：

#include <iostream>

class Base {
public:
    virtual void show() {
        std::cout << "Base show" << std::endl;
    }
    virtual ~Base() = default; // 虚析构函数，确保正确删除派生类对象
};

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

void display(Base* obj) {
    obj->show(); // 动态绑定
}

int main() {
    Base* basePtr;
    Derived derivedObj;

    basePtr = &derivedObj;
    display(basePtr); // 输出：Derived show

    return 0;
}

解释

• 基类 Base
• 声明了一个虚函数 show()。
• 声明了一个虚析构函数 ~Base()，以确保在删除派生类对象时，调用正确的析构函数。
• 派生类 Derived
• 重载了基类的 show() 函数，提供了自己的实现。
• 函数 display
• 接受 Base 类型的指针，调用 show() 函数。由于 show() 是虚函数，调用的是运行时对象的实际类型的 show() 实现（即
  Derived 类中的实现）。
• main 函数
• 创建一个 Derived 对象，并将其地址赋给 Base 类型的指针 basePtr。
• 调用 display(basePtr)，结果是调用 Derived 类中的 show() 函数，因为 show()
  函数是虚函数，程序在运行时根据实际对象的类型（Derived）选择合适的函数实现。

总结

动态多态性使得程序在运行时决定调用哪个函数的实现，而不是在编译时确定。这种机制允许程序设计者在使用基类指针或引用时，操作不同类型的派生类对象，实现灵活的和可扩展的代码。通过虚函数和虚函数表，C++ 实现了这一强大的特性。