一:非类型的类模板参数 eg:
#include <stdexcept>
template <typename T,int MAX>
class Stack
{
public:
Stack();
void push(T const &);
void pop();
T top() const;
bool empty() const{
return numElems==0;
}
bool full()const{
return numElems==MAX;
}
protected:
private:
T elems[MAX];
int numElems;
};
template <typename T,int MAX>
Stack<T,MAX>::Stack():numElems(0)
{
//构造函数不做任何事
}
template <typename T,int MAX>
void Stack<T,MAX>::push(T const& elem)
{
if (numElems==MAX)
{
throw out_of_range("Stack<>::push: Stack is full");
}
elems[numElems]=elem;
numElems++;
}
template <typename T,int MAX>
void Stack<T,MAX>::pop()
{
if (numElems<0)
{
throw out_of_range("Stack<>::pop(): empty Stack");
}
--numElems;
}
template <typename T,int MAX>
T Stack<T,MAX>::top() const
{
if (numElems<0)
{
throw out_of_range("Stack<>::top(): empty Stack");
}
return elems[numElems-1];
}
Stack<int,20> int20Stack;
Stack<int,40> int40Stack; //每个模板实例都有自己的类型,因此int20Stack和int40Stack 属于不同的类型,而且这两种类型之间不存在显示或隐私的;类型转换,所以他们之间不能相互转换,更不能赋值。
Stack<string,40> stringStack;
同样我们也可以为模板参数指定缺省值
template <>typename T,int max=100>
class Stack
{.............}
二:非类型的函数模板参数 eg
template <typename t,int val>
T addvalue(t const & x)
{
return x+val;
}
三:非类型模板参数的限制
通常而言它们是常整数(包括枚举值)或者指向外部链接对象的指针,全局指针不能作为模板参数;
小结:
模板可以具有值模板参数,而不仅仅是类型模板参数。
对于非类型模板参数,你不能使用浮点数、class类型的对象和内部链接对象(例如string)作为实参