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

Массив Int можно безопасно рассматривать как массив Any, потому что каждый Int является допустимым значением Any. Обратное преобразование не гарантировано: массив Any может содержать значения разных типов, поэтому приведение к [Int] возможно только как условительная runtime-проверка и успешно лишь для массива, где каждый элемент является Int.

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

Такие правила возникли из общей задачи систем типов: разрешать безопасную замену более конкретного типа более общим, не разрушая типобезопасность. Any является универсальным контейнером для значений Swift, поэтому направление от [Int] к [Any] соответствует безопасному расширению множества допустимых значений.

Обратное направление требует проверки содержимого во время выполнения. Статический тип [Any] не сообщает, какие конкретно значения фактически находятся внутри массива.

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

Если без проверки считать любой [Any] массивом [Int], дальнейший код мог бы извлекать элементы как Int, хотя среди них могут быть строки, экземпляры классов или другие значения. Это привело бы к нарушению гарантий типовой системы.

Важно различать тип контейнера и тип его элементов. Наличие значения Any означает лишь, что оно может содержать произвольный Swift-тип, но не означает, что все элементы конкретного массива имеют один и тот же тип.

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

Swift поддерживает безопасное восходящее преобразование элементов массива: [Int] может быть использован там, где ожидается [Any]. Это не означает, что [Int] и [Any] — один и тот же тип; речь идёт о допустимом преобразовании более специализированного контейнера к более общему.

Обратное приведение выполняется условительно. Оно проверяет элементы массива во время выполнения и возвращает nil, если хотя бы один элемент не приводится к Int.

let integers: [Int] = [1, 2, 3]
let values: [Any] = integers

let valid = values as? [Int]
let mixed: [Any] = [1, "два", 3]
let invalid = mixed as? [Int]

print(valid != nil)   // true
print(invalid == nil) // true

Успешное приведение values as? [Int] означает, что полученный массив можно использовать как [Int]. Неуспешное приведение не меняет исходный массив и выражается значением nil типа [Int]?.

Это отличается от простого приведения одного значения Any к конкретному типу: для массива проверяется не только сам контейнер, но и совместимость его элементов. Поэтому операция может быть успешной для одного содержимого и неуспешной для другого при одинаковом статическом типе [Any].

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

Сетевой слой приложения может возвращать декодированные данные как [Any], потому что структура входного payload заранее неизвестна. Команда может попытаться использовать безусловное приведение к [Int], но при неожиданной строке приложение завершится с ошибкой.

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

Фильтрация элементов через compactMap может быть подходящей альтернативой, если нужно сохранить только корректные числа. Но она изменяет смысл операции: вместо проверки, что весь массив состоит из Int, она молча отбрасывает неподходящие элементы. Для валидации контракта выбран вариант as? [Int], чтобы ошибка данных не была скрыта.

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

Является ли Any протоколом, который можно реализовать типом?

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

Всегда ли [Int] и [Any] используют одинаковое внутреннее хранилище?

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

Что выбрать, если нужно получить только целые элементы из [Any]?

Условительное приведение к [Int] проверяет весь массив и сообщает об ошибке, если найден неподходящий элемент. Если задача — отфильтровать допустимые значения, применяют поэлементное условительное приведение, например через compactMap. Это разные семантики: строгая проверка всего входа против частичного восстановления результата.