非类型的模板参数

一：非类型的类模板参数  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）作为实参