Niyə value tipi özünü saxlaya bilmir? Bu ifadənin value tipinin bütün nümayəndələri üçün niyə doğru olduğunu izah edin.

Dəyər növü məlumatları birbaşa saxlayır. Əgər özü-özünü saxlaya bilsəydi, onun ölçüsü sonsuz olardı, çünki hər nümunə eyni növün başqa bir nümunəsini saxlayardı və bu belə davam edərdi. Belə rekursiv struktur, ölçüsü sabit və tərtib zamanı məlum olan növlər üçün mümkün deyil. Bu ifadə bütün dəyər növü nümayəndələri üçün doğrudur (məsələn, Struct, Enum, Tuple), çünki onlar bütün məlumatları dəyər kimi saxlayır və müəyyən ölçüyə malik olmalıdır.