П
Ну типа ты забыл заюзать значение, а оно молча дропнулось
Size: a a a
2021 April 29
EG
Должен быть какой-то «конечный» способ избавиться от значения
EG
forget, или деструктуризация, или ещё что
ΑZ
зачем?
EG
Чтобы как-то определить, что мы считаем «последним использованием»
ΑZ
конец скоупа переменной очевидно
EG
Да, так у тебя нет релевантных (и линейных) типов
EG
Потому что ограничение «не меньше одного использование» ничего не ограничивает
ΑZ
тут филосовский вопрос
ΑZ
отсутствие использования тоже использование
ΑZ
вопрос: что делать с любым FFI?
ΑZ
unsafe { pass_in_c_as_value(Bar { x : 10} ) }ΑZ
где тут дроп писать?
EG
Нигде. Всё, ты передал владение.
EG
Точно так же как сейчас у тебя
Bar нигде не дропнетсяEG
Твоя задача — не дропнуть, а передать кому-нибудь владение или форгетнуть
ΑZ
и чего мы этим добиваемся?
EG
Настоящего
#[must_use].EG
Который действительно
must, а не may_be_shouldΑZ
а чем маст юз ненастоящий?