模板是 C++ 的一种强大特性，它主要解决了 代码复用 和 类型安全 问题。模板允许在编译时生成具有不同类型的代码，从而使得代码可以适用于多种类型，而不需要重复编写类似的代码。
具体来说，模板解决了以下几个问题：
- 代码复用（Generic Programming）
模板允许编写与类型无关的代码，从而实现 泛型编程（Generic Programming）。在没有模板的情况下，开发者通常需要为每种数据类型编写不同的函数或类实现。模板使得我们可以编写一个通用的函数或类，然后让编译器根据实际类型自动生成适用于特定类型的代码。
示例：泛型函数
假设我们需要编写一个交换两个变量的函数。如果没有模板，我们可能需要为每种类型写不同的交换函数，比如 int 类型、float 类型等等。
// 没有模板的交换函数，针对不同类型分别写函数
void swapInt(int& a, int& b) {
int temp = a;
a = b;
b = temp;
}
void swapFloat(float& a, float& b) {
float temp = a;
a = b;
b = temp;
}
随着数据类型的增加，我们需要写很多相似的代码。使用模板可以让我们写出一个通用的 swap 函数：
// 使用模板来写一个通用的交换函数
template <typename T>
void swap(T& a, T& b) {
T temp = a;
a = b;
b = temp;
}
这里，T 是一个占位符类型，在调用 swap 函数时，T 会被具体类型替换。这种方式实现了代码的复用。现在，您可以为任何类型（如 int、float、std::string 等）使用相同的 swap 函数，而不需要为每种类型编写多个版本的代码。
- 类型安全
模板不仅提供代码复用，还提供了 类型安全。通过模板，我们可以在编译时确保类型一致性，避免了运行时出错。例如，如果您将一个 int 类型的值传递给需要 float 类型的函数，编译器会在编译时捕获错误，而不是在运行时才发现错误。
示例：类型安全的函数
假设我们写了一个模板函数来计算两个元素的平均值：
bash
template <typename T>
T average(T a, T b) {
return (a + b) / 2;
}如果我们传递两个 int 类型的参数，编译器会生成一个处理 int 类型的 average 函数。
如果我们传递两个 float 类型的参数，编译器会生成一个处理 float 类型的 average 函数。
这样，模板保证了类型的正确性，如果我们传递了错误的类型（比如 int 和 std::string），编译器会在编译阶段报错，从而避免了运行时的潜在错误。
- 编译时类型推导（Type Deduction）
模板可以帮助我们在调用时自动推导类型，避免了手动指定模板参数。比如，如果你没有显式地指定类型，编译器会根据传递给模板的参数自动推导出类型。
示例：自动推导类型
bash
template <typename T>
void printType(T value) {
std::cout << "Type of value is: " << typeid(value).name() << std::endl;
}
int main() {
printType(42); // 自动推导出 T 为 int
printType(3.14); // 自动推导出 T 为 double
printType("Hello World"); // 自动推导出 T 为 const char*
}在这个例子中，printType 函数没有显式指定类型，编译器会根据传递给函数的参数（如 42、3.14、"Hello World"）自动推导出 T 的类型。
- 优化与高效的代码生成
模板使得 C++ 编译器能够进行 编译时计算 和 特定类型的优化。通过模板，我们能够生成专门针对不同类型优化的代码，而不需要运行时开销。
示例：编译时计算
例如，如果你使用模板来做一些编译时常量的计算，编译器可以在编译时直接替代计算结果，而不是在程序运行时计算。
bash
template <typename T>
T square(T value) {
return value * value;
}
int main() {
int result = square(5); // 编译时已知结果为 25
}在这个例子中，square(5) 会在编译时直接计算出 25，而不是运行时才计算，从而提高了程序的效率。
- 常用的模板应用
STL（标准模板库）：STL 中的 vector、map、list 等容器类，都是使用模板编写的，可以存储任何类型的数据，而不需要为每种数据类型编写不同的类。
函数模板：比如 std::swap、std::sort 等标准库函数都是模板函数，可以适用于多种类型。
类模板：如 std::vector、std::shared_ptr 等容器类和智能指针，允许我们存储和管理任意类型的对象。
总结：
模板的主要目的是提供 代码复用 和 类型安全，解决了编写通用代码时的类型问题。模板使得我们可以编写通用的、类型无关的代码，而无需重复写针对不同类型的代码。同时，模板的类型检查是编译时进行的，保证了类型安全。此外，模板还可以进行编译时优化，使得生成的代码更加高效。