Templates

这是一篇译文原文地址
模板我将从两个方面来为大家介绍

模板类
模板函数

如果即使数据类型不一样，有一些类却可以做同样的事，这样该多好？一个类来让你选择它是作用于什么数据类型的。
模板是一种让你的类更加抽象的方法，它可以让你在不知道将要处理什么样的数据类型的时候定义类的行为。本质上这被称为泛型编程。这是一个对于理解模板来说一个重要的概念因为它提醒程序员：一个模板类是不依赖于它将要处理的数据的类型的。进一层说，一个模板类更关心的是算法而不是一个数据类型的特殊差别。模板类可以和抽象数据类型一起使用来使其可以处理任何数据类型的数据。例如，你可能会定义一个模板栈类来处理一个任何数据类型的栈，而不是为每一个数据类型都创建一个栈类。这种使一个类可以处理不同类型的数据意味着代码更容易维护，类更加可复用。

模板类

• 声明模板类
  template class a_class {...};
  上面的class表示a_type代表一种数据类型，注意a_type不是一个关键字，是在程序执行时代表一个数据类型的标识符。例如当在类中定义变量时你可以这样
  a_type a_var
  当开发者定义了当程序初始化一个a_class的特殊实例时a_type的数据类型是什么，a_var的类型就会和其一样，当在模板类中定义成员函数时，有必要把它定义为一个模板函数。
  template void a_class::a_function(){...}
• 定义一个模板类的实例
  a_class an_example_class;
  模板类的一个实例对象成为特殊化，特殊化提醒我们原来的类是一个泛型类，鉴于一个类的特定实例被指定为单一的数据类型（可以是很多类型）
  通常从具体到抽象比较容易，因此写一个指定数据类型的的类然后变为模板的，泛型的类是很容易的。
• 我们先定义一个作用于整型的类

class calc
{
  public:
    int multiply(int x, int y);
    int add(int x, int y);
 };
int calc::multiply(int x, int y)
{
    return x*y;
}
int calc::add(int x, int y)
{
    return x+y;
}

如果我们希望浮点型数据也可以怎么办呢？我们将会使用一个模板

template  class calc
{
  public:
    A_Type multiply(A_Type x, A_Type y);
    A_Type add(A_Type x, A_Type y);
};
template  A_Type calc::multiply(A_Type x,A_Type y)
{
  return x*y;
}
template  A_Type calc::add(A_Type x, A_Type y)
{
  return x+y;
}

模板函数

模板函数比模板类要简单点，因为编译器可以从函数的参数列表中推断想要的类型

• 声明一个可以把两数相加的模板函数

template  type add(type a, type b)
{
    return a + b;
}
add( 1, 2);//结果是 3
add(5.6, 8.0);//结果是？