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

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

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

Статическая типизация Swift позволяет использовать тип выражения из окружающего контекста при выборе перегруженной функции. Это поддерживает компактные API и вывод типов, когда ожидаемый результат уже известен из объявления переменной, параметра или явного преобразования.

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

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

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

Ошибочное ожидание, что Swift выберет вариант по типу, который «лучше подходит», приводит к ошибке компиляции. Не следует рассчитывать и на тип значения во время выполнения: выбор перегрузки выполняется статически.

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

При выборе перегрузки Swift учитывает доступный в точке вызова контекст ожидаемого типа. Например, если переменная объявлена как Int, подходит функция, возвращающая Int; если переменная имеет тип Double, выбирается другая перегрузка.

func value() -> Int { 1 }
func value() -> Double { 1.0 }

let count: Int = value()
let ratio: Double = value()

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

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

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

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

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

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

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

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

Вопрос: Может ли тип аргумента сделать такой вызов однозначным, если возвращаемые типы совпадают?

Ответ: Да, если перегрузки отличаются параметрами, их выбор сначала определяется переданными аргументами и их статическими типами. Но если параметры у перегрузок одинаковые, тип аргумента не помогает: остаётся только контекст результата.
Вопрос: Выбирается ли перегрузка по фактическому типу значения, хранящегося в переменной базового или протокольного типа?

Ответ: Нет. Перегрузка выбирается по статической информации, доступной компилятору в месте вызова. Динамический тип может влиять на переопределение методов класса, но не заставляет Swift во время выполнения переключаться на другую перегруженную свободную функцию или метод.
Вопрос: Достаточно ли присвоить неоднозначный вызов переменной с типом Any, чтобы Swift выбрал одну перегрузку?

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