c++ 中的函数模板允许您创建可适用于不同数据类型的新函数，避免了重复的代码。它们语法简单，支持类型推断，并可用于高效算法的实现，例如归并排序中的通用排序函数。函数模板促进了代码重用、灵活性并提升了性能。

在高效算法中运用 C++ 函数模板

简介

函数模板是 C++ 中强大的工具，它允许您在编译时生成适配于不同数据类型的新函数。这在算法实现中特别有用，因为它可以避免为每种数据类型编写重复的代码。

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

语法

函数模板的语法如下：

template <typename T>
returnType function_name(parameters) {
  // 函数正文
}

其中：

• <typename t></typename> 指定函数模板将适用的数据类型。
• returnType 是函数的返回类型。
• function_name 是函数的名称。
• parameters 是函数的参数列表。

类型推断

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

C++11 引入了类型推断，它允许编译器从函数调用中自动推断类型参数。这使得函数模板更容易使用：

template <typename T>
returnType function_name(T a, T b) {
  // 函数正文
}

int result = function_name(1, 2); // 编译器会推断 T 为 int

实战案例：归并排序

归并排序是一种高效的排序算法。让我们使用函数模板实现一个通用归并排序函数：

template <typename T>
void merge_sort(vector<T>& arr) {
  // 分割数组
  if (arr.size() <= 1) {
    return;
  }
  int mid = arr.size() / 2;
  vector<T> left(arr.begin(), arr.begin() + mid);
  vector<T> right(arr.begin() + mid, arr.end());
  
  // 递归排序
  merge_sort(left);
  merge_sort(right);

  // 合并排序好的子数组
  merge(arr, left, right);
}

其中，merge 函数用于合并两个已排序的子数组。您可以根据实际情况定制 merge 函数，以便支持不同的数据类型。

优点

使用函数模板实现算法有几个优点：

• 代码重用：您只需编写一次算法，即可将其用于各种数据类型。
• 灵活性：函数模板易于扩展以支持新的数据类型。
• 性能：编译时生成的新函数通常比虚函数或多态方法更快。

结论

函数模板在高效算法的实现中发挥着重要作用，允许您编写通用且可重用的代码。通过采用函数模板，您还可以提高代码的性能并简化算法的扩展。