1 第四章 非类型模板参数
对于函数模板和类模板，模板参数并不局限于类型，普通值也可以作为模板参数。
1.1 非类型的类模板参数
例如：
Template<typename T, int MAXSIZE>
Class Stack{
Private:
T elems[MAXSIZE];
…
};
Int main()
{
Stack<int, 20> int20Stack;
Stack<int, 40> int40Stack;
…
};
每个模板实例都具有自己的类型，因此int20Stack和int40Stack属于不同的类型，而且这两种类型之间也不存在显示或者隐式的类型转换；所以他们之间不能相互替换。
1.2 非类型的函数模板参数
template<typename T, int VAL>
T addValue(T const& x)
{
return x+VAL;
}
std::vector<int> src;
std::vector<int> dest;
src.push_back(1);
src.push_back(2);
dest.resize(5);
std::transform(src.begin(), src.end(), dest.begin(), addValue<int, 5>);//1
书上说最后一句要写成：
std::transform(src.begin(), src.end(), dest.begin(), (int(*)(int const&))addValue<int, 5>);//2
经过我在VS2005下验证，直接写成1的样式就可以了。
1.3 非类型模板参数的限制
一般来说，非类型模板参数可以是常整数（包括枚举）或者指向外部链接对象的指针。
那么就是说，浮点数是不行的，指向内部链接对象的指针是不行的。
那么，什么是指向内部链接对象的指针呢，下面给一个例子。
template<char const* name>
class MyClass{
...
};
MyClass<"hello"> x;
其中的”hello”就是一个内部链接对象，因为他是一个字面常量。字面常量都是内部链接对象。
如果改为：
extern char const s[] = "hello";
MyClass<s> x;
则是可以的。