Почему структура не может содержать себя напрямую?

Question

Структура не может хранить саму себя напрямую, потому что тогда ее размер стал бы бесконечным. Компилятор должен знать размер типа на этапе компиляции, чтобы выделять память. Если внутри структуры лежит такая же структура, то внутри снова лежит такая же структура и так далее. Поэтому прямое самосодержимое запрещено. Разрешается только косвенная ссылка, например через Optional, class или indirect enum.

YeaHub · Accepted Answer

Ограничение связано не с “правилами Swift”, а с тем, как устроена память.Как компилятор определяет размер структурыОпределение:Структура (value type) хранится “целиком” и должна иметь конечный, заранее известный размер.Компилятор вычисляет размер как сумму размеров всех полей (с учетом выравнивания). Это нужно, чтобы:правильно разместить объект в памятикорректно копировать значениеработать со стеком и heap предсказуемоЧто будет при самосодержимом полеПредставим невозможный код:struct Node {
    var next: Node // так нельзя
}
Тогда размер Node равен:размер next = размер Nodeразмер Node = размер Node + ... (бесконечно)То есть невозможно вычислить конечный размер и выделить память.Как это решается на практикеНужно сделать косвенность: чтобы внутри лежал не сам объект, а ссылка/обертка.Вариант 1: Optional + косвенность через enumДля списков часто используют indirect enum:indirect enum List {
    case end
    case node(Int, next: List)
}
indirect говорит хранить рекурсивную часть через ссылку (в heap), поэтому размер становится конечным.Вариант 2: Ссылочный тип (class)final class Node {
    var next: Node?
}
Node? — это ссылка, а размер ссылки фиксированный.Вариант 3: Обертки/указатели (реже)Например хранить UnsafePointer или контейнер, но это уже низкоуровневая история.Что важно помнитьValue type должен быть конечного размераРекурсия возможна только через косвенностьВ Swift “косвенность” чаще всего дают class или indirect enumВыводСтруктура не может содержать себя напрямую, потому что ее размер стал бы бесконечным и компилятор не смог бы выделить память. Рекурсивные структуры данных строят через косвенные ссылки: class, Optional на ссылочный тип или indirect enum. Это дает конечный размер и предсказуемое размещение в памяти.