Perché in una struttura non si può dichiarare un campo con il tipo di questa stessa struttura?

Le strutture in Swift sono tipi di valore (value types). Quando si crea un'istanza di una struttura, viene allocata memoria per tutti i suoi campi. Se una struttura potesse contenere un campo dello stesso tipo, la sua dimensione sarebbe infinita, poiché al suo interno sarebbe necessario spazio per un'altra istanza della stessa struttura, che a sua volta richiederebbe spazio per un'altra, e così via. Ciò porterebbe a una dipendenza ciclica e all'impossibilità di determinare una dimensione finale della struttura.

A differenza delle strutture, le classi sono tipi di riferimento (reference types). Un campo di una classe può contenere un riferimento a un'istanza della stessa classe. Poiché il campo memorizza solo l'indirizzo di memoria occupato dall'istanza della classe, e non l'intera istanza, non è necessario conoscere la dimensione totale dell'istanza al momento di definire la dimensione della classe. I riferimenti hanno una dimensione fissa.

Esempio che illustra il problema con le strutture:

// Questa struttura non può essere compilata
// struct Node {
//     var value: Int
//     var next: Node? // Errore! La struttura non può contenere un campo di tipo 'Node'
// }

Per risolvere problemi simili con le strutture, si possono usare riferimenti indiretti, ad esempio tramite protocolli o closure, oppure usare le classi. Un esempio tipico sono le liste concatenate, che vengono generalmente implementate con le classi.