c++中模板是什么怎么用_c++模板编程概念与使用方法

模板是C++泛型编程的核心，支持函数和类的通用设计。通过template<typename T>定义函数模板可实现类型自动推导，如max(a,b)适用于多种类型；类模板如MyArray<T>用于构建通用容器，支持不同类型实例化；模板参数包括类型参数（typename/class）、非类型参数（如整型）和模板模板参数；固定大小数组可用template<typename T, int N>定义；模板特化允许为特定类型定制实现，如全特化MyArray<bool>优化位存储；偏特化用于部分指定参数；模板通常置于头文件中供编译时实例化；合理使用模板提升代码复用性、安全性和灵活性。

模板是C++中实现泛型编程的核心机制，它允许我们编写与数据类型无关的通用代码。通过模板，可以定义函数模板和类模板，让同一段代码适用于多种数据类型，而无需重复编写。

函数模板

函数模板用于创建通用的函数，其参数类型在调用时根据传入的实际类型自动推导。

例如，实现一个通用的比较函数：

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

使用时只需像普通函数一样调用：

int x = 5, y = 10;
double m = 3.14, n = 2.71;
<p>std::cout << max(x, y) << std::endl;     // 输出 10
std::cout << max(m, n) << std::endl;     // 输出 3.14

编译器会根据传入的参数类型自动生成对应的函数实例。

立即学习“C++免费学习笔记（深入）”；

类模板

类模板用于定义通用的类结构，常用于容器类设计，比如标准库中的 std::vector、std::stack 等。

定义一个简单的动态数组类模板：

template <typename T>
class MyArray {
private:
T* data;
int size;
public:
MyArray(int s) : size(s) {
data = new T[size];
}
~MyArray() {
delete[] data;
}
T& operator[](int index) {
return data[index];
}
};

使用方式：

MyArray<int> arr(10);
arr[0] = 100;
MyArray<std::string> strArr(5);
strArr[0] = "Hello";

注意：模板定义通常放在头文件中，因为编译器需要在编译时看到完整定义才能实例化。

模板参数类型

模板不仅可以接受类型参数，还可以接受非类型参数（如整数）和模板模板参数。

• 类型参数：使用 typename 或 class 关键字声明，代表一个未知类型
• 非类型参数：表示一个值，例如整型常量

示例：固定大小的数组模板

template <typename T, int N>
class FixedArray {
T data[N];
public:
T& operator[](int i) { return data[i]; }
int size() const { return N; }
};

使用：

FixedArray<double, 5> array; // 创建包含5个double的数组

模板特化

有时需要为特定类型提供不同的实现，这就是模板特化。

全特化示例：

template<>
class MyArray<bool> {
// 为bool类型提供位压缩优化实现
};

也可以进行偏特化，即只部分指定模板参数，适用于多个模板参数的情况。

基本上就这些。模板是C++强大类型系统的一部分，合理使用能大幅提升代码复用性和安全性。刚开始可能觉得语法陌生，但掌握后能写出更灵活、高效的程序。