Kodėl value tipas negali savęs laikyti? Paaiškinkite, kodėl ši teiginys yra teisingas visiems value tipo atstovams.

Vertės tipas tiesiogiai saugo duomenis. Jei jis galėtų saugoti save patį, jo dydis būtų begalinis, nes kiekvienas pavyzdys turėtų dar vieną to paties tipo pavyzdį, ir taip toliau. Tokia rekursinė struktūra yra neįmanoma tipams, kurių dydis turi būti fiksuotas ir žinomas kompiliacijos metu. Šis teiginys galioja visiems vertės tipo atstovams (pavyzdžiui, Struct, Enum, Tuple), nes visi jie saugo duomenis kaip vertę ir turi turėti apibrėžtą dydį.