Optionals и система типов

Как пользовательский тип Swift сохраняет value semantics поверх общего ссылочного буфера?

Разберите различие между шаблонами case is T и case let value as T в сопоставлении типов Swift.

Вызов обобщённой функции, параметр которой уже имеет тип T = String, получает String?: почему Swift не извлекает значение автоматически?

От чего зависит возможность сопоставить Optional с nil для Wrapped, который не реализует Equatable?

За счёт какого механизма Optional<Int> может быть ключом словаря, а Optional<T> для произвольного T — нет?

После приведения значения к протоколу как различается вызов требования протокола и метода, объявленного только в его extension?

Почему оператор === нельзя применить непосредственно к двум Optional, содержащим ссылки на классы?

Что проверяет шаблон сопоставления, обозначающий любое присутствующее значение Optional, и почему он не извлекает это значение?

Каков компромисс у unowned(unsafe) по сравнению с обычной unowned ссылкой в Swift?

В значении Any хранится NSNumber: почему условительное приведение к Int может успешно завершиться, хотя исходный объект не является экземпляром Swift Int?

При каких условиях Optional<T> автоматически получает соответствие протоколу, которому соответствует T?

Как optional binding обрабатывает последующее условие после первого nil?

Сохраняет ли рекурсивное перечисление с indirect value semantics?

Можно ли передать массив Optional<Int> туда, где ожидается массив Optional<Any>, и каким правилом это объясняется?

Сколько уровней Optional возвращает optional chaining, если конечное свойство уже имеет тип Optional?

При преобразовании коллекции строк в числа часть элементов не разбирается. Как различается результат применения map и compactMap?

Какое требование к ветке else делает guard let пригодным для гарантии доступности извлечённой переменной после проверки?

Назовите тип массива, в котором соседствуют целое значение и nil, и объясните, как Swift выводит этот тип.

Как Swift упаковывает значение структуры при приведении к AnyObject и что происходит с его value semantics?