类模板

实现:在定义类的时候给它一个或多个參数,这个些參数表示不同的数据类型。                              -->抽象的类。

在调用类模板时, 指定參数, 由编译系统依据參数提供的数据类型自己主动产生对应的模板类                   -->详细的类。

类模板的定义

C++的类模板的写法例如以下:

template <类型參数表>        //类型參数表的写法就是:class 类型參数1, class 类型參数2, …
class 类模板名
{
成员函数和成员变量
};

类模板里的成员函数, 如在类模板外面定义时,

template <型參数表>
返回值类型 类模板名<类型參数名列表>::成员函数名(參数表)
{
……
}

用类模板定义对象的写法例如以下:

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

假设类模板有无參构造函数, 那么也能够仅仅写:

类模板名 <真实类型參数表>  对象名;

举例:

template <class T1, class T2>
class Pair{
public:
T1 key; //keyword
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; }

Pair类模板的使用:

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

函数模版作为类模板成员

#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被实例化
return 0;
}

类模板与非类型參数

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;

注意:

CArray<int,40>和CArray<int,50>全然是两个类

这两个类的对象之间不能互相赋值

类模板与继承

普通类从模板类派生

template <class T>
class A { T v1; int n; };
class B:public A<int> { double v; };// 类A是个类模板,A<int>是模板类
int main() {
B obj1;
return 0;
}

类模板从模板类派生

template <class T1, class T2>
class A { T1 v1; T2 v2; }; template <class T>
class B:public A<int, double> { T v; };
int main() { B<char> obj1; return 0; }

类模板A   ->实例化  模板类A<int,double>  ->派生   类模板B   ->实例化  模板类B<char>

此时B中有成员

int v1;

double  v2;

T v;

类模板从普通类派生

class A {  int v1; };

template <class T>
class B:public A { T v; };
int main() {
B<char> obj1;
return 0;
}

没什么可说的。在继承A的基础上添加了T类型的成员。

类模板从类模板派生

#include <iostream>
using namespace std;
template <class T1, class T2>
class A
{
public:
T1 v1; T2 v2;
}; template <class T1, class T2>
class B:public A<T1,T2>
{
public:
T1 v3; T2 v4;
}; int main()
{
B<int,double> b;
B<int,double> *pb = &b;
b.v1 = 1;
b.v3 = 3;
b.v2 = 2.2;
b.v4 = 4.4;
cout << pb->v1<<endl;
cout << pb->v2<<endl;
cout << pb->v3<<endl;
cout << pb->v4<<endl; return 0;
}

要保证当给类模板B实例化的时候,类模板A也随之完毕类型T的实例化。

B<int,double> b 时。B有自身的成员int v3 、double v4 也有继承A<int,double>的成员int v1 和 double v2

04-26 21:45