Есть два шаблона функции, одна из них принимает ссылку на массив char, вторая - указатель на char. Если мы вызываем функцию, передавая ей в качестве параметра строковый литерал, то все работает как и ожидается - инстанцируется шаблон с параметром массива.
template <size_t n>
void f(const char (&)[n])
{
std::cout << "-- char []" << std::endl;
}
template <typename>
void f(const char *)
{
std::cout << "-- char *" << std::endl;
}
int main()
{
f("abc");
return 0;
}
-- char []
Но если мы добавим в параметры шаблонов тип элементов массива/указателя, то компилятор выдает ошибку неоднозначности выбора:
template <typename t, size_t n>
void f(const t (&)[n])
{
std::cout << "-- char []" << std::endl;
}
template <typename t>
void f(const t *)
{
std::cout << "-- char *" << std::endl;
}
int main()
{
f("abc");
return 0;
}
a.cpp:63:8: error: call of overloaded ‘f(const char [4])’ is ambiguous
Почему в данном случае компилятор не может выбрать функцию, и как это побороть?
f((const char*)"abc");
илиf<char,4>("abc");
.