c++++ 模板和泛型可用于实现函数的可重用性。函数模板创建可用于不同类型的通用函数实现（例如 max），而通用编程允许编写独立于类型的代码（例如 min）。实战案例展示了如何在 c++ 中使用这些技术，包括最小值/最大值计算和通用排序算法。

通过 C++ 模板和泛型实现函数的可重用性

简介

C++ 模板和泛型是强大的工具，可用于创建可重用的代码。函数模板使我们可以定义一个可以用不同类型参数化的函数，而通用编程使我们能够编写独立于类型的高效代码。本教程将通过实战案例展示如何利用这些特性实现函数的可重用性。

函数模板

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

函数模板允许我们创建可用于不同类型的一个函数的通用实现。它通过指定类型参数列表来实现，如下所示：

template <typename T>
T max(T a, T b) {
  if (a > b) return a;
  else return b;
}

这个模板函数定义了一个通用的 max 函数，该函数将两个相同类型的参数作为输入并返回最大值。我们可以通过为类型参数指定不同的类型来调用此函数，例如：

int max_int = max<int>(5, 7); // 最大化为整型
float max_float = max<float>(1.5, 2.2); // 最大化为浮点型

通用编程

通用编程是创建独立于类型的高效代码的技术。它是使用模板元编程 (TMP) 和 constexpr 功能实现的。以下是通用 min 函数的示例：

constexpr auto min = [](auto a, auto b) {
  if constexpr (std::is_floating_point_v<decltype(a)> ||
                std::is_floating_point_v<decltype(b)>) {
    return std::fmin(a, b);
  } else {
    return a < b ? a : b;
  }
};

这个函数使用 constexpr 和 if constexpr 特性，在编译时确定数据类型并选择最优的比较方法。

实战案例

案例 1：最大值和最小值函数

我们可以使用上述技术创建一个函数，计算一组值的最小值和最大值。

template <typename T>
std::tuple<T, T> find_minmax(const std::vector<T>& values) {
  T min_value = values[0], max_value = values[0];
  for (const auto& value : values) {
    if (value < min_value) min_value = value;
    if (value > max_value) max_value = value;
  }
  return std::make_tuple(min_value, max_value);
}

案例 2：排序算法

我们还可以创建通用的排序算法，例如快速排序：

template <typename T>
std::vector<T> quicksort(std::vector<T>& values) {
  if (values.size() <= 1) return values;

  T pivot = values[values.size() / 2];
  std::vector<T> left, right;
  for (const auto& value : values) {
    if (value < pivot) left.push_back(value);
    else if (value > pivot) right.push_back(value);
  }

  return join(quicksort(left), {pivot}, quicksort(right));
}

结论

通过利用 C++ 模板和泛型，我们可以编写可重用的、高效的代码。这可以显着减少代码重复，并使我们的程序更灵活和可维护。