模板形参不必都是类型。在调用函数时非类型形参将用值代替,值的类型在模板列表中指定。例如,下面的函数模板声明了array_init是一个含有一个类型模板形参和一个非类型模板形参的函数模板。函数本身接受一个形参,该形参是数组的引用。
模板非类型形参是模板定义内部的常量值,在需要常量表达式的时候,可使用非类型形参,例如上述代码来指定数组的长度。当调用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;
}
[注意]
[1] 非类型模板实参必须是 编译时常量表达式。
[2] 对模板的非类型形参而言,求值结果相同且类型相同的表达式将认为是等价的。函数模板调用相同的实例。
本文转自