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

Нет. Вложенный тип Swift не получает неявную ссылку на экземпляр внешнего типа и не может использовать его свойства через self. Вложенность организует объявления в пространстве имён, но не создаёт отношение владения или автоматическую связь между экземплярами.

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

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

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

Ошибка возникает, когда вложенный тип воспринимают как аналог внутреннего класса в языках, где объект внутреннего класса автоматически хранит ссылку на внешний объект. В Swift это привело бы к неявному состоянию, дополнительному удержанию объектов и потенциальным циклам сильных ссылок.

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

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

У вложенного типа нет неявного self внешнего типа. Он может обращаться к своим собственным членам, а к типовым членам внешнего типа — через имя внешнего типа, если уровень доступа это позволяет, но экземплярные свойства требуют конкретного экземпляра.

struct Screen {
    var title: String

    struct Snapshot {
        let title: String

        init(screen: Screen) {
            self.title = screen.title
        }
    }
}

let screen = Screen(title: "Главная")
let snapshot = Screen.Snapshot(screen: screen)

В примере Snapshot получает Screen явно через параметр и сохраняет нужное значение. Swift не создаёт для Snapshot скрытое поле со ссылкой на screen; для структуры передаётся значение, а для класса передавалась бы ссылка на объект по обычным правилам семантики класса.

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

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

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

Можно передавать весь Document при каждом вызове. Это прозрачно, но создаёт повторяющиеся параметры. Можно сохранить Document внутри валидатора: для класса это удобно, однако сильная ссылка может продлить жизнь документа или образовать цикл, если документ также хранит валидатор.

Практичный выбор — передавать валидатору только необходимые данные или неизменяемый снимок документа. Такой вариант уменьшает связанность, исключает неявное владение и делает тестирование проще, хотя при изменении документа снимок придётся создавать заново.

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

Может ли вложенный тип обращаться к статическим членам внешнего типа?

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

Создаётся ли при вложенности дополнительная ссылка на внешний объект?

Нет. Сам факт объявления типа внутри другого не добавляет скрытого свойства, ссылки или захвата экземпляра. Ссылка появится только если разработчик явно сохранит внешний объект, например в свойстве класса; тогда действуют обычные правила ARC и сильных, слабых или unowned-ссылок.

Можно ли сделать вложенный тип зависимым от конкретного экземпляра внешнего типа?

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