C++--类模板

在函数的讲解时，讲解过函数的模板。本次讲解类的模板。
对于类的声明来说，也有同样问题，有两个或者多个类，其功能是相同的，仅仅是数据类型不同。

声明类模板

• 类的声明前必须加：
  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
	*/
}

说明：

1. 类模板的类型参数可以一个或多个，每个类型前面都需要加class

   template <class T1,class T2>
   class YJ{
   …
   }

2. 在定义对象时分别带入实际类型名：

   YJ <int double> yj ;

3. 实用模板时注意其作用域，在有效作用域内用它定义对象。

4. 模板可以由层次，可以进行派生成派生模板类。