非类型模板参数格式和声明一个下面的类型是一样的。
- 整型或枚举
- 指向一个对象或一个函数
- 引用到一个对象或函数
- 指向一个成员
把非类型的模板参数声明为一个数组或者函数，将分别被转换到成指针以及指向函数的指针。下面的例子演示这些：
1 template<int a[4]> struct A {};
2 template<int f(int)> struct B {};
3
4 int i;
5 int g(int) {return 0;}
6
7 A<&i> x;
8 B<&g> y;
类型 &i 推导出来是 int *，而类型&g 推导出来是 int (*)(int) 。
你可以使用 const 或者 volatile 来修饰非类型模板参数。
你不能申明一个非类型模板参数为float 指针，类或者 void 类型。
非类型模板参数不是左值。
参考：IBM