类模板

1、什么是类模板？

在定义类的时候,加上一个多个类型参数。在使用类模板时,指定类型参数应该如何替换成具体类型,编译器据此生成相应的模板类。

2、为什么引入类模板？

我们常见的一种数据类型：数组。由于数据存储的数据的类型不同，他们可以细分为：整数数组、结构数组、字符串数组等等。我们可以将数组及其上的操作抽象成一个类。而大多时候，我们对于数组的操作是类似的：

• 查看数组长度
• 获取其中一个元素
• 对其中一个元素赋值

这些数组类,除了元素的类型不同之外,其他的完全相同。假如没有类模板机制，我们就需要写多种这样的类。而引入模板类机制后，我们只需要写一个模板，在需要某个类时，实例化某个类即可。这大大提高了代码的重用性。

3、类模板的基本语法

(1)类模板的定义

template <class 类型参数1,class 类型参数2,......> //类型参数表
class 类模板名
{
	成员函数和成员变量
};

(2)类模板里成员函数的写法:

template <class 类型参数1,class 类型参数2,......> //类型参数表
返回值类型 类模板名<类型参数名列表>::成员函数名(参数表)
{
......
}

(3)用类模板定义对象的写法:

类模板名 <真实类型参数表> 对象名(构造函数实参表);

(4)两个概念

编译器由类模板生成类的过程叫类模板的实例化。由类模板实例化得到的类,叫模板类。

5、应用类模板举例：Pair类模板

template <class T1,class T2>
class Pair
{
public:
	T1 key;//关键字
	T2 value;//值

	Pair(T1 k,T2 v):key(k),value(v) { };
	bool operator < ( const Pair<T1,T2> & p) const;
};

template<class T1,class T2>
//Pair的成员函数 operator <
bool Pair<T1,T2>::operator < ( const Pair<T1,T2> & p) const
{
	return key < p.key;
}

int main()
{
	Pair<string,int> student("Tom",19);//实例化出一个类 Pair<string,int>
	cout << student.key << " " << student.value;
	return 0;
}
/*输出:
Tom 19
*/

6、用类模板定义对象

注意：同一个类模板的两个模板类是不兼容的

void main(){
	Pair<string,int> * p;
	Pair<string,double> a;
	p = & a; //wrong
}

7、函数模版作为类模板成员

#include <iostream>
using namespace std;
template <class T>

class A
{
public:
	template<class T2>
	void Func( T2 t) { cout << t; } //成员函数模板
};

int main()
{
	A<int> a;
	a.Func('K'); //成员函数模板 Func被实例化
	a.Func("hello"); //成员函数模板 Func再次被实例化
	return 0;
}
/*输出:
KHello
*/

8、类模板与非类型参数

类模板的“<类型参数表>”中可以出现非类型参数:

template <class T, int size>
class CArray{
	T array[size];
public:
	void Print( )
	{
		for( int i = 0;i < size; ++i)
		cout << array[i] << endl;
	}
};
void main(){
	CArray<double,40> a2;
	CArray<int,50> a3;
}
//a2和a3属于不同的类

注意：<类型参数表> 中关键字class和typename 作用完全一样。