Kodėl struktūroje neįmanoma paskelbti lauko su pačios struktūros tipu?

Swift struktūros yra reikšmių tipai (value types). Kuriant struktūros pavyzdį, skiriama atmintis visiems jos laukams. Jei struktūra galėtų turėti lauką to paties tipo, jos dydis būtų begalinis, nes viduje reikėtų vietos dar vienam tos pačios struktūros pavyzdžiui, kuris savo ruožtu reikalautų vietos dar vienam, ir taip toliau. Tai sukeltų ciklinę priklausomybę ir neleistų nustatyti galutinio struktūros dydžio.

Skirtingai nuo struktūrų, klasės yra nuorodų tipai (reference types). Klasės laukas gali saugoti nuorodą į tos pačios klasės pavyzdį. Kadangi laukas saugo tik atminties adresą, užimančią klasės pavyzdį, o ne patį pavyzdį, nėra būtina žinoti viso pavyzdžio dydį, apibrėžiant klasės dydį. Nuorodos turi fiksuotą dydį.

Pavyzdys, iliustruojantis problemą su struktūromis:

// Ši struktūra negali būti kompiliuojama
// struct Node {
//     var value: Int
//     var next: Node? // Klaida! Struktūra negali turėti lauko tipo 'Node'
// }

Sprendžiant panašias problemas su struktūromis, galima naudoti netiesiogines nuorodas, pavyzdžiui, per protokolus ar uždarymus, arba naudoti klases. Tipinis pavyzdys yra susieti sąrašai, kurie dažniausiai įgyvendinami naudojant klases.