非类型模板参数 Nontype Template Parameters

除了类型可以作为模板参数，普通值也可以作为模板函数，即非类型模板参数（Nontype Template Parameters）。

非类型类模板参数

前一章使用的例子 Stack 使用的是标准库中的容器管理元素，也可以使用固定大小的 std::array，它的优势是内存管理开销更小，数组的大小可以交给用户指定。

#include <array>
#include <cassert>
template<typename T, std::size_t Maxsize>
class Stack {
   
  private:
    std::array<T,Maxsize> elems; // elements
    std::size_t numElems; // current number of elements
  public:
    Stack(); // constructor
    void push(T const& elem); // push element
    void pop(); // pop element
    T const& top() const; // return top element
    bool empty() const {
     // return whether the stack is empty
      return numElems == 0;
    }
    std::size_t size() const {
    // return current number of elements
      return numElems;
    }
};

template<typename T, std::size_t Maxsize>
Stack<T,Maxsize>::Stack ()
 : numElems(0) // start with no elements
{
   
  // nothing else to do
}

template<typename T, std::size_t Maxsize>
void Stack<T,Maxsize>::push (T const& elem)
{
   
  assert(numElems < Maxsize);
  elems[numElems] = elem; // append element
  ++numElems; // increment number of elements
}

template<typename T, std::size_t Maxsize>
void Stack<T,Maxsize>::pop ()
{
   
  assert(!elems.empty());
  --numElems; // decrement number of elements
}

template<typename T, std::size_t Maxsize>
T const& Stack<T,Maxsize>::