函数模板和类模板通过template定义,支持类型自动推导与显式指定,实现泛型编程;函数模板用于通用逻辑,如max(T a, T b);类模板构建类型无关容器,如Stack,成员函数需重申模板;模板代码须在头文件中定义,支持多类型参数及非类型参数(如int N),实例化时生成独立类型,是STL设计基础。

模板是C++中实现泛型编程的核心工具,它允许我们编写与数据类型无关的通用代码。通过函数模板和类模板,可以为多种类型复用同一套逻辑,提高代码的灵活性和可维护性。下面介绍如何创建和使用C++中的函数模板与类模板。
函数模板的定义与使用
函数模板用于生成针对不同类型的函数版本。使用template关键字声明模板参数,通常配合typename或class关键字指定类型占位符。
定义语法:
templateT max(T a, T b) {
return (a > b) ? a : b;
}
这里T是类型参数,在调用时会被实际类型自动推导。例如:
立即学习“C++免费学习笔记(深入)”;
int x = max(3, 5); // T 被推导为 intdouble y = max(2.5, 7.1); // T 被推导为 double
也可以显式指定类型:
max当函数参数类型不一致时,显式指定有助于避免编译错误。
类模板的定义与实例化
类模板允许我们定义一个通用类,其中部分成员(如变量、函数)依赖于未知类型。常见于容器类如std::vector、std::stack等。
定义示例:
使用模板与程序分离的方式构建,依靠专门设计的数据库操作类实现数据库存取,具有专有错误处理模块,通过 Email 实时报告数据库错误,除具有满足购物需要的全部功能外,成新商城购物系统还对购物系统体系做了丰富的扩展,全新设计的搜索功能,自定义成新商城购物系统代码功能代码已经全面优化,杜绝SQL注入漏洞前台测试用户名:admin密码:admin888后台管理员名:admin密码:admin888
class Stack {
private:
T data[100];
int topIndex;
public:
Stack() : topIndex(-1) {}
void push(const T& value);
T pop();
bool empty() const { return topIndex == -1; }
};
// 成员函数在类外定义需再次标明模板
template
void Stack
if (topIndex data[++topIndex] = value;
}
}
template
T Stack
return data[topIndex--];
}
使用方式:
StackintStack.push(10);
intStack.push(20);
while (!intStack.empty()) {
std::cout }
每个不同的类型实例都会生成独立的类副本,如Stack
模板的注意事项与技巧
模板代码必须在头文件中定义,因为编译器需要在编译时看到完整实现才能进行实例化。不能像普通函数那样将声明与定义分离到cpp文件中。
支持多个模板参数:
templateclass Map { ... };
也可使用非类型模板参数,比如整型常量:
templateclass Array {
T data[N];
};
Array
注意非类型参数只能是编译期常量,如字面值、const表达式等。
基本上就这些。掌握函数模板和类模板的基本写法后,就能理解STL中许多组件的设计原理,也为后续学习更高级的模板技术打下基础。不复杂但容易忽略细节,多写几个例子会更清楚。










