Vērtības tips tieši glabā datus. Ja tas varētu glabāt sevi pašu, tā lielums būtu bezgalīgs, jo katrs piemērs saturētu vēl vienu tā paša tipa piemēru, un tā tālāk. Šāda rekursīva struktūra ir neiespējama tipiem, kuru lielums ir jābūt fiksētam un jābūt zināmam kompilācijas laikā. Šis apgalvojums ir pareizs visiem vērtības tipa pārstāvjiem (piemēram, Struct, Enum, Tuple), jo visi tie glabā datus kā vērtību un tiem jābūt noteiktam lielumam.

Iepriekšējais Tālāk