1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
|
4th template <class T1, class T2>
4th void fun(T1 t1, T2 t2)
4th {
4th cout << "1: fun(T1 t1, T2 t2)\n";
4th }
7th template <class T>
7th void fun(T t, double d)
7th {
7th cout << "2: fun(T t, double d)\n";
7th }
2nd template <class T>
2nd void fun(T t, int i)
2nd {
2nd cout << "3: fun(T t, int i)\n";
2nd }
3rd template <>
3rd void fun<int, int>(int i1, int i2)
3rd {
3rd cout << "4: fun<int, int>(int i1, int i2)\n";
3rd }
1st void fun(int i1, int i2)
1st {
1st cout << "5: fun(int i1, int i2)\n";
1st }
6th void fun(int i, double d)
6th {
6th cout << "6: fun(int i, double d)\n";
6th }
5th void fun(double d, int i)
5th {
5th cout << "7: fun(double d, int i)\n";
5th }
void fun(double d1, double d2)
{
cout << "8: fun(double d1 double d2)\n";
}
int main()
{
fun(3, 3); // two ints
}
// first run: 5 is selected.
// 2nd run: drop 5, 3 is selected
// 3rd run: drop 3, 4 is selected
// 4th run: drop 4, 1 is selected
// 5th run: drop 1 results in ambiguity:
// 3 functions requiring 1 conversion (2, 6, 7)
// drop 6 keeps the ambiguity: 2 (1 dir. match, 1 conversion)
// 7 (1 conv., 1 dir. match)
// 2 and 7 aren't template and expl. special.
// drop 7 solves the ambiguity: ordinary 1st arg of 6 wins
// 6th run: drop 6, 2 is selected
// 7th run: drop 2, 8 is selected
|
