作用:
使用泛型来定义函数,其中的可用具体类型(如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++允许您重载运算符+,以便能够将其用于特定的结构或类。这样使用运算符+的模板便可处理重载了运算符+的结构。另一种解决方案是,为特定类型提供具体化的模板定义