Kan het type Value zichzelf bevatten? En is deze bewering echt waar voor alle vertegenwoordigers van de value-types?

Nee, het waarde-type kan niet rechtstreeks een instantie van zichzelf bevatten. Het proberen te definiëren in een structuur of enumeratie van een veld van hetzelfde type zal leiden tot een compilatiefout, omdat dit een oneindige grootte zou creëren.

Echter, het waarde-type kan een optionele instantie van zichzelf bevatten (Self?), een verwijzing naar een instantie van een ander type (bijvoorbeeld via een klasse) of indirectie (Indirect) gebruiken in enumeraties.

Dit geldt voor alle waarde-typen (structuren en enumeraties).

Voorbeeld:

// Compilatiefout: waarde-type kan geen niet-optioneel veld van zijn eigen type bevatten
// struct MyStruct {
//     var myself: MyStruct
// }

// Variatie met optioneel
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Variatie met verwijzing naar klasse
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Variatie met indirectie in enum (staat recursieve gevallen toe)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}