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++ 模板和泛型，我们可以编写可重用的、高效的代码。这可以显着减少代码重复，并使我们的程序更灵活和可维护。
