模板初级介绍

---

泛型编程

---

泛型编程是一种编程范式，在该范式中，程序员可以编写与特定数据类型无关的代码。它通过参数化类型的方式，使得代码可以适用于多种数据类型，从而提高代码的重用性和灵活性。C++中的模板是实现泛型编程的一种主要机制。

在泛型编程中，我们可以编写通用的算法和数据结构，不考虑特定的数据类型。通过参数化类型，我们可以在实例化时指定具体的数据类型。这样，以适用于不同类型的数据进行操作。

以下是一些泛型编程的常见技术和概念：

1. 模板（Templates）：C++的模板是实现泛型编程的重要机制。通过使用模板，我们可以编写通用的算法和数据结构，使其可以适应不同的数据类型。模板分为类模板和函数模板两种形式。

2. 泛型函数（Generic functions）：通过函数模板，我们可以定义一个通用的函数，能够以不同的数据类型进行操作。编译器会根据使用时的具体数据类型自动实例化对应的函数。

3. 泛型类（Generic classes）：通过类模板，我们可以定义一个通用的类，能够处理多种数据类型。编译器会根据实例化时指定的类型自动生成对应的类。

4. 迭代器（Iterators）：迭代器是一种泛型的、用于访问容器元素的抽象概念。通过使用迭代器，我们可以实现通用的遍历容器的算法，而不需要关心具体容器的类型。

5. STL（Standard Template Library）：STL是C++中的一个标准库，提供了一系列泛型算法和数据结构的实现。它包括容器（如向量、链表、栈、队列等）、算法（如排序、查找等）、迭代器和函数对象等。

通过泛型编程，我们可以编写更加灵活和可复用的代码，减少代码的冗余，提高开发效率。然而，泛型编程在编译时会进行泛化和实例化，可能会导致编译时间的增加。此外，对于一些特定的性能需求，可能需要针对具体的数据类型进行特化处理以提高性能。因此，在使用泛型编程时，需要权衡代码的灵活性和性能需求。

---

函数模板

---

函数模板是C++中实现泛型编程的一种机制。通过函数模板，我们可以定义一个通用的函数，能够处理多种数据类型，从而提高代码的重用性和灵活性。函数模板的语法格式如下：

template <typename T>
返回类型 函数名(参数列表) {
  // 函数体
}

上述代码中，使用template <typename T>声明了一个函数模板，其中T是类型参数，可以根据实际需要任意指定。在函数定义中，可以使用T作为函数参数的类型或者返回值的类型。

使用函数模板的时候，需要通过实参推断来确定模板参数的具体类型，或者显式指定模板参数的类型。以下是几种使用函数模板的方式：

1.自动类型推断：

int result = functionName(arg1, arg2);  // 自动推断模板参数的类型

2.显式指定模板参数的类型：

int result = functionName<int>(arg1, arg2);  // 显式指定模板参数的类型为int

 

函数模板可以适用于各种不同的数据类型。当调用模板函数时，编译器会根据实参的类型进行模板参数的推导，并生成对应的函数实例。

下面是一个简单的函数模板示例，实现了求两个数的最大值的功能：

#include <iostream>

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

int main() {
  int num1 = 15;
  int num2 = 10;
  std::cout << "Max: " << max(num1, num2) << std::endl;

  double val1 = 3.14;
  double val2 = 2.71;
  std::cout << "Max: " << max(val1, val2) << std::endl;

  return 0;
}

在上述示例中，我们定义了一个函数模板max，通过比较两个参数的大小，返回较大的值。在main函数中，我们使用max函数模板分别求解了两个整数和两个浮点数的最大值。

需要注意的是，函数模板可以有多个模板参数，并且可以定义默认模板参数。此外，还可以为函数模板定义特化版本，以处理特定类型的情况。

函数模板是C++中非常强大的工具，它使得我们可以编写更通用、更灵活的代码，能够适应不同的数据类型，并提供高度的代码重用性。

---

类模板

---

类模板是C++中用于实现泛型编程的一种机制。它允许我们定义一个通用的类，可以在不同的数据类型上进行操作，从而提高代码的重用性和灵活性。

类模板通过使用"泛型"类型参数来达到通用性。这些类型参数可以在类定义中用于成员变量、成员函数、返回类型等等。在使用类模板时，我们可以根据具体的类型来实例化该类模板，使其生成对应的具体类。

以下是类模板的一般语法格式：

template <class T1,class T2,....,class Tn>
class 类模板名 {
  // 成员变量和成员函数的定义
};