在 c++++ 中，函数指针使我们能够处理函数作为参数并创建通用代码。结合泛型编程，我们可以使用类型参数创建函数指针，然后使用它来调用不同数据类型的函数。这样，我们可以创建可扩展且灵活的代码，避免为不同数据类型编写重复的代码。

C++ 函数指针与泛型编程：打造可扩展的代码

函数指针

函数指针是一种指针，它指向一个函数。通过使用函数指针，我们可以将函数作为参数传递，并以类似于其他变量的方式来处理它们。在 C++ 中，函数指针的语法如下：

typename (*function_pointer)(parameters);

泛型编程

泛型编程是一种以通用代码操作不同数据类型的技术。使用泛型，我们可以编写一次函数或类，然后使用各种数据类型对它们进行实例化。泛型代码使用类型参数，通常表示为字母，如 T 或 U。

结合函数指针和泛型编程

函数指针和泛型编程可以结合使用，以创建高度灵活且可扩展的代码。我们可以使用泛型类型参数创建函数指针，然后根据不同的数据类型使用它来调用不同的函数。

实战案例：比较函数

让我们考虑一个比较两个数字的函数。我们可以使用函数指针和泛型类型来创建一个可以比较任何数据类型的通用比较函数：

template<typename T>
int compare_func(T a, T b, int (*comparison_function)(T, T))
{
  return comparison_function(a, b);
}

现在，我们可以将此函数指针与不同的比较函数一起使用，例如：

// 定义比较函数
int compare_int(int a, int b) { return a - b; }
int compare_float(float a, float b) { return a - b; }

// 使用泛型函数指针
int result = compare_func(10, 20, compare_int);
float result2 = compare_func(1.5f, 2.5f, compare_float);

优点

这种方法提供了一些优点：

• 可扩展性：我们可以轻松添加新的比较函数，而无需修改泛型函数。
• 代码重用：我们可以避免为每种数据类型编写重复的比较代码。
• 灵活：我们可以根据具体需求指定不同的比较函数。