C++非类型类模板参数基本概念正确理解

C++编程语言已经出现就立即引起了开发人员的注意，它具有C语言的所用功能，并能支持许多程序设计风格。我们今天要为大家介绍的则是C++非类型类模板参数的一些基本概念，让大家对这方面的内容有一个更加深入的了解。

我认为C++非类型类模板参数相当于一个全局常量的角色。书中举了下面的例子来说明非类型的类模板。这一章通过重新定义一个Stack模板，要求使用一个固定大小的数组作为元素的容器，并且数组的大小可以由模板的使用者自己定义。那么，对于模板的设计者，就应该提供一个接口使得使用者可以定义数组的大小。这就需要用到非类型的类模板参数。下面的代码能很好的解释这个问题：

#include < iostream> 
#include < string> 
#include < cstdlib> 
#include < stdexcept> 
template< typename T, int MAXSIZE> 
class Stack{  
private:  
T elems[MAXSIZE];  
int numElems;  
public:  
Stack();  
void push(T const&);  
void pop();  
T top() const;  
bool isEmpty() const{  
return numElems == 0;  
}  
bool isFull() const{  
return numElems == MAXSIZE;  
}  
};  
template< typename T, int MAXSIZE> 
Stack< T, MAXSIZE>::Stack():numElems(0)  
{  
// 不作任何事，仅为了初始化numElems。  
}  
template< typename T, int MAXSIZE> 
void Stack< T, MAXSIZE>::push(T const& elem)  
{  
if(numElems == MAXSIZE)  
{  
throw std::out_of_range("Stack< >::push()==>stack is full.");  
}  
elems[numElems] = elem;  
++numElems;  
}  
template< typename T, int MAXSIZE> 
void Stack< T, MAXSIZE>::pop()  
{  
47 if(numElems < = 0)  
{  
throw std::out_of_range("Stack< >::pop: empty stack");  
}  
--numElems;  
}  
template< typename T, int MAXSIZE> 
T Stack< T, MAXSIZE>::top()const  
{  
if(numElems)  
{  
throw std::out_of_range("Stack< >::pop: empty stack");  
}  
// 返回最后一个元素。  
return elems[numElems - 1];  
}  
int main()  
{  
try  
{  
Stack< int, 20> int20Stack;  
Stack< int, 40> int40Stack;  
Stack< std::string, 40> stringStack;  
int20Stack.push(7);  
std::cout< < "int20Stack.top() : "< < int20Stack.top()< < std::endl;  
int20Stack.pop();  
stringStack.push("HelloWorld!");  
std::cout< < "stringStack.top() : "< < stringStack.top()< < std::endl;  
stringStack.pop();  
stringStack.pop();  
}  
catch(std::exception const& ex)  
{  
std::cerr< < "Exception: "< < ex.what()< < std::endl;  
return EXIT_FAILURE;  
}  
return 0;  
} 

上面的代码揭示了C++非类型类模板参数的定义和使用方法。