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

Swift проверяет динамический тип значения, находящегося внутри Any, и сравнивает его с целевым типом приведения. Условительное приведение as? возвращает извлечённое значение при совпадении типов или nil при несовпадении; аварийное as! в такой ситуации завершает выполнение с ошибкой.

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

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

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

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

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

Неверное предположение о содержимом приводит либо к nil при использовании as?, либо к аварийному завершению при использовании as!. Поэтому выбор между безопасным и принудительным приведением напрямую влияет на надёжность приложения.

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

При присваивании значения типа Int переменной типа Any само значение не превращается в строку или другой универсальный тип: внутри сохраняется его реальный динамический тип Int. При операции as? Int Swift проверяет это содержимое и возвращает Int?.

Если внутри находится другой тип, например String, условительное приведение к Int не выполняется и даёт nil. Проверка относится к фактическому типу значения, а не к тому, какой тип разработчик предполагает по контексту.

func printInteger(_ value: Any) {
    guard let number = value as? Int else { return }
    print(number)
}

printInteger(42)       // 42
printInteger("42")     // ничего не печатает

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

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

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

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

Вариант с as! короче, но связывает стабильность приложения с неявным соглашением о формате данных. Вариант с последовательными as? безопаснее, однако при большом числе типов может стать трудным для сопровождения.

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

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

Дополнительный вопрос: меняет ли помещение значения в Any его исходный тип?

Нет. Any стирает статическую информацию, доступную через переменную, но динамический тип хранимого значения сохраняется. Поэтому значение Int, извлечённое обратно как Int, остаётся обычным Int, а не превращается в отдельный универсальный объектный тип.
Дополнительный вопрос: что вернёт условительное приведение, если внутри Any находится подкласс, а извлечение выполняется к его базовому классу?

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

Потому что статический тип Any не гарантирует наличие этого метода. Даже если конкретный объект внутри его поддерживает, компилятор не может безопасно разрешить вызов без извлечения к конкретному типу или приведения к протоколу, объявляющему нужный метод.