Typ hodnoty priamo ukladá údaje. Ak by mohol ukladať sám seba, jeho veľkosť by bola nekonečná, pretože každý príklad by obsahoval ďalší príklad toho istého typu, a tak ďalej. Takáto rekurzívna štruktúra je nemožná pre typy, ktorých veľkosť musí byť pevná a známa počas kompilácie. Tento výrok platí pre všetkých zástupcov typu hodnoty (ako Struct, Enum, Tuple), pretože všetky ukladajú údaje ako hodnotu a musia mať určenú veľkosť.

Predchádzajúce Ďalej