რატომ ვერ ინახავს value ტიპი საკუთარ თავს? ახსენით, რატომ არის ეს განცხადება სწორი value ტიპის ყველა წარმომადგენლისთვის.

ღირებულების ტიპი პირდაპირ ინახავს მონაცემებს. თუ ის შეძლებდა თავის თავზე შენახვას, მისი ზომა უსასრულო იქნებოდა, რადგან თითოეული ნიმუში შეიცავდა სხვა ნიმუშს იგივე ტიპის, და ასე შემდეგ. ასეთი რეკურსიული სტრუქტურა შეუძლებელია ტიპებისთვის, რომელთა ზომა უნდა იყოს ფიქსირებული და ცნობილი კომპილაციის დროს. ეს განცხადება სწორი არის ყველა ღირებულების ტიპის წარმომადგენლისთვის (როგორიცაა Struct, Enum, Tuple), რადგან ისინი ყველა მონაცემებს ინახავენ ღირებულებად და უნდა ჰქონდეთ განსაზღვრული ზომა.