Почему компилятор не выбирает мою функцию-перегрузку шаблона в следующем примере?

Question

Учитывая следующие шаблоны функций:

#include <vector> 
#include <utility> 

struct Base { }; 
struct Derived : Base { }; 

// #1 
template <typename T1, typename T2> 
void f(const T1& a, const T2& b) 
{ 
}; 

// #2 
template <typename T1, typename T2> 
void f(const std::vector<std::pair<T1, T2> >& v, Base* p) 
{ 
}; 

Почему следующий код всегда вызывает перегрузку # 1 вместо перегрузки # 2?

int main() 
{ 
    std::vector<std::pair<int, int> > v; 
    Derived derived; 

    f(100, 200); // clearly calls overload #1 
    f(v, &derived);   // always calls overload #1 

    return 0; 
} 

Учитывая, что второй параметр f является производным типом Base, я надеялся, что компилятор будет выбирать перегрузки # 2, как это лучше, чем матч общего типа в перегрузки # 1.

Есть ли какие-либо методы, которые я мог бы использовать для перезаписи этих функций, чтобы пользователь мог писать код, отображаемый в функции main (т. Е. Используя компилятор-вывод типов аргументов)?

Answer 1

Вы можете сделать это:

f(v, static_cast<Base*>(&derived)); 

Или использовать SFINAE, чтобы удалить первый в качестве кандидата выбора:

// Install boost library and add these headers: 
#include <boost/utility/enable_if.hpp> 
#include <boost/type_traits.hpp> 

// #1 - change it to look like this (note the keyword void changed positions) 
template <typename T1, typename T2> 
typename boost::disable_if< 
    typename boost::is_convertible<T2, Base*>, void>::type 
f(const T1& a, const T2& b) 
{ 
}; 

// #2 - this one can stay the same 
template <typename T1, typename T2> 
void f(const std::vector<std::pair<T1, T2> >& v, Base* p) 
{ 
}; 

Answer 2

Учитывая то, что второй параметр F является производным тип базы

Это конвертируемые в такие, но это является производным *. Первая функция шаблона не требует преобразований, а вторая требует одного, поэтому выбирает первый.

Это выбирает второе:

f(v, static_cast<Base*>(&derived)); 

На стороне записки, main возвращает int.

Answer 3

Рядом с очевидными темами Koenig Lookup, которые более или менее хорошо реализованы компиляторами (особенно старые, довольно проблематичны), есть несколько подводных камней относительно template specialization.

Специализация требует, чтобы типы точно соответствовали (не уверены, как std определяет это, но из моего опыта [gcc, msvc] производный класс не будет сопоставлен). Если добавить некрасивый оттенок Base *, он должен работать, как вы собираетесь, возможно добавить еще одну специализацию Derived ...