Γιατί δεν μπορεί να δηλωθεί ένα πεδίο με τον τύπο αυτής της δομής στη δομή;

Οι δομές στο Swift είναι τύποι τιμών (value types). Όταν δημιουργείται ένα στιγμιότυπο δομής, δεσμεύεται μνήμη για όλα τα πεδία της. Αν μια δομή μπορούσε να περιέχει πεδίο του ίδιου τύπου, το μέγεθός της θα ήταν άπειρο, καθώς θα χρειαζόταν χώρος για ένα ακόμα στιγμιότυπο της ίδιας δομής, το οποίο με τη σειρά του θα απαιτούσε χώρο για ένα ακόμα, και ούτω καθεξής. Αυτό θα οδηγούσε σε κυκλική εξάρτηση και αδυναμία καθορισμού τελικού μεγέθους της δομής.

Σε αντίθεση με τις δομές, οι κλάσεις είναι τύποι αναφοράς (reference types). Ένα πεδίο κλάσης μπορεί να αποθηκεύει μια αναφορά σε ένα στιγμιότυπο αυτής της ίδιας κλάσης. Δεδομένου ότι το πεδίο αποθηκεύει μόνο τη διεύθυνση μνήμης που καταλαμβάνει το στιγμιότυπο της κλάσης, και όχι ολόκληρο το στιγμιότυπο, δεν είναι απαραίτητο να γνωρίζουμε το πλήρες μέγεθος του στιγμιότυπου κατά τον ορισμό του μεγέθους της κλάσης. Οι αναφορές έχουν σταθερό μέγεθος.

Παράδειγμα που απεικονίζει το πρόβλημα με τις δομές:

// Αυτή η δομή δεν μπορεί να μεταγλωττιστεί
// struct Node {
//     var value: Int
//     var next: Node? // Σφάλμα! Η δομή δεν μπορεί να περιέχει πεδίο τύπου 'Node'
// }

Για την επίλυση παρόμοιων προβλημάτων με δομές, μπορούν να χρησιμοποιηθούν έμμεσες αναφορές, για παράδειγμα μέσω πρωτοκόλλων ή κλεισίματος, ή να χρησιμοποιηθούν κλάσεις. Ένα τυπικό παράδειγμα είναι οι συνδεδεμένες λίστες, που υλοποιούνται συνήθως με κλάσεις.