Kāpēc struktūrā nav iespējams paziņot lauku ar paša šīs struktūras tipu?

Swift struktūras ir ir vērtību tipus (value types). Izveidojot struktūras piemēru, tiek piešķirta atmiņa visiem tās laukiem. Ja struktūra varētu saturēt tāda paša tipa lauku, tās izmērs būtu bezgalīgs, jo iekšā būtu vieta vēl vienai tāda paša struktūras piemēram, kas savukārt prasītu vietu vēl vienam, un tā tālāk. Tas novestu pie cikliskas atkarības un padarītu neiespējamu noteikt galīgo struktūras izmēru.

Atšķirībā no struktūrām, klases ir atsauces tipi (reference types). Klases lauks var glabāt atsauci uz tās pašas klases piemēru. Tā kā lauks glabā tikai atmiņas adresi, kas aizņemta ar klases piemēru, nevis pašu piemēru, nav nepieciešams zināt pilnu piemēra izmēru, definējot klases izmēru. Atsauces ir fiksēta izmēra.

Piemērs, kas ilustrē problēmu ar struktūrām:

// Šī struktūra nevar tikt kompilēta
// struct Node {
//     var value: Int
//     var next: Node? // Kļūda! Struktūra nevar saturēt lauku ar tipu 'Node'
// }

Lai risinātu līdzīgas problēmas ar struktūrām, var izmantot netiešas atsauces, piemēram, caur protokoliem vai aizvērumiem, vai izmantot klases. Tipisks piemērs ir saistītie saraksti, kas parasti tiek īstenoti ar klasēm.