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

Будет вызвана перегрузка, принимающая String, потому что тип аргумента точно совпадает с её параметром. Передача String в String? возможна благодаря неявному продвижению значения в Optional, но такое преобразование проигрывает точному совпадению при выборе перегрузки.

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

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

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

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

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

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

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

При выборе перегрузки Swift оценивает не только возможность передачи аргумента, но и стоимость необходимого преобразования. Для аргумента статического типа String параметр String является точным совпадением, а параметр String? требует упаковки значения в Optional.

func describe(_ value: String) {
    print("обычная строка")
}

func describe(_ value: String?) {
    print("необязательная строка")
}

let text: String = "Swift"
describe(text) // обычная строка

Неявное продвижение работает в направлении от T к T?: обычное значение можно упаковать. Обратного неявного преобразования нет: значение типа String? нельзя передать в параметр String, поскольку внутри Optional может находиться nil.

Если аргумент уже имеет тип String?, обычная перегрузка с параметром String не является подходящей без явного извлечения значения. В таком случае выбирается перегрузка с параметром String?. Значение nil само по себе не содержит конкретного базового типа, поэтому для него требуется контекст; при наличии перегрузок для разных Optional-типов вызов может стать неоднозначным.

Важно учитывать статический тип выражения. Даже если Optional фактически содержит строку, это не превращает его во время компиляции в String и не делает доступной перегрузку для обычной строки. Это ограничение защищает от неявного извлечения nil и возможного аварийного завершения.

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

В библиотеке есть две перегрузки форматирования: одна обрабатывает обязательное значение, другая отображает отсутствие значения как специальный текст. Разработчик передаёт обычную строку и ожидает специальную optional-обработку, но вызывается версия для String, поскольку она является точным совпадением.

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

Практичнее выбрать одну функцию с параметром String?, если обе операции концептуально одинаковы и отличаются только наличием значения. Если обработка обязательного и отсутствующего значения действительно различается, лучше использовать разные внешние имена или метки параметров. Это снижает риск того, что точное совпадение перегрузки будет ошибочно принято за optional-обработку.

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

Какая перегрузка будет выбрана, если аргумент уже имеет тип String??

Будет выбрана перегрузка с параметром String?, если она существует. Тип String?? — это Optional, содержащий String?, и он не может быть неявно передан в параметр String. Не следует путать распаковку Optional с упаковкой: Swift автоматически выполняет вторую операцию, но не выполняет первую.
Что произойдёт при вызове перегруженных функций с nil, если одна принимает String?, а другая Int??

Вызов будет неоднозначным. Литерал nil может получить любой Optional-тип, но сам по себе не сообщает, должен ли он стать String? или Int?. Необходимо добавить контекст, например явно указать тип значения, выбрать перегрузку меткой параметра или выполнить явное приведение.
Изменится ли выбор перегрузки, если обычную строку явно упаковать в Optional перед вызовом?

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