一个函数模板即有特化版又有重载版,编译器会选哪个?
以下代码来自: 为什么不要特化函数模版 的例3
代码中的f(int*)调用有两个选择,一是特化版,另一个是重载版。
结果是编译器选了重载版:Overload of base template.
(与我的期望相反,我并不想让指针版为int*实例化,所以辛辛苦苦为int*作了特化,结果编译器没理我!)
原因是:编译器是从所有的重载函数中选择,而特化不是一个重载。
这时仅有两个重载。当选中一个重载函数模板后,再在该模板的特化版本中选择。
以下代码来自: 为什么不要特化函数模版 的例3
1
#include
<
iostream
>
2
3 using namespace std;
4
5 template < class T >
6 void f(T)
7 {
8 cout << " Base template./n " ;
9 }
10
11 template <>
12 void f( int * )
13 {
14 cout << " Explicit specialization./n " ;
15 }
16
17 template < class T >
18 void f(T * )
19 {
20 cout << " Overload of base template./n " ;
21 }
22
23 int main()
24 {
25 int * p;
26 f(p);
27
28 return 0 ;
29 }
30
2
3 using namespace std;
4
5 template < class T >
6 void f(T)
7 {
8 cout << " Base template./n " ;
9 }
10
11 template <>
12 void f( int * )
13 {
14 cout << " Explicit specialization./n " ;
15 }
16
17 template < class T >
18 void f(T * )
19 {
20 cout << " Overload of base template./n " ;
21 }
22
23 int main()
24 {
25 int * p;
26 f(p);
27
28 return 0 ;
29 }
30
代码中的f(int*)调用有两个选择,一是特化版,另一个是重载版。
结果是编译器选了重载版:Overload of base template.
(与我的期望相反,我并不想让指针版为int*实例化,所以辛辛苦苦为int*作了特化,结果编译器没理我!)
原因是:编译器是从所有的重载函数中选择,而特化不是一个重载。
这时仅有两个重载。当选中一个重载函数模板后,再在该模板的特化版本中选择。