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

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

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

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

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

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

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

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

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

Swift разрешает перегрузки, анализируя тип выражения в месте вызова. Если переменная объявлена как Any, компилятор видит именно Any, а не тип объекта, который будет храниться внутри контейнера во время выполнения.

func process(_ value: Any) {
    print("Any")
}

func process(_ value: String) {
    print("String")
}

let value: Any = "Swift"
process(value)          // Any

if let text = value as? String {
    process(text)       // String
}

В первом вызове выбирается process(Any). Во втором после успешного as? переменная text имеет статический тип String, поэтому выбирается специализированная перегрузка.

Важно не смешивать перегрузку с динамическим диспетчеризацией методов. Переопределённый метод класса может выбираться по динамическому типу экземпляра, но набор перегруженных функций или методов определяется статическими типами аргументов. Type casting и pattern matching — явные способы вернуть проверку фактического типа в код.

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

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

Сервис аналитики принимает массив разнородных событий как [Any]. Для строк, чисел и объектов событий существуют специализированные обработчики, но вызов обработчика непосредственно с элементом массива всегда ориентируется на статический тип Any.

Вариант с набором перегрузок и передачей Any прост, но специализированная логика сама не выбирается. Вариант с приведением каждого элемента через as? явно показывает поддерживаемые типы, однако требует ветвления и обработки неподдерживаемых значений. Вариант с единым протоколом событий лучше масштабируется, но требует, чтобы все элементы заранее соответствовали общей модели.

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

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

Допустимо ли ожидать динамический выбор перегрузки для значения, возвращённого из функции с типом Any?

Нет. Возвращаемый тип выражения остаётся Any, поэтому перегрузка снова выбирается по Any. Фактический тип результата не влияет на compile-time resolution; для специализированного вызова требуется приведение, pattern matching или изменение сигнатуры функции.

Что изменится, если вместо перегрузок использовать обобщённую функцию?

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

Почему вызов переопределённого метода может вести себя динамически, хотя перегрузка выбирается статически?

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