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