Typ wartości przechowuje dane bezpośrednio. Gdyby mógł przechowywać samego siebie, jego rozmiar byłby nieskończony, ponieważ każda instancja zawierałaby kolejną instancję tego samego typu, i tak dalej. Taka struktura rekurencyjna jest niemożliwa dla typów, których rozmiar musi być stały i znany podczas kompilacji. To stwierdzenie jest prawdziwe dla wszystkich przedstawicieli typu wartości (takich jak Struct, Enum, Tuple), ponieważ wszystkie przechowują dane jako wartość i muszą mieć określony rozmiar.

Poprzednia Dalej