C++ 模板

概念

C++ 中的模板是一种泛型编程机制，可以在不指定具体类型的情况下编写通用的代码。通过使用模板，我们可以将相同或者类似的代码适配到不同的类型上去，提高代码的复用性和可读性。

在 C++ 中，有两种类型的模板：函数模板和类模板。

函数模板

函数模板是一种用于定义通用函数的机制。其基本语法为：

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

在上面的例子中，我们使用 template 关键字定义了一个函数模板。这个模板接受一个类型参数 T，并用它来定义函数 max()。在函数中，我们可以像使用普通类型一样使用类型参数 T。

当我们调用 max() 时，编译器会根据传入的参数类型推导出类型参数 T 的具体类型。例如：

int a = 10, b = 20;
std::cout << max(a, b) << std::endl;  // 输出 20

double c = 3.14, d = 2.718;
std::cout << max(c, d) << std::endl;  // 输出 3.14

在上面的例子中，我们分别传入了 int 类型和 double 类型的参数来调用 max() 函数。编译器会自动推导出类型参数 T 的具体类型，并实例化出对应的函数。

类模板

类模板是一种用于定义通用类的机制。其基本语法为：

template <typename T>
class MyTemplateClass {
public:
    T data;
    void print() {
        std::cout << "Data: " << data << std::endl;
    }
};

在上面的例子中，我们使用 template 关键字定义了一个类模板。这个模板接受一个类型参数 T，并用它来定义一个包含数据成员和成员函数的类 MyTemplateClass。

当我们实例化这个类模板时，需要指定类型参数 T 的具体类型。例如：

// 实例化一个 int 类型的 MyTemplateClass 对象
MyTemplateClass<int> myIntObj;
myIntObj.data = 10;
myIntObj.print();  // 输出 Data: 10

// 实例化一个 std::string 类型的 MyTemplateClass 对象
MyTemplateClass<std::string> myStringObj;
myStringObj.data = "Hello, World!";
myStringObj.print();  // 输出 Data: Hello, World!

在上面的例子中，我们分别实例化了一个 int 类型和一个 std::string 类型的 MyTemplateClass 对象。在实例化时，我们使用尖括号 < > 来指定类型参数 T 的具体类型。

需要注意的是，在实例化类模板时，编译器会根据模板的定义来生成对应的类定义和函数定义。这个过程称为模板实例化。