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

Условительное приведение as? проверяет совместимость фактического типа значения с целевым типом, но не выполняет числовое преобразование. Поэтому значение Int, упакованное в Any, не приводится к Double автоматически: результатом будет nil.

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

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

Такое разделение поддерживает предсказуемость и строгую типизацию: успешный cast не означает «попробовать преобразовать как-нибудь», а означает «это значение уже имеет совместимый динамический тип».

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

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

Неверное ожидание приводит к ошибке обработки данных: условие с as? Double может перейти в ветку отсутствия значения, хотя внутри Any находится корректное число. Особенно опасно это при разборе гетерогенных данных, где типы приходят из разных источников.

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

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

let value: Any = 42
let failed = value as? Double
let converted = Double(42)

print(failed == nil) // true
print(converted)     // 42.0

В выражении value as? Double Swift проверяет динамический тип упакованного значения. Динамический тип равен Int, поэтому приведение к Double неуспешно и возвращает Double? со значением nil.

Double(42) — это не cast, а явный инициализатор числового преобразования. Он создаёт новое значение типа Double, тогда как as? только проверяет совместимость уже существующего значения с целевым типом.

Для типов классов cast может следовать отношениям наследования, а для протоколов — проверять соответствие динамического типа протоколу. Для числовых типов отношение «оба типа числовые» само по себе не создаёт совместимости типов: Int, Float и Double остаются разными типами.

Если преобразование может потерять точность или имеет специальные правила, их следует выразить явно. При необходимости обработки нескольких числовых типов сначала проверяют конкретные варианты, а затем выполняют соответствующее преобразование.

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

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

Вариант с одним as? Double прост, но не поддерживает другие числовые типы и не выполняет конвертацию. Принудительное приведение as! Double ещё хуже: при фактическом Int приложение завершится аварийно.

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

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

Вопрос: Изменится ли результат, если значение сначала передать в функцию, принимающую Any?

Ответ: Нет. Упаковка в Any скрывает статический тип от вызывающего кода, но не меняет динамический тип самого значения. Если внутри был Int, проверка as? Double по-прежнему завершится неуспешно.
Вопрос: Почему as? NSNumber в среде с Foundation нельзя считать универсальной заменой числовому преобразованию?

Ответ: Такое приведение связано с правилами мостинга между Swift-типами и Foundation и не выражает общий контракт «любое число становится Double». Результат зависит от поддерживаемого мостинга и целевого типа, а точность и дальнейшее извлечение всё равно требуют явной проверки. Для прикладного числового преобразования надёжнее явно обработать исходные Swift-типы.
Вопрос: Что произойдёт при приведении Any, содержащего Int, к Int??

Ответ: Это другой случай: Int может быть автоматически упакован в Optional<Int>, поэтому проверка совместимости с опциональным целевым типом не равна преобразованию Int в Double. Нужно различать добавление уровня Optional и изменение базового типа: первое может быть допустимым продвижением значения, второе требует явного преобразования.