在函数的讲解时,讲解过函数的模板。本次讲解类的模板。
对于类的声明来说,也有同样问题,有两个或者多个类,其功能是相同的,仅仅是数据类型不同。
声明类模板
- 类的声明前必须加:
template <class 虚拟类型参数名>
例如:
class Compare_int{
public:
Compare_int(int a,int b):x(a),y(b){}
int max() {
return (x > y) ? x : y;
}
int min() {
return (x < y) ? y : x;
}
private:
int x;
int y;
};
class Compare_double {
public:
Compare_double(double a, double b) :x(a), y(b) {}
double min() {
return (x > y) ? y : x;
}
double max() {
return (x > y) ? x : y;
}
private:
double x;
double y;
};
由于功能都相同,只是数据类型不同,可以使用模板类:
template <class T>
class compare {
public :
Compare(T a, T b) { x = a; y = b; }
T max() {
return (x > y) ? x : y;
}
T min() {
return (y > x) ? x : y;
}
private:
T x;
T y;
};
使用
- 一般形式:
类模板名 <实际类型名> 对象名(参数表); - 进行编译时,系统会用具体数据类型代替虚拟类型名,把类模板具体化(实例化)。
void main() {
Compare<int> c1(12 , 54);
cout << "min=" << c1.min() << " max=" << c1.max()<<endl;
Compare<double> c2(21.11,31.13);
cout << "min=" << c2.min() << " max=" << c2.max();
/*
min=12 max=54
min=21.11 max=31.13
*/
}
在类外定义成员函数
不同于一般的成员函数定义形式
- 一般形式:
template <class 虚拟类型参数名>
函数类型 类模板名<虚拟类型参数> :: 成员函数名 (函数形参列表){······}
#include <iostream>
using namespace std;
template <class T>
class Compare {
public :
Compare(T a, T b) { x = a; y = b; }
T max();
T min();
private:
T x;
T y;
};
template <class T>
T Compare<T>::max() {
return (x > y) ? x : y;
}
template <class T> //若不写此行会报错: “T” : 未声明的标识符
T Compare<T>::min() {
return (x < y) ? x : y;
}
void main() {
Compare<int> c1(12 , 54);
cout << "min=" << c1.min() << " max=" << c1.max()<<endl;
Compare<double> c2(21.11,31.13);
cout << "min=" << c2.min() << " max=" << c2.max();
/*
min=12 max=54
min=21.11 max=31.13
*/
}
说明:
-
类模板的类型参数可以一个或多个,每个类型前面都需要加class
template <class T1,class T2>
class YJ{
…
} -
在定义对象时分别带入实际类型名:
YJ <int double> yj ;
-
实用模板时注意其作用域,在有效作用域内用它定义对象。
-
模板可以由层次,可以进行派生成派生模板类。