Kann der Typ Value sich selbst speichern? Und ist diese Aussage wirklich für alle Vertreter der value-Typen wahr?

Nein, der Werttyp kann nicht direkt eine Instanz von sich selbst enthalten. Der Versuch, in einer Struktur oder Enumeration ein Feld desselben Typs zu definieren, führt zu einem Kompilierungsfehler, da dies eine unendliche Größe erzeugen würde.

Der Werttyp kann jedoch eine optionale Instanz von sich selbst (Self?), eine Referenz auf eine Instanz eines anderen Typs (z.B. über eine Klasse) oder die Indirektion (Indirect) in Enumerationen verwenden.

Dies gilt für alle Werttypen (Strukturen und Enumerationen).

Beispiel:

// Kompilierungsfehler: Werttyp kann kein nicht-optional Feld seines eigenen Typs enthalten
// struct MyStruct {
//     var myself: MyStruct
// }

// Variante mit Optional
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Variante mit Referenz auf Klasse
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Variante mit Indirektion in Enum (erlaubt rekursive Fälle)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}