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

Код напечатает true. Условительное приведение [Any] к [Int] проверяет весь массив: поскольку элемент "2" не имеет типа Int, приведение целиком завершается неуспешно и результатом становится nil.

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

Type casting нужен для безопасной работы с данными, чей конкретный тип известен только во время выполнения. В Swift это особенно важно для значений, хранящихся как Any, поскольку такой контейнер может содержать объекты разных типов.

Коллекции при этом сохраняют собственную типовую гарантию. Значение типа [Int] не может частично содержать строки, поэтому приведение массива проверяет совместимость всех его элементов, а не создает автоматически укороченную коллекцию.

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

as? возвращает Optional: успешное приведение дает значение целевого типа, а несовместимое — nil. В данном примере нельзя получить [1, 3] простым приведением, потому что это означало бы молчаливое удаление неподходящего элемента.

Если разработчик ожидает частичное преобразование, проверка numbers != nil может привести к ошибочной логике: она сообщает лишь, что весь массив не прошел проверку, но не показывает, какие элементы были корректными.

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

Оператор as? [Int] выполняет условительное приведение исходного значения к типу [Int]. Для массива Swift проверяет, что каждый элемент может быть представлен как Int; один несовместимый элемент делает результат всего приведения равным nil.

let values: [Any] = [1, "2", 3]

if let numbers = values as? [Int] {
    print(numbers)
} else {
    print("массив не является [Int]")
}

Здесь будет напечатано массив не является [Int]. Числа 1 и 3 не превращают строку "2" в Int: условительное приведение проверяет тип, а не выполняет общее преобразование значения из строки.

Для частичного извлечения применяется отдельная операция, например compactMap с условительным приведением каждого элемента. Это уже другая семантика: неподходящие элементы намеренно отбрасываются, поэтому результатом может стать [1, 3].

Принудительное приведение as! [Int] в этой ситуации завершит выполнение аварийно. Его допустимо использовать только при наличии инварианта, который гарантирует однородность данных; для внешнего ввода обычно безопаснее обработать неудачу через as? или явно сообщить об ошибке.

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

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

Вариант as? [Int] безопасен и сохраняет строгую гарантию результата, но отклоняет весь набор при одной ошибке. Это подходит, когда пакет должен быть принят только целиком, например при загрузке набора идентификаторов.

Если допустим частичный результат, выбирают compactMap { $0 as? Int } и отдельно фиксируют отброшенные элементы. Такое решение выбрано для телеметрии, где несколько корректных значений полезнее полного отказа, но результат и количество пропусков должны быть явно отражены в диагностике.

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

Преобразует ли as? [Int] строку "2" в число 2?

Нет. as? проверяет совместимость типов во время выполнения, но не является парсером и не вызывает преобразование String в Int. Для такого преобразования нужен отдельный и явно описанный код, например Int(string).
Почему as? [Any] обычно успешно применяется к массиву [Int]?

Каждый Int может быть представлен как Any, поэтому массив целых совместим с более общим контейнером [Any]. Это не означает, что обратное приведение [Any] к [Int] всегда успешно: обратная проверка должна подтвердить тип каждого элемента.
Чем отличается compactMap { $0 as? Int } от as? [Int] по контракту результата?

Первое выполняет проверку поэлементно и удаляет неудачные результаты, поэтому не сообщает само по себе, что исходный массив содержал неверные значения. Второе либо возвращает полный [Int], либо nil, сохраняя принцип «весь контейнер соответствует целевому типу или не соответствует».