Il tipo Value può contenersi da solo? E questa affermazione è davvero vera per tutti i rappresentanti dei tipi value?

No, il tipo di valore non può direttamente contenere un'istanza di sé stesso. Tentare di definire in una struttura o enumerazione un campo dello stesso tipo porterà a un errore di compilazione, poiché ciò creerebbe una dimensione infinita.

Tuttavia, il tipo di valore può contenere un'istanza opzionale di sé stesso (Self?), un riferimento a un'istanza di un altro tipo (ad esempio, tramite una classe) o usare l'indirezione (Indirect) nelle enumerazioni.

Questo vale per tutti i tipi di valore (strutture e enumerazioni).

Esempio:

// Errore di compilazione: il tipo di valore non può contenere una proprietà non opzionale del proprio tipo
// struct MyStruct {
//     var myself: MyStruct
// }

// Variante con opzionale
struct MyStructWithOptional {
    var myself: MyStructWithOptional?
}

// Variante con riferimento a una classe
class MyClass {}
struct MyStructWithReference {
    var myReference: MyClass
}

// Variante con indirezione in enum (permette casi ricorsivi)
indirect enum MyEnum {
    case case1
    case case2(MyEnum)
}