Dlaczego w strukturze nie można zadeklarować pola z typem tej samej struktury?

Struktury w Swift są typami wartości (value types). Tworząc instancję struktury, przydzielana jest pamięć dla wszystkich jej pól. Gdyby struktura mogła zawierać pole tego samego typu, jej rozmiar byłby nieskończony, ponieważ wewnątrz niej byłoby miejsce na kolejną instancję tej samej struktury, która z kolei wymagałaby miejsca na jeszcze jedną, i tak dalej. Doprowadziłoby to do cyklicznej zależności i niemożności określenia końcowego rozmiaru struktury.

W przeciwieństwie do struktur, klasy są typami referencyjnymi (reference types). Pole klasy może przechowywać odwołanie do instancji tej samej klasy. Ponieważ pole przechowuje tylko adres w pamięci zajmowany przez instancję klasy, a nie samą instancję, nie ma potrzeby znać pełnego rozmiaru docelowej instancji przy określaniu rozmiaru klasy. Odwołania mają stały rozmiar.

Przykład ilustrujący problem ze strukturami:

// Ta struktura nie może zostać skompilowana
// struct Node {
//     var value: Int
//     var next: Node? // Błąd! Struktura nie może zawierać pola typu 'Node'
// }

Aby rozwiązać podobne problemy z użyciem struktur, można korzystać z odwołań pośrednich, na przykład przez protokoły lub zamknięcia, albo używać klas. Typowym przykładem są listy powiązane, które zwykle są implementowane za pomocą klas.