Почему обычный enum должен знать свой размер на этапе компиляции?

Question

Обычный enum в Swift является value type, поэтому его размер должен быть известен заранее. Это необходимо для корректного размещения значений на стеке или внутри других типов. Если размер нельзя определить, компилятор не сможет выделить память. Именно поэтому рекурсивные enum требуют использования indirect.

YeaHub · Accepted Answer

Swift строго контролирует работу с памятью для value types, к которым относятся enum, struct и tuple.Почему размер важенОпределение: размер типа — это количество байт, которое требуется для хранения одного значения этого типа в памяти.Для enum это особенно критично, потому что:он может храниться на стекеон может быть частью structон может копироваться целикомКак Swift хранит enumПеред началом выполнения программы компилятор:анализирует все casesопределяет максимальный размер associated valuesдобавляет служебные данные (tag)В итоге создаётся фиксированный memory layout.Что ломается при неизвестном размереЕсли размер нельзя вычислить:Невозможно выделить памятьНельзя корректно копировать значениеНельзя встроить enum в другой value typeРекурсивный enum без indirect нарушает все эти правила.Почему классы не имеют такой проблемыКлассы:являются reference typesвсегда имеют фиксированный размер ссылкиреальные данные хранятся в heapПоэтому рекурсия для них допустима без дополнительных указаний.Краткий выводЛюбой обычный enum обязан иметь известный размер на этапе компиляции, иначе Swift не сможет гарантировать корректную и безопасную работу с памятью.