非类型形参的模板实参

模板形参不必都是类型。 在调用函数时非类型形参将用值代替，值的类型在模板列表中指定。例如，下面的函数模板声明了array_init是一个含有一个类型模板形参和一个非类型模板形参的函数模板。函数本身接受一个形参，该形参是数组的引用。

#include <iostream> using std::cout; using std::endl; using std::size_t; // initialize elements of an array to zero template <class T, size_t N> void array_init( T (&parm)[N] ) { for (size_t i=0; i!=N; ++i) { parm[i]=0; } } // calculate the length of array template <typename T, size_t N> size_t size( T (&arr)[N] ) { return N; } int main() { int ia[]={1, 2, 3, 4, 5, 6, 7}; double da[]={1.1, 2.2, 3.3, 4.4, 5.5}; array_init(ia); array_init(da); for (size_t i=0; i!=sizeof(ia)/sizeof(ia[0]); ++i) { cout<<ia[i]<<" "; } cout<<endl; for (size_t i=0; i!=sizeof(da)/sizeof(da[0]); ++i) { cout<<da[i]<<" "; } cout<<endl; cout<<"length of ia: "<<size(ia)<<endl; cout<<"length of da "<<size(da)<<endl; return 0; }

模板非类型形参是模板定义内部的常量值 ，在需要常量表达式的时候，可使用非类型形参，例如上述代码来指定数组的长度。当调用array_init时，编译器从数组实参计算非类型形参的值。

[注意]
[1] 非类型模板实参必须是编译时常量表达式 。
[2] 对模板的非类型形参而言，求值结果相同且类型相同的表达式将认为是等价的 。函数模板调用相同的实例 。