实际上有三种类型模板参数:类型模板参数、无类型模板参数和模板模板参数(以模板做为模板的参数)。 1、类型模板参数 类型模板参数是咱们使用模板的主要目的。咱们能够定义多个类型模板参数: template<typename T,typename Container> class Grid {...} 一样,也能够为类型模板参数指定默认值: #include <iostream> using std::vector; template<typename T,typename Contianer=vector<T> > //注意空格 class Grid {...} 2、模板模板参数(template template parameter) 就是将一个模板做为另外一个模板的参数。 正如上面的一个例子: Grid<int,vector<int> > myIntGrid; 注意其中int出现了两次,必须指定Grid和vector的元素类型都是int。 若是写成: Grid<int,vector> myIntGrid; 由于vector自己就是一个模板,而不是一个类型,因此这就是一个模板模板参数。指定模板模板参数有点像在常规的函数中指定函数指针参数。 函数指针类型包括返回类型和函数的参数类型。在声明模板模板参数的时候也要包括完整的模板声明: 首先要知道做为参数的模板的原型,好比vector template<typename E,typename Allocator=allocator<E> > class vector {...}; 而后就能够定义: template<typename T,template<typename E,typename Allocator=allocator<E> >class Container=vector> class Grid { public: //Omitted for brevity Container<T>* mCells; }; 模板模板参数的通常语法: template<other params,...,template<TemplateTypeParams> class ParameterName,other params,...> 举例一个应用,Grid的一个构造函数: template<typename T,template<typename E,typename Allocator=allocator<E> >class Container> Grid<T,Container>::Grid(int inWidth,int inHeight): mWidth(inWidth),mHeight(inHeight) { mCells=new Container<T> [mWidth]; //注意此处Container<T>说明,实际上仍是说明 Grid<int,vector<int> > for(int i=0;i<mWidth;++i) mCells[i].resize(mHeight); } 使用的时候,与通常的没有什么区别: Grid<int,vector> myGrid; myGrid.getElement(2,3); 注意:不要拘泥于它的语法实现,只要记住可使用模板做为模板的一个参数。 3、无类型模板参数 无类型模板参数不能是对象,甚至不能是double或者float。无类型参数仅限于int、enmu、指针和引用。 有时可能想要容许用户指定一个特定值的元素来初始化空对象,可使用如下的方法: template<typename T,const T EMPTY> class Grid { public: //Omitted for brevity Grid(const Grid<T,EMPTY>& src); Grid<T,EMPTY>& operator=( const Grid<T,EMPTY>& rhs); //... }; 咱们能够这样使用: Grid<int,10> myIntGrid; Grid<int,20> myIntGrid2; 初始值能够是任意的int数,也就是必须是int、enmu、指针和引用的一种。 4、指针和引用模板参数 指针和引用模板参数必须指向全部翻译单元中均可用的全局变量。对于这些类型的变量,相应的技术术语就是带有外部链接的数据。 使用extern声明便可。 如: template<typename T ,const T& EMPTY> class Grid {...}; extern const int emptyInt=0; Grid<int,emptyInt> myIntGrid; 对于初始化咱们还可使用“零初始化”即 T().