模板的全特化與偏特化

模板為什麼要特化，因為編譯器認為，對於特定的類型，如果你能對某一功能更好的實現，那麼就該聽你的。

模板分為類模板與函數模板，特化分為全特化與偏特化。全特化就是限定死模板實現的具體類型，偏特化就是如果這個模板有多個類型，那麼只限定其中的一部分。

先看類模板：

1. template<typenameT1,typenameT2>
2. classTest
3. {
4. public:
5. Test(T1i,T2j):a(i),b(j){cout<<"模板類"<<endl;}
6. private:
7. T1a;
8. T2b;
9. };
11. template<>
12. classTest<int,char>
13. {
14. public:
15. Test(inti,charj):a(i),b(j){cout<<"全特化"<<endl;}
16. private:
17. inta;
18. charb;
19. };
21. template<typenameT2>
22. classTest<char,T2>
23. {
24. public:
25. Test(chari,T2j):a(i),b(j){cout<<"偏特化"<<endl;}
26. private:
27. chara;
28. T2b;
29. };

那麼下面3句依次調用類模板、全特化與偏特化：[cpp] view plaincopy?

1. Test<double,double>t1(0.1,0.2);
2. Test<int,char>t2(1,"A");
3. Test<char,bool>t3("A",true);

而對於函數模板，卻只有全特化，不能偏特化：[cpp] view plaincopy?

1. //模板函數
2. template<typenameT1,typenameT2>
3. voidfun(T1a,T2b)
4. {
5. cout<<"模板函數"<<endl;
6. }
8. //全特化
9. template<>
10. voidfun<int,char>(inta,charb)
11. {
12. cout<<"全特化"<<endl;
13. }
15. //函數不存在偏特化：下面的代碼是錯誤的
16. /*
17. template<typenameT2>
18. voidfun<char,T2>(chara,T2b)
19. {
20. cout<<"偏特化"<<endl;
21. }
22. */

至於為什麼函數不能偏特化，似乎不是因為語言實現不了，而是因為偏特化的功能可以通過函數的重載完成。分享到：

推薦閱讀：