C++泛型

对T的理解：

class stack<参数模板 T>
{
push(T) //入栈算法
pop(T) //出栈算法
}
这里的参数模板T相当于一个占位符，当我们实例化类stack时，T会被具体的数据类型替换掉。

泛型的引入：

泛型在C++中的主要实现为模板函数和模板类。
通常使用普通的函数实现一个与数据类型有关的算法是很繁琐的，比如两个数的加法，要考虑很多类型：

int add(int a,int b) { return a+b; }

float add(float a,float b) { return a+b; }

…

虽然在C++中可以通过函数重载来解决这个问题，但是反复写相同算法的函数是比较辛苦的，更重要的是函数重载是静态编译，运行时占用过多内存。
在此我们可以用C++的模板函数来表达通用型的函数，如下：
template< typename T> // 模板声明
T add(T a,T b) { return a+b; } // 注意形参和返回值的类型
这时C++编译器会根据add函数的参数类型来生成一个与之对应的带具体参数类型的函数并调用。

性质：

1. 函数模板并不是真正的函数，它只是C++编译生成具体函数的一个模子。
2. 函数模板本身并不生成函数，实际生成的函数是替换函数模板的那个函数，比如上例中的add(sum1,sum2)，
   这种替换是编译期就绑定的。
3. 函数模板不是只编译一份满足多重需要，而是为每一种替换它的函数编译一份。
4. 函数模板不允许自动类型转换。
5. 函数模板不可以设置默认模板实参。比如template 不可以。

注意：

class 和typename是可以互换的。