类模板与模板类
为什么要引入类模板：类模板是对一批仅仅成员数据类型不同的类的抽象，程序员只要为这一批类所组成的整个类家族创建一个类模板，给出一套程序代码，就可以用来生成多种具体的类，(这类可以看作是类模板的实例)，从而大大提高编程的效率。
注意：
1、类模板是参数化的类，即用于实现数据类型参数化的类。
2、应用类模板可以使类中的数据成员、成员函数的参数及成员函数的返回值，能根据模板参数匹配情况取任意数据类型
//类模板的定义
template <类型形参表>
class 类名
{
//类说明体
};
//类外成员函数的定义
template <类型形参表> //不要漏了啊。
返回值类型 类模板名<类型名表>::成员函数名(参数表)
{
//成员函数体
}
类模板的实例化：
类模板名 <实际类型> 对象名(实参表)；
具体的使用过程：
注意：
1、模板类的成员函数必须是函数模板
2、类模板中的成员函数的定义，若放在类模板中，则与普通类的成员函数的定义方法相同；若在类模板之外定义，则成员函数的定义格式如上
书写代码时要注意 类模板和普通类的代码区别：
1、针对类整体而言，在类定义前必须有模板声明
2、针对类外定义的成员函数(每个函数都有)而言，定义时必须要冒(模板声明) + 在函数名前、类后必须加<Type>
3、针对类的对象而言，在建立对象时，必须在类名和对象之间要写实际类型<实际类型>
模板类的形参表：template <类型形参表>
模板形参表类似函数形参表，由类型、非类型和模板三部分组成。
类型形参：代表所有的数据类型-所有的均可代表(类类型+预定义类型)
格式：由 关键字class或typename + 名字 组成
例如：template <class T,class D>,其中T和D都是一个类型形参，名字可以有自己定义
用途：这三种形参作用一样，均可以模板类型形参可作为类型说明符用在模板中的任何地方，即可以用于指定反回类型，变量声明等。
替代时间：类模板的类型实参必须在实例化类对象的时候指定
说明：这里的class表示一类类型，T是在实例化时确定，它的替代可以是任何类型，即类类型，预定义数据类型，比较通用
非类型形参=内置类型形参：代表具体的一类(C++的标准数据类型的一种，如整型)
格式：由 标准数据类型 + 名字 组成
例如：template <int a, int b>,其中a和b都是非类型形参 或 如template<class T, int a>,T为类型参数，a为非类型参数
参数有三种情况：
1、整型或枚举类型
2、指针类型（包含普通对象的指针类型、函数指针类型、指向成员的指针类型）
3、引用类型（指向对象或指向函数的引用都是允许的）
有些常值不能作为有效的非类型实参，包括：
1、空指针常量
2、浮点型值
3、字符串
说明：
1、非类型形参在模板定义的内部是常量值，也就是说非类型形参在模板的内部是常量，或者说只能是右值，它们不能被取址，也不能被赋值
2、调用非类型模板形参的实参必须是一个常量表达式，或者是一个数，即它必须能在编译时计算出结果。
举例：
template <class T, int size>
class A
{ };
A<int 10> a; //正确
int b;
A<int, b> a; //错误，b不是常量
const int c;
A<int, c> a; //正确，c是常量
非类型模板形参还可以使用缺省值
template <class T, int Size=100>
class A
{ };
A<int>a;//使用缺省值，设置长度100
A<int,200>a;//不使用缺省值长度设置200
说明：
百度说，非类型形参一般不应用于函数模板
非类型模板形参的形参和实参间所允许的转换 <引用黄邦勇帅的总结。>
1、允许从数组到指针，从函数到指针的转换。如：template <int *a> class A{}; int b[1]; A<b> m;即数组到指针的转换
2、const修饰符的转换。如：template<const int *a> class A{}; int b; A<&b> m; 即从int *到const int *的转换。
3、提升转换。如：template<int a> class A{}; const short b=2; A<b> m; 即从short到int的提升转换
4、整值转换。如：template<unsigned int a> class A{}; A<3> m; 即从int到unsigned int的转换。
5、常规转换。
模板形参：一个模板作为另一个模板的参数
格式：
template <class A,class B,template<class C> class D>
class E
{//类模板E的定义}
说明：
1、template<class C> class D 是一个模板。
2、定义一个模板E，其中有两个类型参数A和B，一个模板参数D。注意C有时候可以省略不写
模板参数使用说明：
1、首先要定义一个模板：用来实例化模板E的对象。
2、A和B可以是任意类型；但是D可以是程序员自己定义的，也可以是STL中的标准模板库
代码：
//首先定义一个普通的模板
template<class T>
class Array
{
//模板Array的成员
};
//定义一个模板Container，参数列表：一个类型为T，另一个模板类型Seq
template<class T, template<class> class Seq>//这里Seq前面的<>没有写参数名字
class Container
{
Seq<T> seq;
... ...
};
//注意：注意Seq模板的声明并没有带模板参数的名字,因为这里我们不会用到这个参数,所以可以省略不写.
实例化：
Container<int, Array> container;
说明：模板第一个参数为int，第二个参数为自己定义的模板(注意这里Array也代表一个类型，用户自定义的数据类型)
Container<int, vector<int>> container;
说明：模板第一个参数为int，第二个参数为STL中提供的模板(注意要使用实例化后的类型，因为这里参数必须是类型)
不知道直接写vector能不能用，是不是直接写vector时，下面使用seq时，要加<int>：seq<int>，写了就不加<int>:seq.
等以后用到在确定下？？？
用途：这样定义一个泛化的容器，容器里所存储的对象也是泛化
分析：需要两个类型：
一个是代表容器类型，vector，list。
另一个是存放数据的类型，如int，string
这时就要使用模板的模板参数：模板参数本身含是一个模板
举例：
template<class TElem,template<class Type
,class Allocator=allocator<Type>> class TContainer>
class MyContainer : public TContainer<TElem>
{ };
实例化时就可以：
MyContainer<int,vector> myContainer;
说明：这里参数也可以使用默认的参数，就像函数中的确省参数是一样的，如class Allocator=allocator<Type>