Може ли тип Value да чува сам себе? И да ли је ова тврдња тачна за све представнике value типова?

Ne, tip vrednosti ne može direktno sadržavati instancu samog sebe. Pokušaj definisanja u strukturi ili enumeraciji polja istog tipa će dovesti do greške pri kompilaciji, jer bi to stvorilo beskonačnu veličinu.

Međutim, tip vrednosti može sadržavati opcionu instancu samog sebe (Self?), referencu na instancu drugog tipa (na primer, putem klase) ili koristiti indirekciju (Indirect) u enumeracijama.

Ovo važi za sve tipove vrednosti (strukture i enumeracije).

Primer:

// Greška pri kompilaciji: tip vrednosti ne može sadržavati ne-opciono svojstvo svog sopstvenog tipa
// struct MyStruct {
//     var myself: MyStruct
// }

// Varijanta sa opciono
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Varijanta sa referencom na klasu
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Varijanta sa indirekcijom u enum (dozvoljava rekurzivne slučajeve)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}