函数模板

作用:
使用泛型来定义函数,其中的可用具体类型(如int或double)替换,通过将类型作为参数传递给模板,可使编译器生成该类型的函数

template<typename T>
void Swap(T &a,T &b){
  T temp;
  temp=a;
  a=b;
  b=temp;
}

重载的模板

template<typename T>
void Swap(T &a,T &b);
void Swap(T *a,T *b,int n);

模板的局限性

template<class T>
void f(T a,T b);
{...}

代码假定可执行哪些操作。例如，下面的代码假定定义了赋值，但如果T为数组，这种假设将不成立
a=b
同样，下面的语句假设定义了<，但如果T为结构，该假设便不成立：
if(a>b)

另外，为数组名定义了运算符>，但由于数组名为地址，因此它比较的是数组的地址，而这可能不是您希望的。下面的语句假定为类型T定义了乘法运算符，但如果T为数组、指针或结构，这种假设便不成立:
T c=a*b;
编写的模板函数很可能无法处理某些类型。另一方面，有时候通用化是有意义的，但C++语法不允许这样做。例如，将两个包含位置坐标的结构相加是有意义的，虽然没有为结构定义运算符+。一种解决方案是，C++允许您重载运算符+，以便能够将其用于特定的结构或类。这样使用运算符+的模板便可处理重载了运算符+的结构。另一种解决方案是，为特定类型提供具体化的模板定义