AZ
Size: a a a
AZ
EG
EG
EG
Drop для Vec сделает free() не по тому адресуEG
EG
Vec<> не тупые.p
Vec<> не тупые.PK
Vec<> не тупые.Vec<Option<T>>PK
EG
Vec<Option<T>>O(N)EG
p
EG
struct NonEmptyVec<T>(Vec<T>);и ограничить конструктор и деструктор
В
fn(Example) -> ExampleTextIDEG
p
struct NonEmptyVec<T>(Vec<T>);и ограничить конструктор и деструктор
В
p
EG
NonEmptyVec — это метод, который мы контролируем, то мы можем на этом уровне проверить, что это действительно non emptyEG