一个函数模板即有特化版又有重载版,编译器会选哪个?
以下代码来自:
为什么不要特化函数模版
的例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
代码中的f(int*)调用有两个选择,一是特化版,另一个是重载版。
结果是编译器选了重载版:Overload of base template.
(与我的期望相反,我并不想让指针版为int*实例化,所以辛辛苦苦为int*作了特化,结果编译器没理我!)
原因是:编译器是从所有的重载函数中选择,而特化不是一个重载。
这时仅有两个重载。当选中一个重载函数模板后,再在该模板的特化版本中选择。