C++ 函数模板基础

一、什么是函数模板

  C++中的函数模板是用于创建泛型和可重用代码的一种编程范式。通过为编译器提供一组用于生成特定类型函数的模板，可以让同一段代码为多种类型的操作提供支持。在编译时，编译器根据函数模板和提供的类型将创建具体函数（实例化）。
  以下是一个C++函数模板的示例，表示计算两个数中的较大者的通用模板：

#include <iostream>
using namespace std;// 函数模板声明
template <typename T>
T maxNumber(T a, T b);int main() {int x = 3, y = 5;double u = 2.5, v = 1.8;// 使用模板函数，编译器自动推导类型int int_max = maxNumber(x, y);double double_max = maxNumber(u, v);cout << "Max of x and y = " << int_max << endl;cout << "Max of u and v = " << double_max << endl;return 0;
}// 函数模板定义
template <typename T>
T maxNumber(T a, T b) {return (a > b) ? a : b;
}

  在上述代码中，我们定义了一个函数模板 maxNumber，它有一个类型参数 T，用于泛化不同数据类型。此示例展示了如何使用同一个函数模板来处理多种类型的数据（在本例中，我们处理了int和double数据类型）。编译器会根据提供的类型为该模板创建合适的函数实例。
  通过使用函数模板，我们可以编写通用、易于维护且可重用的代码。这可以简化大型项目中的复杂性，避免因重复编写类似代码而引入的错误。

二、函数模板的优点

  C++函数模板具有一些突出的优点，这使得它们在编写泛型和可重用代码时成为一个非常有用的工具：

1、代码重用

  通过使用函数模板，您可以编写一段能及时适应不同数据类型的代码，避免为处理不同数据类型编写多个类似的函数实现。这降低了代码重复度，同时减少了维护成本。

2、类型安全

  函数模板在编译时生成特定类型的函数实例，从而提供了额外的类型检查。这有助于捕获类型错误，确保程序的正确性，以及提高运行时性能。

3、可读性

  使用函数模板可以提高代码的可读性和透明度，因为您不再需要在代码中明确处理每个特定数据类型的情况，从而使代码更简洁。

4、泛型编程

  函数模板允许您实现泛型编程范式，这是一种设计和实现能够适应不同数据类型和情况的通用代码的方法。这可以提高代码的模块化和可扩展性。

5、性能优化

  由于模板实例化为特定类型的函数发生在编译时，因此可以提供优化的机会，与非模板函数相比，运行时性能相同或更好。

6、库开发

  在C++标准库和其他库中，函数模板被广泛用于实现通用算法、容器和其他实用程序，例如排序、查找、拷贝等操作。这提高了库的可重用性，并使库更易于集成。

  虽然函数模板具有诸多优点，但需要在编写和使用时注意避免编译器误解、代码膨胀、难以调试的问题。总的来说，合理使用C++函数模板可以带来代码编写和维护的极大便利。

三、函数模板的使用场景

  在C++中，函数模板用于编写通用的、能够适应多种数据类型的代码。以下是几个典型的函数模板使用场景：

1、通用操作

  编写适用于不同数据类型的通用操作函数，例如比较大小、求和、交换两个变量的值等。

template <typename T>
T getMax(T a, T b) {return (a > b) ? a : b;
}

2、数据结构与容器操作

  创建和操作通用数据结构，如链表、栈、队列、二叉树等。这种情况下，函数模板可用于实现类似查找、遍历、插入和删除等操作。

template <typename T>
bool findInVector(const std::vector<T>& vec, const T& value) {// ...
}

3、排序与查找算法

  实现通用的排序和查找算法，例如冒泡排序、快速排序、二分查找等。这些算法可以适应于基本数据类型和用户自定义对象，只要定义了适当的比较操作。

template <typename T>
void quickSort(std::vector<T>& data, int left, int right) {// ...
}

4、数学与统计函数

  实现泛型数学和统计函数，如最大公约数、最小公倍数、平均值计算等。

template <typename T>
T gcd(T a, T b) {// ...
}

5、类型转换器

  编写通用的类型转换器函数，例如在编码/解码器、序列化/反序列化等场景中。

template <typename To, typename From>
To convertType(const From& source) {// ...
}

6、自定义函数对象

  创建泛型的仿函数（函数对象），这些可用于执行操作（例如比较、转换等）并在传递给其他泛型函数时保持状态。

template <typename T>
class CustomComparator {// ...bool operator()(T a, T b) const {// ...}
};

  在这些使用场景中，函数模板提供了灵活性和可重用性，使得你能够为不同数据类型编写一段代码。唯一的挑战是有效地管理类型参数，使其适应于所需的操作和逻辑。使用C++中的函数模板可以帮助你编写更加高效、可维护的代码。

四、模板参数的声明（使用template关键字）

  在C++中，模板参数（可以是类型参数或非类型参数）在函数模板定义前使用template关键字进行声明。以下是模板参数声明的基本语法：

template <typename/type/class T, typename/type/class U, ... , typename/type/class N, NonTypeParameter1, NonTypeParameter2, ..., NonTypeParameterN>

  这里，T、U和N表示类型参数，你可以使用typename或class关键字定义它们。NonTypeParameter1、NonTypeParameter2到NonTypeParameterN表示非类型参数（例如整数、字符或者指针等）。

1、类型参数声明

1）示例1

  以下是一个使用单个类型参数的简单函数模板，实现任意类型变量的交换：

template <typename T> // 声明一个类型参数T
void swap(T& a, T& b) {T temp = a;a = b;b = temp;
}

2）示例2

  以下是一个使用两个类型参数的函数模板，用于计算一对具有不同类型的值之和：

template <typename T, typename U> // 声明两个类型参数T和U
auto sum(T a, U b) -> decltype(a + b) {return a + b;
}

2、非类型参数声明

  非类型参数表示一个编译时常量，如整数、枚举值、指针等。
以下是一个使用非类型整数参数N的数组求和函数模板：

template <typename T, int N> // 声明一个类型参数T和一个非类型整数参数N
T arraySum(const T (&arr)[N]) {T sum = T();for (int i = 0; i < N; ++i) {sum += arr[i];}return sum;
}

  现在你已经了解了如何在C++中声明模板参数。使用模板参数可以帮助你编写更通用的代码，减少代码重复，并提高代码的可维护性。在C++编程中，模板参数是一个非常重要且强大的工具。

---

  太多内容记不住？前往👉🏻 英雄算法联盟 和博主一起刷题，巩固知识点 和 加深印象。