C++模板

--------总结自《C++ Primer》
定义：
  模板就是参数化的类和函数,实现类型参数化,即把类型定义为参数,从而实现了真正的代码可重用性。
  C++ 是一种“强类型”的语言，也就是说一个变量，编译器必须确切的知道它的类型，而模板就是构建在这个强类型语言基础上的泛型系统。
  
声明：
模板函数
template< typename或class {类型参数名称}, [ int {Name}=...][, ...] >
{函数定义}

模板类
template< typename或class ... , [ int {Name}=...] >
class ...

-----------

如果在类模板外定义成员函数,应写成类模板形式： 
  template 函数类型 类模板名<虚拟类型参数>∷成员函数名(函数形参表列) {…}

-----------

  在c++ 模板(Template)中typename与class关键字他们作用多是标明其后的模板参数是类型参数,很多地方他们是多可以替换(除了typename的另一个用法:使用嵌套依赖类型名)。

-----------

 

模板的使用
例子:
template< typename T >
T max( T a, T b )
{
return a < b ? b : a;
}
这个 max 函数就是一个模板函数，它可以传入一个 “类型”的参数，以便实现任意类型求最大值的效果。假设我们这样使用它：
int x=5, y=10;
int z=max<int>( x, y );
这时候发生了什么呢？我们传入的“类型参数”是int，因此编译器在编译这段代码时会使用 int 来构造一个新函数：
int max( int a, int b )
{
return a < b ? b : a;
}
后面的事就和编译普通的函数一样了，C++编译器继续使用强类型系统编译这个函数，由强类型系统来检查这个函数是否正确。
这个过程叫做模板的“特化”，它发生在编译期，当编译器发现模板函数、模板类被使用（注意，不是定义）的时候进行的。这个系统

实际上比较像宏，但是比宏更为智能。
很明显，编译器必须知道模板如何特化这个函数，因此模板函数的实现，必须在“使用点”之前，因此模板库只能通过头文件库的形式来提供。

类型推导的隐式类型转换和模板的偏/全特化:(见《C++ Primer》（[注2]，P500）对此主题的完备讨论)