Язык Swift

Swift — язык с приматом значений и безопасностью на этапе компиляции, и именно отсюда начинается почти любое iOS-собеседование — не с UIKit или SwiftUI, а с языковой модели под ними. Сквозная идея в том, что Swift превращает целые классы ошибок в ошибки компиляции. Optional превращает «этого может не быть» в тип, который компилятор заставляет обработать, — и краш по nil-указателю просто не скомпилируется. Значимая семантика struct означает, что присваивание копирует значение, поэтому две переменные никогда случайно не ссылаются на одно изменяемое состояние. Ограничение дженерика позволяет компилятору доказать наличие метода до релиза. Инженер, усвоивший это, перестаёт бороться с компилятором и начинает перекладывать нагрузку на него.

Эта тема ведёт по языку с азов. Начинаем с повседневных инструментов — optional'ы, let против var, enum с associated values, сопоставление с образцом — затем самое проверяемое различие: значимые против ссылочных типов и copy-on-write, делающий копирование дешёвым. Дальше — замыкания и ловушки захвата, приводящие к утечкам; система протоколов и дженериков, заменяющая наследование классов; обработка ошибок через throws / Result / optional'ы; и, наконец, обёртки свойств и макросы — кодогенерация на этапе компиляции за @State и @Observable.

Карта темы

• Основы Swift — optional'ы и безопасное разворачивание, let против var, вывод типов, enum с associated values, сопоставление с образцом и guard/if let.
• Значимые и ссылочные типы — копирование struct против разделения class, copy-on-write, идентичность против равенства, семантика мутаций и миф «struct всегда дёшево копировать».
• Замыкания и функции — семантика захвата и списки захвата, [weak self]/[unowned self], escaping против non-escaping, функции высшего порядка и @autoclosure.
• Протоколы и дженерики — протокол-ориентированный дизайн, associated type и witness-таблицы, ограничения дженериков, some против any и реализации по умолчанию.
• Обработка ошибок — throws/try/catch, варианты try, Result, rethrows, defer и выбор между optional, throwing и Result.
• Обёртки свойств и макросы — во что компилируется обёртка, wrappedValue/projectedValue и чем макрос Swift вроде @Observable отличается от обёртки.

Частые ошибки и ловушки

Значение для собеседований

Языковой раунд — это фильтр: он отделяет тех, кто понимает, почему Swift ведёт себя так, от тех, кто зазубрил синтаксис. Ответ «struct копируется при присваивании, поэтому мутация одного никогда не затронет другой, а copy-on-write держит это дёшево до первой записи» сразу читается как senior. Сильнейшие ответы связывают гарантию с механизмом — optional с проверкой nil на компиляции, [weak self] с ARC и retain cycle, some против any со статической и динамической диспетчеризацией — а не пересказывают определение.