非類型模板參數格式和聲明一個下面的類型是一樣的。
• 整型或枚舉
• 指向一個對象或一個函數
• 引用到一個對象或函數
• 指向一個成員
把非類型的模板參數聲明為一個數組或者函數,將分別被轉換到成指針以及指向函數的指針。下面的例子演示這些:
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 類型。
非類型模板參數不是左值。
摘自 BreakMind