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

Да. [Int?] можно использовать там, где ожидается [Any?], потому что Swift применяет ковариантное преобразование последовательно: Int совместим с Any, а Optional<Int> — с Optional<Any>; затем это преобразование поддерживает Array.

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

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

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

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

Важно не перепутать несколько уровней типов: Int, Optional<Int>, Any и Optional<Any> — это разные типы. Ошибка в рассуждении приводит к ожиданию, что любой массив можно передать в массив другого типа или что Swift выполнит произвольное числовое преобразование.

Отдельно нужно учитывать семантику nil: отсутствие значения внутри исходного Optional не становится целым числом, строкой или другим конкретным значением.

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

Сначала Swift рассматривает преобразование элемента Int? → Any?. Если элемент содержит Int, он может быть представлен как Any; если элемент равен nil, отсутствие значения сохраняется. Затем применяется ковариантное преобразование массива [Int?] → [Any?].

Минимальный пример:

let source: [Int?] = [1, nil]
let target: [Any?] = source

print(target.count)
print(target[1] == nil)

Результат — 2 и true. Это не означает, что массивы становятся взаимозаменяемыми во всех направлениях: обратное преобразование [Any?] → [Int?] небезопасно, поскольку элементы могут содержать значения других типов.

Ковариантность контейнера не отменяет его value semantics. Переменная target не получает право записывать произвольные значения в source; Swift должен сохранить типобезопасность исходного массива. При изменении массива также применяются обычные правила Copy-on-Write.

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

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

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

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

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

Является ли [Any?] супертипом для любого массива?

Нет. Совместимость возникает не потому, что Any? автоматически принимает всё на уровне контейнера, а потому, что конкретный тип элемента преобразуем в Any?, а Array поддерживает соответствующее ковариантное преобразование. Например, массив элементов, которые нельзя безопасно представить как Any? в нужной форме, не получает такую совместимость произвольно.

Можно ли безопасно преобразовать [Any?] обратно в [Int?]?

Нет, в общем случае нельзя. В [Any?] могут находиться строки, экземпляры классов или другие значения. Такое преобразование допустимо только как условительное приведение, например после проверки каждого элемента; результатом будет Optional-массив, а не гарантированно успешное преобразование.

Становится ли nil значением some(nil) при таком преобразовании?

При преобразовании элемента Int? в Any? отсутствие значения сохраняется как отсутствие значения целевого Optional. Это отличается от упаковки самого Optional в Any, где объектом упаковки может быть значение, представляющее Optional.none; поэтому при работе с Any и вложенными Optional нужно явно различать внешний и внутренний уровень обёртки.