Tipul Value poate să se stocheze pe sine? Și este această afirmație adevărată pentru toți reprezentanții tipurilor value?

Nu, tipul de valoare nu poate direct să conțină o instanță a sa însăși. Încercarea de a defini într-o structură sau enumerare un câmp de același tip va duce la o eroare de compilare, deoarece acest lucru ar crea o dimensiune infinită.

Cu toate acestea, tipul de valoare poate conține o instanță opțională a sa însăși (Self?), o referință la o instanță a altui tip (de exemplu, printr-o clasă) sau poate folosi indirection (Indirect) în enumerări.

Acest lucru este valabil pentru toate tipurile de valoare (structuri și enumerări).

Exemplu:

// Eroare de compilare: tipul de valoare nu poate conține o proprietate non-opțională a propriului său tip
// struct MyStruct {
//     var myself: MyStruct
// }

// Varianta cu opțional
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Varianta cu referință la o clasă
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Varianta cu indirection în enum (permite cazuri recursive)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}