Μπορεί ο τύπος Value να περιέχει τον εαυτό του; Και ισχύει πραγματικά αυτή η δήλωση για όλους τους εκπροσώπους των τύπων value;

Όχι, ο τύπος τιμής δεν μπορεί άμεσα να περιέχει ένα αντίγραφο του εαυτού του. Η προσπάθεια ορισμού σε μια δομή ή enumeration ενός πεδίου του ίδιου τύπου θα οδηγήσει σε σφάλμα σύνταξης, καθώς αυτό θα δημιουργούσε άπειρο μέγεθος.

Ωστόσο, ο τύπος τιμής μπορεί να περιέχει μια προαιρετική περίπτωση του εαυτού του (Self?), μια αναφορά σε μια περίπτωση άλλου τύπου (π.χ. μέσω μιας κλάσης) ή να χρησιμοποιεί την indirection (Indirect) σε enumerations.

Αυτό ισχύει για όλους τους τύπους τιμών (δομές και enumerations).

Παράδειγμα:

// Σφάλμα σύνταξης: ο τύπος τιμής δεν μπορεί να περιέχει μια μη-προαιρετική ιδιότητα του ίδιου του τύπου
// struct MyStruct {
//     var myself: MyStruct
// }

// Παραλλαγή με προαιρετικό
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Παραλλαγή με αναφορά σε κλάση
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Παραλλαγή με indirect σε enum (επιτρέπει αναδρομικές περιπτώσεις)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}