Typ hodnoty ukládá data přímo. Pokud by mohl ukládat sám sebe, jeho velikost by byla nekonečná, protože každý příklad by obsahoval další příklad stejného typu, a tak dále. Taková rekurzivní struktura je nemožná pro typy, jejichž velikost musí být pevná a známá při kompilaci. Tento výrok platí pro všechny zástupce typu hodnoty (jako Struct, Enum, Tuple), protože všechny ukládají data jako hodnotu a musí mít stanovenou velikost.

Předchozí Další