泛型是为了解决数据类型的通用性。
在定义函数或者类时先不定义类型,用一个占位符占下来,实例化时再赋予其类型。
一般分为两步:
1.指定一种通用类型T,不具体指明是哪一种类型。
2.实例化类时把T替换成int 、string、...内建或者是自定类型。
1.函数语法
//函数返回类型 函数名(形参列表…)
//返回的是 T1 输入是T1 T2 int
//template 是关键字
//下面两种写法可以
template <typename T1,typename T2>
T1 fun(T1, T2, int){ }
template <class T1, class T2>
T1 fun(T1, T2, int){ }
//下面两种写法不可以 会报T2未定义
template <typename T1,T2>
T1 fun(T1, T2, int){ }
template <class T1, T2>
T1 fun(T1, T2, int){ }
2.类语法
/*template <class 模版参数列表…>
class 类名
{ //类体}
成员的实现…
}*/
//1.定义了两个参数
template <class T1, class T2 >
class fxClassA
{
private:
int a;
T1 b; //成员变量也可以用模板参数
public:
int fun1(T1 x, int y);
T2 fun2(T1 x, T2 y);
};
//2.类实现部分 每个函数上都要有类型定义
template <class T1, class T2 >
int fxClassA<T1>::fun1(T1 x, int y) {}//这个函数没有用到T2,如果不写是会报错的
template <class T1, class T2 >
T2 fxClassA<T1, T2>::fun2(T1 x, T2 y) {}
//3.类使用
int template_main()
{
//定义对象a,并用int替换T1, float替换T2
fxClassA<int, float> a;
//实例化a,调用a的属性和方法……
}