中国大学MOOC程序设计与算法（三）：C++ 面向对象程序设计 第七周 输入输出和模板 笔记 之 类模板

第七周 输入输出和模板
1.输入输出流相关的类
2.用流操纵算子控制输出格式
3.文件读写（一）
4.文件读写（二）
5.函数模板
6.类模板
7.类模板与派生、友元和静态成员变量

6.类模板

如果要写多个很相似的类，可以先写一个模板，然后用这个模板实例化

类模板 – 问题的提出

为了多快好省地定义出一批相似的类,可以定义类模板,然后由类模板生成不同的类。
比如，数组是一种常见的数据类型，元素可以是整数，学生，字符串，等。
考虑一个可变长数组类，需要提供的基本操作：
– len()：查看数组的长度
– getElement(int index)：获取其中的一个元素
– setElement(int index)：对其中的一个元素进行赋值
– ……
这些数组类，除了元素的类型不同之外，其他的完全相同
类模板：在定义类的时候，加上一个/多个类型参数。在使用类模板时，指定类型参数应该如何替换成具体类型，编译器据此生成相应的模板类。

类模板的定义

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

函数模板和类模板中class 可以替换成 typename，二者是等价的。

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

类模板里成员函数的写法：

template <class 类型参数1，class 类型参数2，……> //类型参数表

类模板里成员函数在类外面这样定义

返回值类型 类模板名<类型参数名列表>::成员函数名（参数表）
{
	……
}

用类模板定义对象的写法：

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

类模板示例： 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>
bool Pair<T1,T2>::operator < ( const Pair<T1,T2> & p) const
//Pair的成员函数 operator <
{
	return key < p.key;
}
int main()
{
	Pair<string,int> student("Tom",19);//实例化出一个类 Pair<string,int>
	cout << student.key << " " << student.value;
	return 0;
}
输出：
Tom 19

用类模板定义对象，不兼容

编译器由类模板生成类的过程叫类模板的实例化。由类模板实例化得到的类，叫模板类。
同一个类模板的两个模板类是不兼容的,这两个模板类是独立的，没有任何关系，相当于是没通过类模板，直接定义的两个类。

Pair<string,int> * p;
Pair<string,double> a;
p = & a; //wrong

函数模版作为类模板成员

#include <iostream>
using namespace std;
template <class T>
class A
{
	public:
		template<class T2>
		void Func( T2 t) { cout << t <<endl; } //成员函数模板
};
int main()
{
		A<int> a;
		a.Func('K'); //成员函数模板 Func被实例化
		a.Func("hello"); //成员函数模板 Func再次被实例化
		return 0;
}
输出：
K
Hello

类模板与非类型参数

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

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