模板特化与偏特化

曾经终败给现在 2022-08-05 15:17 170阅读 0赞

模板为什么要特化，因为编译器认为，对于特定的类型，如果你能对某一功能更好的实现，那么就该听你的。

模板分为类模板与函数模板，特化分为全特化与偏特化。全特化就是限定死模板实现的具体类型，偏特化就是如果这个模板有多个类型，那么只限定其中的一部分。

先看类模板：

**\[cpp\]**  [view plain][] [copy][view plain]

1.  **template**<**typename** T1, **typename** T2>  
2.  **class** Test  
3.  \{  
4.  **public**:  
5.      Test(T1 i,T2 j):a(i),b(j)\{cout<<"模板类"<<endl;\}  
6.  **private**:  
7.      T1 a;  
8.      T2 b;  
9.  \};  
10.   
11. **template**<>  
12. **class** Test<**int** , **char**>  
13. \{  
14. **public**:  
15.     Test(**int** i, **char** j):a(i),b(j)\{cout<<"全特化"<<endl;\}  
16. **private**:  
17.     **int** a;  
18.     **char** b;  
19. \};  
20.   
21. **template** <**typename** T2>  
22. **class** Test<**char**, T2>  
23. \{  
24. **public**:  
25.     Test(**char** i, T2 j):a(i),b(j)\{cout<<"偏特化"<<endl;\}  
26. **private**:  
27.     **char** a;  
28.     T2 b;  
29. \};

那么下面3句依次调用类模板、全特化与偏特化：

**\[cpp\]**  [view plain][] [copy][view plain]

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 plain][] [copy][view plain]

1.  //模板函数  
2.  **template**<**typename** T1, **typename** T2>  
3.  **void** fun(T1 a , T2 b)  
4.  \{  
5.      cout<<"模板函数"<<endl;  
6.  \}  
7.    
8.  //全特化  
9.  **template**<>  
10. **void** fun<**int** ,**char** >(**int** a, **char** b)  
11. \{  
12.     cout<<"全特化"<<endl;  
13. \}  
14.   
15. //函数不存在偏特化：下面的代码是错误的  
16. /\* 
17. template<typename T2> 
18. void fun<char,T2>(char a, T2 b) 
19. \{  
20.     cout<<"偏特化"<<endl; 
21. \} 
22. \*/

至于为什么函数不能偏特化，似乎不是因为语言实现不了，而是因为偏特化的功能可以通过函数的重载完成。

[view plain]: http://blog.csdn.net/thefutureisour/article/details/7964682/#