泛型编程

不考虑具体数据类型的编程方式

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>();

模板参数是编译阶段被处理的单元，因此在编译阶段必须准确无误的唯一确定

因此，变量、浮点数和类对象不能作为模板参数