我们在C中经常使用的swap函数
void swap(int* x, int* y)
{
int temp = *x;
*x = *y;
*y = temp;
}
但是要面对不同类型的数据,使用起来会多有不便
在C++中我们引入了泛型编程的概念
这是一种通过编写通用代码来让代码复用的一种手段,而模板是泛型编程的基础
模板有函数模板和类模板
函数模板
代表了一个函数家族,与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本
template<typename T>
void swap(T& x,T& y)
{
T temp = left;
left = right;
right = temp;
}
这里的 T 是自定义名称;
而typename是关键字,可以用class替代。
函数模板在编译阶段,编译器会根据传入的实参来推演出相应的函数来进行使用。
函数模板的实例化,分为隐式实例化和显式实例化
隐式实例化就是如上所展示的,通过实参来推断。
显示实例化是直接指定模板参数的实际类型
swap<int>(a, b);
类模板
template<class T>
class B {
//类成员定义
};
类模板实例化
B<int> b1;
B<char> b2;
类模板的实例化必须要指定类型,也就是名字后面跟<>,将实例化的数据类型放在<>中即可,
实例化后才是真正的类