C++模板基础：template与类型参数详解

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 等）。

举个例子，一个简单的模板函数：

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 和类型参数的使用是掌握它的第一步。