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

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

class Animal {}
class Dog: Animal {}

func label(_ value: Animal) -> String { "animal" }
func label(_ value: Dog) -> String { "dog" }

let pet: Animal = Dog()
print(label(pet)) // animal
print(label(Dog())) // dog

В первом вызове компилятор видит тип Animal, несмотря на то что фактический объект является Dog. Это отличается от переопределения методов, где может применяться динамическая диспетчеризация.

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

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

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

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

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

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

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

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

Вызов с выражением типа Dog выбирает перегрузку для Dog, если она доступна. Вызов с выражением типа Animal, содержащим тот же объект, выбирает перегрузку для Animal.

Важно не смешивать перегрузку и переопределение. Перегрузки отличаются сигнатурами и выбираются статически, а переопределённый метод класса имеет одну унаследованную сигнатуру и может быть выбран динамически по фактическому экземпляру. Для runtime-полиморфизма следует использовать переопределяемые методы или требования протокола, а не рассчитывать на перегрузки.

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

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

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

Рассматривались три варианта:

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

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

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

Изменится ли перегрузка, если объект внутри переменной базового типа фактически является экземпляром подкласса?

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

Сохраняет ли обобщённая функция конкретный тип аргумента для выбора перегрузки внутри своего тела?

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

Как правильно получить поведение, зависящее от фактического типа объекта?

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

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