函数指针与泛型编程相结合，允许使用同一代码调用不同类型的函数。通过将函数指针作为泛型函数的参数，我们可以根据不同类型定制函数的行为，从而创建灵活且可重用的代码。

C++ 函数指针与泛型编程的融合

简介

函数指针和泛型编程是 C++ 中强大的工具，当它们结合时，可以创建灵活且可重用的代码。函数指针允许间接调用函数，而泛型编程允许使用类型参数来编写通用的代码。

函数指针

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

函数指针是指向函数的变量。可以使用语法 类型名 (*指针名)(参数列表) 定义函数指针。例如：

int (*add)(int, int);

这声明了一个指向返回 int 类型的函数的指针，该函数需要两个 int 型参数。

泛型编程

泛型编程允许使用类型参数（也称为模板参数）编写代码。这使得代码可以用于各种不同的类型而无需重新编写。例如：

template<typename T>
T maximum(T a, T b) {
  return (a > b) ? a : b;
}

此函数将返回两个同类型参数中的较大值。

函数指针与泛型编程的融合

将函数指针与泛型编程结合可以创建极具表现力的代码。通过将函数指针作为泛型函数的参数，我们可以使用相同的代码调用不同类型的函数。

实战案例

考虑一个排序算法，它接受一个比较函数作为参数。我们可以使用函数指针来指定比较函数，如下所示：

template<typename T>
void sort(T* arr, int size, int (*compare)(T, T)) {
  // 排序算法
}

// 比较函数
int compareInt(int a, int b) {
  return (a > b) ? 1 : 0;
}

// 比较字符串函数
int compareString(const char* a, const char* b) {
  return strcmp(a, b);
}

int main() {
  // 排序整型数组
  int arr[] = {5, 2, 8, 3, 1};
  sort(arr, 5, compareInt);

  // 排序字符串数组
  const char* strArr[] = {"apple", "banana", "cherry"};
  sort(strArr, 3, compareString);

  // 输出排序后的数组
  for (int i = 0; i < 5; i++)
    cout << arr[i] << " ";
  cout << endl;

  for (int i = 0; i < 3; i++)
    cout << strArr[i] << " ";
  cout << endl;

  return 0;
}

在这个示例中，sort() 函数模板接受一个比较函数指针作为参数。通过提供不同的比较函数，我们可以对不同类型的数组进行排序。