EG
Ограничение должно хоть что-то ограничивать, чтобы быть осмысленным.
Size: a a a
2021 April 29
EG
ΑZ
ну вот я не вижу как
П
А через forget и кастомный дроп не?
EG
Теперь у тебя есть ограничение, что значение нельзя просто забыть.
П
Ток я хз как память при этом грохнуть. Ещё из дебильных идей transmute
П
Все рантаймовое, да
EG
Собственно, для чего сейчас есть
#[must_use]EG
Деструктурировать!
EG
Разобрать на поля и дропнуть каждое поле отдельно
EG
И так до примитивов
TK
Вот с деструктурированием ещё как раз проблемы, если не менять семантику
П
А ну то есть ещё и дроп реализовывать самому возможность?
EG
Деструктурирование должно неявно форгетать при этом
EG
И дроп принимать по значению
EG
Соответственно, дефолтная реализация дроп будет выглядеть примерно так:
fn drop(self) {
let Self { .. } = self;
}П
Forget же ещё и память ликает, да?
TK
EG
Нет. Форгет дропает без вызова деструктора
П
Оу