Краткий ответ

Вывод типа успешен только тогда, когда контекст параметра шаблона позволяет однозначно выбрать одну функцию из перегруженного набора. Если несколько перегрузок после проверки соответствия подходят одинаково хорошо либо контекст не задаёт требуемый тип, вывод завершается ошибкой.

При этом компилятор не выводит тип «из всех перегрузок сразу»: он пытается сопоставить каждую функцию с формой параметра шаблона и сохранить единственный однозначный результат.

Исторический контекст

Шаблонный вывод типов создавался для вызова обобщённых функций без явного указания параметров шаблона. Это особенно важно для алгоритмов, где типы обычно очевидны из аргументов.

Перегруженное имя функции само по себе не является одним объектом с одним типом. Поэтому при его передаче шаблонному параметру компилятору сначала требуется использовать ожидаемую форму параметра, чтобы отфильтровать перегрузки. Такой подход сохраняет возможность передавать функции в обобщённый код, но не допускает произвольного выбора при неоднозначности.

Постановка проблемы

Рассмотрим шаблонную функцию, которая принимает указатель на функцию с определённой сигнатурой. Если передать ей перегруженное имя, у компилятора есть несколько кандидатов, но целевой тип параметра может выбрать только совместимую перегрузку.

Риск возникает, когда параметр шаблона слишком общий. Например, параметр вида «указатель на функцию с любыми аргументами» не задаёт достаточно информации для выбора между несколькими перегрузками. В результате вызов становится неоднозначным или тип шаблона не выводится.

Подробное решение

Для параметра, имеющего форму указателя на функцию, вывод выполняется с учётом этой формы. Компилятор проверяет перегруженные функции и оставляет те, чья сигнатура совместима с параметром. Если остаётся ровно одна функция, её тип используется для вывода.

#include <iostream>

template<class R, class A>
void call(R (*fn)(A), A value) {
    std::cout << fn(value);
}

int convert(int x) { return x + 1; }
double convert(double x) { return x + 0.5; }

int main() {
    call(convert, 4);
}

Вызов однозначен: второй аргумент сначала позволяет вывести A как int, после чего параметр первого аргумента ожидает указатель на функцию, возвращающую int и принимающую int. Выбирается целочисленная перегрузка, а результатом становится 5.

Если передать только перегруженное имя в параметр, не содержащий достаточной информации о сигнатуре, шаблонный вывод не обязан угадывать нужную функцию. Неявное преобразование между указателями на функции также не используется для того, чтобы искусственно сделать вывод успешным: сначала должен быть получен подходящий тип.

Явное приведение к нужному указателю на функцию устраняет неоднозначность, но делает вызов менее удобным. Альтернативой может быть передача лямбды, однако это уже другой объект и другой тип, а не выбор исходной перегрузки.

Ситуация из практики

В адаптере событий нужно передать обработчик, допускающий перегрузки для разных типов сообщений. Вариант с полностью обобщённым параметром функции удобен для API, но перегруженное имя не содержит достаточной информации, поэтому вызов может стать неоднозначным.

Можно потребовать от вызывающего кода явное приведение к указателю нужной сигнатуры. Плюс этого решения — точность и предсказуемость; минус — дополнительный синтаксис и более сильная зависимость кода клиента от сигнатуры.

Другой вариант — принимать конкретный тип аргумента события отдельным параметром или использовать лямбду. Это обычно удобнее для современного API, но лямбда может изменить требования к хранению, времени жизни и типу вызываемого объекта.

Для низкоуровневого адаптера, где важна именно передача свободной функции, разумно оставить параметр указателя на функцию с явной сигнатурой. Тогда контекст однозначно разрешает перегрузку, а ошибка при несовместимой функции возникает на границе API.

Что кандидаты часто упускают

Всегда ли перегруженное имя функции приводит к ошибке вывода?

Нет. Если контекст параметра задаёт сигнатуру достаточно точно, компилятор выбирает единственную совместимую перегрузку. Ошибка возникает не из-за самого факта перегрузки, а из-за отсутствия единственного результата.

Может ли второй аргумент шаблонной функции помочь выбрать перегрузку первого аргумента?

Да, если второй аргумент участвует в выводе того же параметра шаблона. В примере тип A выводится из целочисленного аргумента, после чего ожидаемая сигнатура первого параметра становится конкретной. Если параметры выводят несовместимые типы, шаблон не будет успешно выбран.

Сработает ли неявное преобразование указателя на функцию после выбора перегрузки?

Не следует рассчитывать на это при выводе. Неявные преобразования могут участвовать после того, как параметры шаблона уже выведены и кандидат выбран, но они не заменяют сам механизм вывода. Поэтому для перегруженного имени сначала нужен однозначный целевой тип, а при необходимости его задают явно.