C++模板语法解析：template与模板参数详解

模板是C++实现泛型编程的基础，使用template关键字声明，允许编写适用于多种类型的代码。1. 模板分为函数模板和类模板，如template <typename T>void swap(T& a, T& b)；2. 模板参数包括类型参数（typename或class定义）和非类型参数（如整数、指针）；3. 模板通常需在头文件中完整定义，编译器自动推导参数；4. 注意避免代码膨胀，支持默认参数和特化等高级特性。

C++模板的基本语法其实并不复杂，但理解它背后的机制和使用方式是写出灵活、通用代码的关键。核心就是 template 关键字和模板参数的定义。

什么是模板？为什么要用 template？

模板是 C++ 中实现泛型编程的基础。简单来说，它允许我们写一段代码，适用于多种数据类型，而不需要为每种类型都重复写一遍。
template 是声明模板的关键词，告诉编译器接下来的内容是一个模板定义。

比如：

template <typename T>
void swap(T& a, T& b) {
    T temp = a;
    a = b;
    b = temp;
}

这段代码可以用于 int、double、甚至自定义类型，只要这些类型支持赋值操作。

模板参数的种类有哪些？

模板参数主要有两种：类型参数 和 非类型参数。

类型参数（最常用）

使用 typename 或 class 关键字定义，表示一个待定的类型：

template <typename T>
class Vector {
    // ...
};

虽然 typename 和 class 在这里可以互换，但建议统一使用 typename，语义更清晰。

非类型参数（常量表达式）

除了类型，模板还可以接受常量值作为参数，比如整数、指针等：

template <typename T, int N>
class Array {
    T data[N];
};

这样就可以在编译期指定数组大小：

Array<int, 10> arr; // 一个包含10个int的数组

模板的声明和定义方式

模板通常由两部分组成：模板声明 和 模板体。

基本结构如下：

template <参数列表>
函数或类定义

例如一个函数模板：

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

或者类模板：

template <typename T>
class Stack {
    std::vector<T> elements;
public:
    void push(const T& value);
    T pop();
};

需要注意的是：

• 模板不能像普通函数那样“先声明后定义”，一般要放在同一个头文件中。
• 编译器会根据调用时传入的类型自动推导模板参数（模板实参推导）。

常见问题与注意事项

• 模板不是万能的：模板生成的是多个实例，可能导致代码膨胀。

• 模板参数不一定是类型：如前面提到的非类型参数。

• 模板可以有默认参数：

  template <typename T = int>
  class Container {
      // ...
  };

• 模板之间可以嵌套，也可以偏特化、全特化，这部分属于进阶内容了。

基本上就这些。模板语法本身不难，但要真正用好，得结合实际场景去体会它的灵活性和强大之处。