每个模板类型参数的前面都必须有关键字class或者typename
template<typename T, U>
class coll;//是错误的
模板非类型参数(nontype parameter)代表一个潜在的值,表示模板类定义中的一个常量。
template<class Type, int size>
绑定给非类型参数的表达式必须是一个常量表达式,即,它必须能在编译时被计算出结果。
对于一个模板非类型参数如果两个不同的表达式的求值结果相同则它们被认为是等价的模板实参。
// 三者都是类型 Screen< 24, 80 >
Screen< 2*12, 40*2 > scr0;
Screen< 6+6+6+6, 20*2+40 > scr1;
Screen< width, height > scr2;
类模板的参数可以是缺省实参,
template<class Type, int size = 1024>
在向左边的参数提供缺省实参之前必须首先给最右边未初始化的参数提供缺省实参:
template <class Type, int size = 1024> class Buffer;
// ok: 考虑两个声明中的缺省实参
template <class Type = string , int size> class Buffer;
类模板实例化(template instantiation)
Queue<int> qi;
类模板实例的名字是Queue<int>/Queue<string>
类模板Queue的实例Queue<int>可以被一般的程序使用,凡是能够使用非模板类型的地方都可以:
extern Queue<int>;
foo( Queue<int> &, Queue<int> & )
使用方式和非模板类相同
Queue<int> aqi[1024];
Queye<int> *pqi = new Queue<int>;
类模板成员函数在类体外定义
template<class Type>
inline Queue<Type>::Queue()
{
front = 0;
}
模板类的友元声明:1、获得一个位于Queue和QueueItem的每个类型实例之间的一一映射:
template<class Type>
class QueueItem
{
friend class Queue<Type>;
}
2、将所有的Queue实例都声明伟每个QueueItem实例的友元:
template<class Type>
class QueueItem
{
template<class T> friend class Queue;
}
重载<<操作符。为了显示Queue<int>的内容,<<必须声明为Queue的友元函数,因为需要类的访问私有成员。
ostream& operator<<( ostream&, const Queue<int> & );
模板化后:
template <class Type>
ostream& operator<< ( ostream&, const Queue<Type>& )