De ce nu se poate declara un câmp cu tipul aceleiași structuri în structură?

Structurile în Swift sunt tipuri de valori (value types). La crearea unei instanțe de structură, se alocă memorie pentru toate câmpurile sale. Dacă o structură ar putea conține un câmp de același tip, dimensiunea acesteia ar fi infinită, deoarece ar fi nevoie de spațiu pentru o altă instanță a aceleiași structuri, care, la rândul său, ar necesita spațiu pentru încă una, și tot așa. Acest lucru ar duce la o dependență ciclică și la imposibilitatea de a determina o dimensiune finală a structurii.

Spre deosebire de structuri, clasele sunt tipuri de referință (reference types). Un câmp al unei clase poate stoca o referință la o instanță a aceleiași clase. Deoarece câmpul stochează doar adresa în memorie ocupată de instanța clasei, și nu întreaga instanță, nu este necesar să cunoaștem dimensiunea completă a instanței la definirea dimensiunii clasei. Referințele au o dimensiune fixă.

Exemplu care ilustrează problema cu structurile:

// Această structură nu poate fi compilată
// struct Node {
//     var value: Int
//     var next: Node? // Eroare! Structura nu poate conține un câmp de tipul 'Node'
// }

Pentru a rezolva probleme similare cu structurile, se pot folosi referințe indirecte, de exemplu, prin protocoale sau closures, sau se pot folosi clase. Un exemplu tipic sunt listele legate, care sunt de obicei implementate cu clase.