template < typename T >

http://zhidao.baidu.com/question/334106613.html?qbl=relate_question_0&word=c%2B%2B%D6%D0template%B5%C4%D7%F7%D3%C3

http://zhidao.baidu.com/question/26717880.html?qbl=relate_question_0&word=c%2B%2B%D6%D0template%B5%C4%D7%F7%D3%C3&optimi=4

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++编译器继续使用强类型系统编译这个函数，由强类型系统来检查这个函数是否正确。
这个过程叫做模板的“特化”，它发生在编译期，当编译器发现模板函数、模板类被使用（注意，不是定义）的时候进行的。这个系统实际上比较像宏，但是比宏更为智能。
很明显，编译器必须知道模板如何特化这个函数，因此模板函数的实现，必须在“使用点”之前，因此模板库只能通过头文件库的形式来提供。