模板主要包括函数模板和类模板这两种。
函数模板技术定义了参数化的非成员函数,这使得程序能够使用不同的参数类型调用相同的函数。而至于使用何种类型,则是由贬义词确定的。并从模板中生成相应的代码。
模板函数定义:
template
T Add(T a, T b){
T result = a + b;
return a + b;
}
与一般函数的不同之处在与并没有明确的指出使用何种数据类型和返回值又是那种数据类型。数据类型的确定是由使用者在使用时指定。
在代码中所定义的函数模板,需要类型T能够对“+”运算符进行运算,也就是说如果没有默认的“+”运算符是现实,要使用该函数模板。参数化的类型的实例类型就需要对运算符“+”进行重载,否则会遇到意想不到的结果。
类模板
类模板描述了能够管理其他数据类型的通用数据类型。
template
class TemplateSample
{
private:
T& entity;
public:
void F(T& arg);//使用参数类型定义成员函数
}
第一部分是模板说明,用于声明该类为类模板切声明参数化的数据类型。
使用类模板时与函数模板有点不一样,调用时需要明确的指出使用何种数据类型,而不能有编译器自行制定,如下代码所示使用类模板定义一个变量:
TemplateSampledemo; //指出该模板使用Int类型
在实际使用该类模板之前,编译器不会为改模板生成任何代码。
在调用类模板中的成员函数时,和普通的类中的成员函数一样,如下代码所示调用类模板TemplateSample中的F(T&)函数:
demo.F(123);
类模板的模板参数定义除了class进行定义以外,还可以使用其他数据类型,但至少需要有一个模板形参是使用class定义的。
在使用非类类型的模板形参是,调用的时候改形参传递的是一个值,而不是一种类型。
template
class CSampleTemplate
{
private:
T t1;
T2 t2;
public:
CSampleTemplate(T arg1, T2 arg2){
t1 = arg1+ num;
t2 = atg2 + num;
}
void Write(){
std::cout<<t1<<endl
}
~ CSampleTemplate(void){}
}