c++模板通过template关键字和类型参数实现泛型编程。template是定义模板的关键字，用于声明函数或类模板，其中t为类型占位符，调用时被具体类型替换。1. 类型参数可用于函数参数、变量声明、返回值等位置，如add函数中使用t作为通用类型；2. 模板可含多个类型参数，如t1和t2分别代表不同类型；3. 除类型参数外，还可使用非类型参数；4. 类模板结构类似函数模板，如myvector类通过t实现通用容器功能；5. 使用显式实例化分离定义与实现；6. 可设置默认类型参数简化使用；7. 模板特化允许为特定类型提供专属实现。这些特性使模板成为c++泛型编程的核心工具。
C++模板的基本语法主要围绕 template 关键字和类型参数的使用展开，它允许我们编写与类型无关的代码，实现泛型编程。
什么是 template 关键字？
在 C++ 中，template 是用于定义模板的关键字。它告诉编译器接下来的类或函数是一个模板，而不是一个具体的类型或函数。基本格式如下：
template <typename T> // 或者 template <class T>，两者几乎等价
这里的 T 是一个类型参数（type parameter），它只是一个占位符，在使用时会被替换成实际的类型（比如 int、string 等）。
立即学习“C++免费学习笔记（深入）”；
举个例子，一个简单的模板函数：
template <typename T>
void print(T value) {
std::cout << value << std::endl;
}调用的时候：
print<int>(10); // 输出整数
print<std::string>("Hello"); // 输出字符串这样就可以用一套逻辑处理多种数据类型。
类型参数怎么用？
模板中的类型参数可以出现在多个地方：函数参数、变量声明、返回值等。它们的作用是作为“通用类型”来替代具体类型。
例如，写一个通用的加法函数：
template <typename T>
T add(T a, T b) {
return a + b;
}这个函数适用于所有支持 + 运算的数据类型，比如 int、double、甚至自定义的类（如果重载了运算符的话）。
有几个关键点需要注意：
- 类型参数名（如 T）只是占位符，可以换成任何合法标识符，比如
Type、Elem等。 - 同一个模板中可以有多个类型参数，比如：
template <typename T1, typename T2> void foo(T1 a, T2 b);
- 模板参数也可以是普通类型参数之外的东西，比如非类型参数（后面再讲）。
模板类的基本结构
除了函数模板，还有类模板。类模板的语法也很类似：
template <typename T>
class MyVector {
public:
void push(T value);
T get(int index);
private:
T* data;
int size;
};使用方式是：
MyVector<int> vec; vec.push(10);
这里 <int> 替换了模板参数 T，于是整个类就变成了针对 int 的版本。
类模板的一个常见用途是实现像 STL 中的 std::vector<T>、std::map<K,V> 这样的容器类。
实际使用中的一些细节
-
显式实例化：有时候我们会看到这样的写法
template class MyVector<int>;，这叫显式实例化，通常用于分离模板定义和实现（避免头文件中必须包含实现代码）。 - 默认类型参数：可以给模板参数设置默认值，比如：
template <typename T = int>
class Box { ... };使用时如果不指定类型，默认就是 int。
- 模板的特化：有时候我们需要为某些特定类型提供不同的实现，这就是模板特化（specialization）。
比如：
template <>
class Box<char*> {
// 特别的实现
};基本上就这些。模板是 C++ 强大但略复杂的特性之一，理解好 template 和类型参数的使用是掌握它的第一步。
