非類型模板參數（針對C++）

非類型模板參數格式和聲明一個下面的類型是一樣的。

• 整型或枚舉
• 指向一個對象或一個函數
• 引用到一個對象或函數
• 指向一個成員

把非類型的模板參數聲明為一個數組或者函數，將分別被轉換到成指標以及指向函數的指標。下面的例子示範這些：

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