模板的定义

template<typename 占位符1,typename 占位符2,typename 占位符3>

函数模板

template<typename T, typename R, typename S> T maxt(R x, S y) { return (x>y)?x:y; }

编译时，编译器根据关键字template记住模板名，当调用该模板函数时，编译器就会用实际数据类型去替换占位符，生成一个实体函数。

类模板

template<typename T> class Circle { private : T radius; public: Circle(T r){radius=r;} T Area(){ return 3.14*radius*radius; } } int main() { Cicle<int> circle(10); cout<<circle.Area(); }

auto和decltype

auto关键字用来自动推导数据类型，在因某种原因很难确定变量类型时显得特别有用。如

template<typename T, typename U> auto Multiply(T t, U u)->decltype(t*u) { return t*u; }

这里面返回值很难确定，因此用auto来做返回值，这种做法叫做返回值占位。decltype指明类型的推导方法为t*u。之所以这样做，是因为现在的auto还不能在比较复杂的运算中确定结果的数据类型。

模板的特化和具现

当有一些数据类型对业务要求与众不同时，就要对其特化。

函数的特化 template<typename T, typename R, typename S> T maxt(R x, S y) { return (x>y)?x:y; } template<> char* mymax(char* t1, char* t2) { return (strcmp(t1,t2)<0?t2:t1); } 类的特化和偏特化 偏特化即可以只特化一个或者几个参数模板的具现 当存在多个同名泛型时，编译器的选择顺序为： 特化模板->偏特化模板->普通模板->系统