函数指针是C++中指向函数的指针变量，它可以作为参数传递、存储和调用，在泛型编程场景中，函数指针能够让模板代码脱离固定的处理逻辑，适配更多不同的业务需求，有效提升代码的重用性和灵活性。
函数指针与泛型编程的基础结合
泛型编程的核心是通过模板让代码适配不同的类型，而函数指针的加入可以让模板同时适配不同的处理逻辑。比如我们需要实现一个通用的数组遍历函数，遍历过程中对每个元素执行不同的操作，就可以把函数指针作为模板参数传入。
先看一个基础的函数指针定义和使用的示例：
#include <iostream>
// 定义两个简单的处理逻辑函数
void add_one(int& num) {
num += 1;
}
void multiply_two(int& num) {
num *= 2;
}
// 函数指针类型定义
using ProcessFunc = void (*)(int&);
// 泛型遍历函数，接受函数指针作为参数
template <typename T, int N>
void traverse_array(T (&arr)[N], ProcessFunc func) {
for (int i = 0; i < N; ++i) {
func(arr[i]);
}
}
int main() {
int nums[] = {1, 2, 3, 4};
// 传入add_one函数指针
traverse_array(nums, add_one);
for (int num : nums) {
std::cout << num << " ";
}
std::cout << std::endl; // 输出 2 3 4 5
// 传入multiply_two函数指针
traverse_array(nums, multiply_two);
for (int num : nums) {
std::cout << num << " ";
}
std::cout << std::endl; // 输出 4 6 8 10
return 0;
}
函数指针作为模板参数提升编译期灵活性
除了把函数指针作为函数参数传递，还可以把函数指针作为模板的非类型参数，这样可以在编译期确定处理逻辑，减少运行期的开销，同时让泛型代码的逻辑更清晰。
下面是把函数指针作为模板参数的示例：
#include <iostream>
// 两个比较函数
bool greater_compare(int a, int b) {
return a > b;
}
bool less_compare(int a, int b) {
return a < b;
}
// 模板类，接受函数指针作为非类型参数
template <typename T, bool (*CompareFunc)(T, T)>
class Sorter {
public:
void sort(T* arr, int len) {
for (int i = 0; i < len - 1; ++i) {
for (int j = 0; j < len - i - 1; ++j) {
if (CompareFunc(arr[j], arr[j+1])) {
T temp = arr[j];
arr[j] = arr[j+1];
arr[j+1] = temp;
}
}
}
}
};
int main() {
int nums1[] = {3, 1, 4, 2};
int nums2[] = {3, 1, 4, 2};
// 使用greater_compare作为比较逻辑，降序排序
Sorter<int, greater_compare> desc_sorter;
desc_sorter.sort(nums1, 4);
for (int num : nums1) {
std::cout << num << " ";
}
std::cout << std::endl; // 输出 4 3 2 1
// 使用less_compare作为比较逻辑，升序排序
Sorter<int, less_compare> asc_sorter;
asc_sorter.sort(nums2, 4);
for (int num : nums2) {
std::cout << num << " ";
}
std::cout << std::endl; // 输出 1 2 3 4
return 0;
}
函数指针与泛型结合的实际优势
通过上面的示例可以看出，函数指针在C++泛型编程中的优势主要体现在两个方面：
- 提升代码重用性：不需要为不同的处理逻辑编写多套泛型代码，同一套模板可以适配多种函数处理逻辑，减少重复编码。
- 增强灵活性：处理逻辑可以在调用时动态指定，也可以在编译期静态指定，满足不同场景的需求，让泛型代码不再局限于固定的逻辑。
注意事项
使用函数指针结合泛型编程时需要注意几个问题：
- 函数指针的类型必须和模板声明的类型严格匹配，包括返回值类型和参数类型，否则会出现编译错误。
- 作为模板非类型参数的函数指针，必须是具有外部链接的函数，不能是局部函数或者lambda表达式（除非是无捕获的lambda转换为函数指针）。
- 如果函数逻辑比较简单，也可以考虑使用泛型lambda替代函数指针，但是函数指针在兼容旧代码和跨模块调用时更有优势。
在实际开发中，根据场景选择合适的函数指针用法，可以让C++泛型代码更加简洁高效，充分发挥泛型编程的优势。