Kas võib Value tüüpi hoida end ise? Ja kas see väide kehtib tõesti kõigi value-tüüpi esindajate kohta?

Ei, väärtusetüüp ei saa otseselt hoida enda eksemplari. Püüdes määratleda struktuuris või enumerationis sama tüüpi välja, põhjustab see kompileerimisvea, kuna see loob lõpmatu suuruse.

Kuid väärtusetüüp võib sisaldada valikulist enda eksemplari (Self?), viidet teise tüübi eksemplarile (näiteks klassi kaudu) või kasutada indirection (kaudne) enumerationides.

See kehtib kõigi väärtusetüüpide (struktuuride ja enumerationide) kohta.

Näide:

// Kompileerimisviga: väärtusetüüp ei saa sisaldada mitte-optional omadust oma tüübi kohta
// struct MyStruct {
//     var myself: MyStruct
// }

// Variatsioon optionaliga
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Variatsioon klassi viitega
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Variatsioon indirect enumis (lubab rekursiivseid juhtumeid)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}