三、模板的非類型形參：

• 1、非類型模板形參：模板的非類型形參也就是內置類型形參，如 template class B{} ; 其中int a就是非類型的模板形參。

• 2、 非類型形參在模板定義的內部是常量值，也就是說非類型形參在模板的內部是常量。

• 3、非類型模板的形參只能是整型，指針和引用，像 double，String, String ** 這樣的類型是不允許的。但是 double &，double *，對象的引用或指針是正確的。

• 4、調用非類型模板形參的實參必須是一個常量表達式，即他必須能在編譯時計算出結果。

• 5、注意：任何局部對象，局部變量，局部對象的地址，局部變量的地址都不是一個常量表達式，都不能用作非類型模板形參的實參。全局指針類型，全局變量，全局對象也不是一個常量表達式，不能用作非類型模板形參的實參。

• 6、全局變量的地址或引用，全局對象的地址或引用 const 類型變量是常量表達式，可以用作非類型模板形參的實參。

• 7、sizeof 表達式的結果是一個常量表達式，也能用作非類型模板形參的實參。

• 8、當模板的形參是整型時調用該模板時的實參必須是整型的，且在編譯期間是常量，比如 template class A{}; 如果有 int b，這時 A m;將出錯，因為 b 不是常量，如果 const int b，這時 A m; 就是正確的，因為這時 b 是常量。

• 9、非類型形參一般不應用于函數模板中，比如有函數模板 template void h(T b){} ，若使用 h(2) 調用會出現無法為非類型形參 a 推演出參數的錯誤，對這種模板函數可以用顯示模板實參來解決，如用 h(2) 這樣就把非類型形參 a 設置為整數 3。顯示模板實參在后面介紹。

• 10、非類型模板形參的形參和實參間所允許的轉換：

  • 允許從數組到指針，從函數到指針的轉換。如：template class A{}; int b[1]; A m;即數組到指針的轉換

  • const 修飾符的轉換。如：template class A{}; int b; A<&b> m; 即從 int * 到 const int * 的轉換。

  • 提升轉換。如：template class A{}; const short b=2; A m; 即從 short 到 int 的提升轉換

  • 整值轉換。如：template class A{}; A<3> m; 即從 int ?到 unsigned int 的轉換。

  • 常規轉換。

四、類模板的默認模板類型形參：

• 1、可以為類模板的類型形參提供默認值，但不能為函數模板的類型形參提供默認值。函數模板和類模板都可以為模板的非類型形參提供默認值。

• 2、類模板的類型形參默認值形式為：template class A{};為第二個模板類型形參T2提供int型的默認值。

• 3、 類模板類型形參默認值和函數的默認參數一樣，如果有多個類型形參則從第一個形參設定了默認值之后的所有模板形參都要設定默認值，比如 templateclass A{} ;就是錯誤的，因為 T1 給出了默認值，而T2沒有設定。

• 4、 在類模板的外部定義類中的成員時 template 后的形參表應省略默認的形參類型。比如 template class A{public: void h();} ; 定義方法為template void A::h(){}。

五、模板的實例化: