c++模版元编程-类模版

C++ 是一门广泛使用的编程语言，提供了丰富的特性和工具来支持灵活和可复用的代码编写。其中，类模板是 C++ 中强大而重要的特性之一，它使得我们可以编写通用的代码，以处理不同类型的数据。本文将详细介绍 C++ 类模板的概念、语法和使用方法，并通过示例帮助读者更好地理解。

结论： C++ 的类模板是一种强大的工具，提供了通用的代码编写方式，可以处理不同类型的数据。通过模板参数化，我们可以在编译时生成不同的类和函数，提高代码的复用性和可扩展性。熟练地掌握类模板的使用将为我们编写高效、灵活且可复用的代码提供强大的工具。

什么是类模板？
- 类模板是一种通用的类定义，其中的成员函数和成员变量的类型不是具体的类型，而是参数化的类型。
- 类模板将模板参数作为类型参数，允许在编译时根据不同的类型生成不同的类。
类模板的语法
- 类模板的定义以关键字 template 开始，后面紧跟着一个或多个模板参数。
- 模板参数可以是类型参数、非类型参数或模板参数（C++17 新增）。
- 在类模板内部，可以使用模板参数来定义成员函数、成员变量和其他类型。
使用类模板
- 实例化类模板：通过指定具体的类型，使用 类名<类型> 的语法来实例化类模板，创建具体的对象。
- 类模板的成员函数定义：通常将类模板的成员函数的定义放在头文件中，以便在需要时进行实例化。
类模板示例：

容器类模板

#include <iostream>template <typename T>
class Container {
private:T* data;int size;public:Container(int size) : size(size) {data = new T[size];}~Container() {delete[] data;}void insert(T value) {// 在容器中插入元素// ...}T get(int index) {// 获取容器中指定位置的元素// ...}
};int main() {// 实例化容器类模板，并操作不同类型的容器Container<int> intContainer(10);intContainer.insert(42);int value = intContainer.get(0);std::cout << "Value: " << value << std::endl;Container<std::string> strContainer(5);strContainer.insert("Hello");std::string str = strContainer.get(0);std::cout << "String: " << str << std::endl;return 0;
}

类模板的特化和偏特化

对于某些特殊情况，我们可能需要针对特定类型进行特定的实现，可以使用类模板的特化来实现。
偏特化允许我们根据模板参数的部分属性来特化类模板。

#include <iostream>
#include <string>// 声明一个类模板
template <typename T>
class MyClass {
public:void print(const T& arg) {std::cout << "Generic: " << arg << std::endl;}
};// 为 int 类型进行特化
template <>
class MyClass<int> {
public:void print(const int& arg) {std::cout << "Specialized: " << arg << std::endl;}
};int main() {MyClass<double> d;d.print(1.23); // Generic: 1.23MyClass<int> i;i.print(42); // Specialized: 42MyClass<std::string> s;s.print("Hello"); // Generic: Helloreturn 0;
}

#include <iostream>
#include <string>// 声明一个类模板
template <typename T1, typename T2>
class MyClass {
public:void print(T1 a, T2 b) {std::cout << "Generic: " << a << ", " << b << std::endl;}
};// 偏特化第一个模板参数为 int 类型
template <typename T2>
class MyClass<int, T2> {
public:void print(int a, T2 b) {std::cout << "Partial specialized: " << a << ", " << b << std::endl;}
};int main() {MyClass<double, int> m1;m1.print(1.23, 42); // Generic: 1.23, 42MyClass<int, double> m2;m2.print(42, 1.23); // Partial specialized: 42, 1.23MyClass<std::string, char*> m3;m3.print("Hello", "World"); // Generic: Hello, Worldreturn 0;
}