Основные шаблоны C++

Question

При чтении о шаблонах я столкнулся следующий код:

template<class T> 
void f(T x, T y) { 
cout << "template" <<endl; 
} 

void f(int w, int z) { 
cout << "Non template" <<endl; 
} 

int main() { 
f(1,2); 
f('a','b'); 
f(1,'b'); 
} 

В книге говорится о том, что выход для этого кода будет:

Non template 

Template 

Non template 

Последняя строка, f (1, 'b'), меня озадачивает (или его выход скорее). Что такое эмпирическое правило, которое компилятор выполняет в этом случае? Спасибо заранее.

Answer 1

Первая функция:

У вас есть п (Int, Int), определенный, поэтому компилятор будет считать, что один. Если вы хотите явно использовать шаблон, который вы можете назвать это нравится:

f<int>(1,2); 

Вторая функция:

Ну, вы не имеете автофокусировки (символ, символ), определенный, но он соответствовал определению шаблона , поэтому он использует это.

Третья функция:

Вы не шаблон для F (T1, T2). Однако у вас есть неявный приведение в int из char функции, которая будет принимать f (int, int). Поэтому он снова выполняет функцию.

Кроме того, если f (int, int) не будет определяться, то ваша функция Template не может быть вызвана для f (int, char), поскольку она имеет разные типы в качестве параметров.

Answer 2

Шаблон принимает оба аргумента одного типа T.

f(1,'b') не соответствует шаблону, так как 1 и 'b' не такого.