Вопросы на собеседовании: iOS-разработчик

let объявляет константу без возможности повторного присваивания, а var объявляет значение, которое можно менять.

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

Swift обычно выводит тип переменной из начального значения, а аннотация напрямую задаёт требуемый тип.

• let count = 3 получает тип Int, а let price: Double = 3 явно запрашивает Double.
• Аннотация полезна, когда нужный protocol, числовой тип или optionality неочевидны из initializer.
• Swift остаётся статически типизированным, поэтому переменная с выведенным типом не сможет позже хранить несвязанный тип.

Optional представляет либо обёрнутое значение определённого типа, либо отсутствие значения как nil.

• String? является сокращением для Optional<String> и не используется как обычный String без обработки nil.
• Optionals делают отсутствие данных частью системы типов вместо специальных условных значений.
• Частые источники включают неудачный поиск, отсутствующий ввод и API, где результата может не быть.

Optional следует распаковывать через optional binding, guard, optional chaining или оправданное значение по умолчанию.

• if let обрабатывает значение внутри одной ветки, а guard let рано выходит и оставляет распакованное значение доступным дальше.
• Оператор nil-coalescing задаёт fallback, а optional chaining продолжает цепочку только при наличии значения.
• Force unwrap через ! допустим лишь при настоящей гарантии значения, поскольку nil приведёт к runtime crash.

guard полезен для ранней проверки обязательных условий и уменьшает вложенность основного успешного пути.

• Ветка guard обязана передать управление через return, throw, break или continue при невыполненном условии.
• Значения из guard let остаются доступными в остальной части текущей области.
• Он подходит для обязательных предусловий, а if понятнее, когда обе ветки являются обычными вариантами.

Optional chaining безопасно проходит по свойствам и методам optional, а nil coalescing задаёт fallback, если результат равен nil.

• user.profile?.displayName возвращает optional, поскольку любое optional-звено может отсутствовать.
• Добавление ?? "Guest" преобразует отсутствующий результат в неoptional значение для отображения.
• Цепочка убирает глубокую вложенность binding, когда операция должна продолжаться только для существующих значений.

Struct является value type, а class является reference type с идентичностью, наследованием и deinitialization.

• Присваивание или передача struct создаёт логически независимое значение через copy semantics.
• Присваивание экземпляра class копирует ссылку, поэтому несколько переменных видят изменения одного объекта.
• Struct предпочтителен для простых моделей данных, а class нужен при общей идентичности или class-only поведении.

Value semantics дают каждой переменной своё логическое значение, а reference semantics позволяют переменным разделять один экземпляр объекта.

• Swift structs, enums, arrays и dictionaries используют value semantics.
• Экземпляры классов используют reference semantics, поэтому изменение через одну ссылку видно через остальные.
• Value semantics уменьшают случайное общее изменение, а reference semantics полезны при важной идентичности объекта.

Методу struct нужен mutating, когда он меняет stored property или заменяет self.

• Методы экземпляра value type по умолчанию являются nonmutating.
• Keyword явно сообщает, что вызов может создать изменённое значение.
• Метод всё равно не сможет изменить экземпляр, хранящийся в константе let.

Raw value является заранее заданной константой case, а associated values несут данные конкретного экземпляра enum.

• Raw values имеют один общий тип вроде String или Int и могут поддерживать инициализацию из него.
• Associated values могут иметь разные типы и labels для разных cases.
• Switch извлекает associated data через pattern matching, поэтому enums подходят для состояний с разной нагрузкой.

Swift требует обработать каждый возможный case enum, чтобы switch всегда имел определённый поток выполнения.

• Перечисление всех cases позволяет compiler сообщить о пропущенной ветке при изменении собственного enum.
• default обрабатывает остаток, но может скрыть добавленные cases у enum приложения.
• @unknown default полезен для non-frozen системных enums, которые Apple может расширить в будущих SDK.

Argument labels формируют место вызова, parameter names используются внутри функции, а default values позволяют не передавать отдельные аргументы.

• В move(from start: Int, to end: Int) снаружи используются from и to, а в теле start и end.
• Подчёркивание убирает внешний label, если так вызов читается естественнее.
• Defaults должны выражать разумное частое поведение, а не скрывать важный выбор.

Protocol определяет контракт свойств, методов, initializers и других возможностей, которые должен предоставить conforming type.

• Structs, classes и enums могут соответствовать protocols.
• Код может принимать protocol вместо одного конкретного типа, уменьшая связанность с реализацией.
• Protocols описывают требуемое поведение, но обычно сами не хранят данные экземпляра.

Protocol extension может дать общие default implementations и вспомогательное поведение conforming types.

• Conforming type получает default, если не предоставляет собственную реализацию.
• Требования, объявленные в protocol, могут динамически выполняться конкретной реализацией.
• Методы только из extension используют static dispatch при вызове через protocol-typed value, что отличает их от protocol requirements.

Extension добавляет методы, computed properties, protocol conformance и другое поддерживаемое поведение существующему типу.

• Он помогает организовать тип по ответственности без создания subclass.
• Extensions могут добавлять computed properties, но не stored instance properties.
• Тип из другого модуля может получить локальные удобства или conformance, если это разрешают правила доступа.

Generics позволяют одной type-safe реализации работать с разными типами, сохраняя связи между ними.

• Generic function принимает T без преобразования в Any и обратного cast.
• Constraints вроде T: Equatable разрешают операции, гарантированные требуемым protocol.
• Collections Array<Element> и Dictionary<Key, Value> являются стандартными generic types.

Equatable определяет равенство значений, а Hashable также предоставляет hash для sets и dictionary keys.

• Равные значения всегда должны давать одинаковый hash в рамках одного запуска.
• Hashable наследует Equatable, поэтому hashable type поддерживает обе операции.
• Swift синтезирует conformances, если все значимые stored properties соответствуют protocols и сгенерированный смысл верен.

Array нужен для упорядоченных элементов, Set для уникального membership, а Dictionary для значений по уникальным ключам.

• Array сохраняет позицию и допускает дубликаты.
• Set быстро проверяет наличие, когда порядок и повторы не входят в модель.
• Dictionary связывает каждый Hashable key с одним value и возвращает optional при отсутствии ключа.

Они по-разному преобразуют коллекцию без ручного построения результата в цикле.

• map преобразует каждый элемент, а filter оставляет элементы, соответствующие условию.
• compactMap преобразует элементы и удаляет nil-результаты.
• reduce объединяет последовательность в один накопленный результат, например сумму или сгруппированное значение.

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

• Она может принимать параметры и возвращать значение подобно функции.
• Она захватывает константы и переменные окружающей области, сохраняя к ним доступ при вызове.
• Swift поддерживает shorthand arguments и trailing-closure syntax, но для нетривиальной логики понятные имена лучше.