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

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

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

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

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

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

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

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

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

В generic-функции параметр T — это один и тот же неизвестный, но конкретный тип внутри данного вызова. Компилятор выводит его из аргумента и подставляет в тип результата:

func echo<T>(_ value: T) -> T {
    value
}

let number = echo(42)       // Int
let text = echo("Swift")    // String

Вызов echo(42) связывает T с Int, поэтому переменная number получает статический тип Int. Функция остаётся универсальной, но конкретный тип не теряется.

У Any такой связи нет:

func erase(_ value: Any) -> Any {
    value
}

let value = erase(42)       // Any
let number = value as? Int  // требуется проверка типа

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

Важно различать статический и фактический тип. Если generic-функции передать значение, уже объявленное как Any, параметр T обычно будет выведен как Any; ранее стёртую информацию generic-функция не восстановит автоматически. Аналогично, передача значения со статическим типом протокольного existential-типа не превращает его автоматически в конкретный тип.

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

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

Команда создаёт универсальный слой метрик, который принимает значение и возвращает его после журналирования. Вариант с Any прост, но каждый вызывающий код получает Any и вынужден выполнять приведение. Это увеличивает шум и переносит проверку корректности на время выполнения.

Вариант с generic-функцией сохраняет тип значения и позволяет компилятору обнаруживать несовместимость сразу. Его ограничение — типовая связь должна быть выражена в сигнатуре; для по-настоящему неоднородного массива или словаря всё равно может потребоваться Any либо протокольный existential.

Рациональный выбор — generic-функция для операции, которая не меняет тип, и Any только на границе, где намеренно требуется хранить разные типы. В результате основная часть API остаётся типобезопасной, а стирание типа локализуется в одном месте.

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

Восстанавливает ли generic-функция конкретный тип, если аргумент передан как Any?

Нет. Если выражение имеет статический тип Any, компилятор выводит T из этого статического типа. Фактическое содержимое контейнера не меняет типовую сигнатуру вызова, поэтому результат также будет иметь тип Any.
Можно ли использовать generic-параметр, если функция должна принимать только значения определённого семейства типов?

Да. Для этого T ограничивают протоколом или базовым классом. Ограничение сохраняет конкретный тип T, одновременно разрешая внутри функции только операции, гарантированные этим ограничением. Это обычно точнее, чем принимать Any и проверять тип вручную.
Всегда ли generic-функция возвращает конкретный runtime-тип объекта?

Нет. Она сохраняет тип, известный компилятору в месте вызова. Если аргумент статически имеет тип базового класса или any SomeProtocol, T может быть выведен именно как этот базовый или existential-тип, даже если фактически объект является экземпляром более конкретного класса.