Учитывая следующие две функции, я ожидал бы, что первая перегрузка будет вызвана, если я передам ей std::pair<const char*, std::size_t>, поскольку она более специфична, чем общий T.
void foo(const std::pair<const char*, std::size_t>& p)
{
std::cout << "pair" << std::endl;
}
template <class T>
void foo(const T& v)
{
std::cout << "generic" << std::endl;
}
int main()
{
const char* s = "abc";
foo(std::make_pair(s, std::size_t(3)));
}
Однако эта программа выводит:
generic
Почему вторая перегрузка называется вместо перегрузки, которая явно принимает pair?
Является ли это проблемой компилятора? На данный момент я использую довольно старый компилятор (GCC 4.1.2).
Хм... возможно, это проблема компилятора:
Ваш компилятор, безусловно, ошибочен. Какая ошибка, это будет только предположение, но вы правы, что этот код должен давать более конкретный результат. Образец не является большим или сложным для любого из более тонких правил, которые могут быть причиной.
Кажется, это просто проблема с компилятором. Я использовал старый компилятор (GCC 4.1.2). Использование менее древнего компилятора, похоже, приводит к правильной перегрузке, которая называется
#include <iostream>
#include <utility>
void foo(const std::pair<const char*, std::size_t>& p)
{
std::cout << "pair" << std::endl;
}
template <class T>
void foo(const T& v)
{
std::cout << "generic" << std::endl;
}
int main()
{
const char* s = "abc";
foo(std::make_pair(s, std::size_t(3)));
}
Согласно перегрузке разрешения, он должен предпочесть конкретный вариант в вашем примере.
Я бы сказал, что это ошибка компилятора из-за более старой версии. При компиляции с использованием GCC 4.8.1. Он выводит
pair
по этой ссылке: перегрузка демонстрации разрешения