Czy typ Value może przechowywać sam siebie? I czy to stwierdzenie jest prawdziwe dla wszystkich przedstawicieli typów value?

Nie, typ wartościowy nie może bezpośrednio przechowywać własnego egzemplarza. Próba zdefiniowania w strukturze lub wyliczeniu pola tego samego typu spowoduje błąd kompilacji, ponieważ spowodowałoby to nieskończony rozmiar.

Jednak typ wartościowy może przechowywać opcjonalny egzemplarz samego siebie (Self?), odwołanie do egzemplarza innego typu (np. przez klasę) lub używać indirection (Indirect) w wyliczeniach.

Dotyczy to wszystkich typów wartościowych (struktur i wyliczeń).

Przykład:

// Błąd kompilacji: typ wartościowy nie może zawierać nieoptymalnej własności własnego typu
// struct MyStruct {
//     var myself: MyStruct
// }

// Wariant z opcjonalnym
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Wariant z odwołaniem do klasy
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Wariant z indirection w enum (pozwala na rekurencyjne przypadki)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}