Защо не може да се обяви поле с типа на тази структура в структурата?

Структурите в Swift са типове стойност (value types). При създаване на екземпляр на структура, се заделя памет за всички нейни полета. Ако структурата можеше да съдържа поле от същия тип, размерът ѝ щеше да бъде безкраен, тъй като вътре в нея щеше да има място за още един екземпляр от същата структура, който от своя страна щеше да изисква място за още един, и така нататък. Това щеше да доведе до циклична зависимост и невъзможност за определяне на крайния размер на структурата.

За разлика от структурите, класовете са референтни типове (reference types). Полето на клас може да съхранява препратка към екземпляр на същия клас. Тъй като полето съхранява само адрес в паметта, заемащ от екземпляра на класа, а не самия екземпляр, не е необходимо да се знае пълният размер на екземпляра при определяне на размера на класа. Препратките имат фиксиран размер.

Пример, който илюстрира проблема със структурите:

// Тази структура не може да бъде компилирана
// struct Node {
//     var value: Int
//     var next: Node? // Грешка! Структурата не може да съдържа поле от тип 'Node'
// }

За решаване на подобни проблеми с използване на структури, може да се използват косвени препратки, например чрез протоколи или затваряния, или да се използват класове. Типичен пример са свързаните списъци, които обикновено се реализират с помощта на класове.