泛型的基础是模板(C++),它们都是独立于特定类型的编程方式。
我们先来回顾一下C++中的模板。
【概念】
模板是支持参数化多态的工具,使用模板可以使用户为类或函数声明一种一般模式,使得类中的某些数据成员或者成员函数的参数、返回值取得任意类型。
而使用模板的目的就是,让程序员编写与类型无关的代码。说到这里突然想起来了设计模式-模板方法。这两者用到的思想是差不多的:封装,复用。不过,模板方法要比C++模板更灵活一些。
【分类】
C++模板是一种对类型进行参数化的工具,有两种形式:函数模板和类模板。其中,函数模板针对仅参数类型不同的函数,而类模板针对仅数据成员和成员函数类型不同的类。
【代码实现】
这里简单介绍一下不使用函数模板和使用函数模板之间的不同。(以两个数找最大数为例)
不使用函数模板的时候,每种参数类型的最大数方法都得写一个方法。
//不使用函数模板
int max(int a,int b)
{
return(a>b)?a:b;
}
double max(doublea,double b)
{
return(a>b)?a:b;
}
而使用函数模板的时候,用T代表了一个占位符,当在客户端调用实例化的时候,再给它赋予新的参数类型。
这样就做到了独立于特定类型的编程方式,提高了代码的复用率。
//使用函数模板
template <class T> T max(T a,T b)
{
return(a>b)?a:b;
}
客户端调用
void main()
{
int m=2,n=10;
cout<<"最大数是:"<<max(m,n)<<endl;
double d1=4,d2=20;
cout<<"最大数是:"<<max(d1,d2)<<endl;
system("PAUSE");
}
运行结果都是一样的,但是很显然后者要比前者的代码简单。
其实,上面说了这么多,C++模板就是为了提高代码的复用率,将重复的代码进行封装。