Môže typ Value sám seba uložiť? A je toto tvrdenie pravdivé pre všetkých zástupcov typov value?

Nie, typ hodnoty nemôže priamo obsahovať vlastnú inštanciu. Pokus o definovanie v štruktúre alebo enumu poľa rovnakého typu povedie k chybe pri kompilácii, pretože by to vytvorilo nekonečnú veľkosť.

Avšak, typ hodnoty môže obsahovať voliteľnú inštanciu vlastného typu (Self?), odkaz na inštanciu iného typu (napríklad cez triedu) alebo použiť indirekciu (Indirect) v enumoch.

Toto platí pre všetky typy hodnoty (štruktúry a enumy).

Príklad:

// Chyba pri kompilácii: typ hodnoty nemôže obsahovať ne-voliteľnú vlastnosť vlastného typu
// struct MyStruct {
//     var myself: MyStruct
// }

// Varianta s voliteľným
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Varianta s odkazom na triedu
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Varianta s indirekciou v enum (umožňuje rekurzívne prípady)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}