三、模板的非類型形參：

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

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

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

• 4、調(diào)用非類型模板形參的實(shí)參必須是一個(gè)常量表達(dá)式，即他必須能在編譯時(shí)計(jì)算出結(jié)果。

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

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

• 7、sizeof 表達(dá)式的結(jié)果是一個(gè)常量表達(dá)式，也能用作非類型模板形參的實(shí)參。

• 8、當(dāng)模板的形參是整型時(shí)調(diào)用該模板時(shí)的實(shí)參必須是整型的，且在編譯期間是常量，比如 template class A{}; 如果有 int b，這時(shí) A m;將出錯(cuò)，因?yàn)?b 不是常量，如果 const int b，這時(shí) A m; 就是正確的，因?yàn)檫@時(shí) b 是常量。

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

• 10、非類型模板形參的形參和實(shí)參間所允許的轉(zhuǎn)換：

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

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

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

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

  • 常規(guī)轉(zhuǎn)換。

四、類模板的默認(rèn)模板類型形參：

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

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

• 3、 類模板類型形參默認(rèn)值和函數(shù)的默認(rèn)參數(shù)一樣，如果有多個(gè)類型形參則從第一個(gè)形參設(shè)定了默認(rèn)值之后的所有模板形參都要設(shè)定默認(rèn)值，比如 templateclass A{} ;就是錯(cuò)誤的，因?yàn)?T1 給出了默認(rèn)值，而T2沒有設(shè)定。

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

五、模板的實(shí)例化: