на момент выделения памяти будет
Так еще раз: Тип это компильтайм сущность У типа есть фундаментальное критически важное свойство - sizeof Где это свойство у vla?
VLA это зависимый тип (n : Nat) -> int[n]
Не бывает таких
Что значит не бывает? Обычный тип-сумма
так мы просто неявно если вла заменяем тип на условный вектор
Типы произведение имеют это свойство
Статичности sizeof
почему ты считаешь, что sizeof это то, что ты называешь константой
Потомучто читай выше
Обсуждают сегодня