Pourquoi ne peut-on pas déclarer un champ avec le type de cette même structure dans la structure?

Les structures en Swift sont des types de valeur (value types). Lors de la création d'une instance de structure, de la mémoire est allouée pour tous ses champs. Si une structure pouvait contenir un champ du même type, la taille de cette structure serait infinie, car elle nécessiterait de l'espace pour une autre instance de la même structure, qui à son tour nécessiterait de l'espace pour une autre, et ainsi de suite. Cela conduirait à une dépendance cyclique et rendrait impossible de déterminer une taille finale pour la structure.

Contrairement aux structures, les classes sont des types de référence (reference types). Un champ de classe peut stocker une référence à une instance de cette même classe. Étant donné que le champ ne stocke que l'adresse en mémoire occupée par l'instance de la classe, et non l'instance complète, il n'est pas nécessaire de connaître la taille totale de l'instance lors de la définition de la taille de la classe. Les références ont une taille fixe.

Exemple illustrant le problème avec les structures :

// Cette structure ne peut pas être compilée
// struct Node {
//     var value: Int
//     var next: Node? // Erreur ! La structure ne peut pas contenir un champ du type 'Node'
// }

Pour résoudre des problèmes similaires avec des structures, on peut utiliser des références indirectes, par exemple via des protocoles ou des closures, ou utiliser des classes. Un exemple typique est celui des listes chaînées, qui sont généralement implémentées avec des classes.