函数指针在 C++ 多态中的作用：揭示多态背后的真相

简介

多态是面向对象编程的一项强大功能，它允许对象在运行时以不同的方式表现。C++ 中的多态实现依赖于函数指针。本文将深入探讨函数指针在多态中的作用，并通过一个实战案例展示如何利用它们。

函数指针

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

函数指针是一个指向函数内存地址的变量。它们允许我们以间接方式调用函数，如下所示：

int sum(int a, int b) {
    return a + b;
}

int main() {
    int (*func_ptr)(int, int) = ∑ // func_ptr 现在指向 sum 函数
    int result = func_ptr(10, 20); // 间接调用 sum 函数
    std::cout << result << std::endl; // 输出 30
}

多态

多态允许我们定义基类，并创建派生类，这些派生类可以覆盖基类的某些方法。这使我们可以为不同的对象类型提供不同的行为。函数指针在这种机制中起着至关重要的作用：

• 当一个对象的方法被调用时，编译器查找该对象实际类型的方法。
• 该对象类型的方法的地址存储在虚函数表中。
• 函数指针指向虚函数表中的方法地址。

当我们通过基类指针调用方法时，根据对象的实际类型选择正确的函数指针，并间接调用该方法。这使我们能够以统一的方式调用派生类的方法，而无需知道对象的实际类型。

实战案例

让我们考虑一个示例来演示函数指针在多态中的作用：

class Animal {
public:
    virtual void MakeSound() = 0; // 纯虚函数
};

class Dog : public Animal {
public:
    virtual void MakeSound() override {
        std::cout << "Woof!" << std::endl;
    }
};

class Cat : public Animal {
public:
    virtual void MakeSound() override {
        std::cout << "Meow!" << std::endl;
    }
};

vector<Animal *> animals = {new Dog(), new Cat()};

for (Animal *animal : animals) {
    animal->MakeSound(); // 根据对象的实际类型间接调用方法
}

在此示例中，MakeSound() 是 Animal 基类中的一个纯虚函数，迫使派生类覆盖它。通过将函数指针存储在虚函数表中，我们可以以统一的方式调用 Dog 和 Cat 对象的 MakeSound() 方法，而无需知道它们的实际类型。

结论

函数指针是 C++ 多态机制的关键组成部分。它们使编译器能够根据对象的实际类型间接调用正确的方法，从而实现了运行时绑定。这使得面向对象编程能够灵活地处理不同类型的对象，并提供一致的接口来与它们交互。