泛型编程

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

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

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

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