不考虑具体数据类型的编程方式
void sw(T& a,T& b) { T c = a; a = b; b = c; }template
sw(a, b); sw(a, b);
函数模板可以像普通函数一样被重载
编译器优先考虑普通函数如果函数模板可以产生一个更好的匹配,那么选择模板可以通过空模板实参列表限定编译器只匹配模板
int r1 = MAX(1,2); double r2 = MAX<>(0.5,0.8);类模板
这些类主要用于存储和组织数据元素类中数据组织的方式和数据元素的具体类型无关
template <typename T> class Operator { public: T op(T a, T b); };使用具体类型定义对象
Operator<int> op1;工程应用:
类模板必须在头文件定义类模板不能分开实现在不同的文件中类模板外部定义的成员函数需要加上模板<>声明
template <typename T> T Operator<T>::add(T a,T b) { return a+b;}
类模板可以被特化
template<typename T1,typename T2> class Test { };部分特化:
template <typename T> class Test <T, T> {};完全特化:
template< > class Test <int, int> { };特化只是模板的分开实现,本质上是同一个类模板
函数模板只支持类型参数完全特化
模板参数可以是数值型参数
template<typename T,int N> void func() { T a[N]; } func<double,10>();模板参数是编译阶段被处理的单元,因此在编译阶段必须准确无误的唯一确定
因此,变量、浮点数和类对象不能作为模板参数