Կարո՞ղ է Value տիպը ինքն իրեն պահել: Եվ արդյո՞ք սա ճշմարիտ է բոլոր value տիպերի ներկայացուցիչների համար:

Ոչ, արժեքի տեսակն ուղիղ չի կարող պահել իր սեփական օրինակն ինքնուրույն։ Փորձել սահմանել նույն տիպի դաշտ կառուցվածքում կամ enumeration-ում հանգեցնում է կոմպիլյացիայի սխալի, քանի որ դա անսահման չափի կառաջացնի։

Այնուամենայնիվ, արժեքի տեսակն կարող է պարունակել ընտրովի իր սեփական օրինակ (Self?), հղում այլ տիպի օրինակին (օրինակ, դասի միջոցով) կամ օգտագործել indirection (կամավորական) enumeration-ներում։

Սա ճիշտ է բոլոր արժեքի տիպերի համար (կառուցվածքներ և enumeration-ներ)։

Օրինակ՝

// Կոմպիլյացիայի սխալ՝ արժեքի տեսակն չի կարող պարունակել իր սեփական տիպի ոչ-ընտրովի հատկություն
// struct MyStruct {
//     var myself: MyStruct
// }

// Ընտրովի տարբերակ
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Հղում դասի վրա
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// enumeration-ներում indirect օգտագործելով՝ թույլատրում է ռեկուրսիվ դեպքեր
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}