в голову идет только struct T(Option<Inner>) и ManuallyDrop::new(obj).0.take().unwrap(), но мб без опшна можно как-нибудь?
Ты представь, что в середине стека под это поле выделена память. Как ты хочешь ей распорядиться при дропе? В случае с опшеном ты поставишь None, а без него?
Тэкс, в таком варианте даж ManuallyDrop не нужен кстати, вот хотелось бы без опшна но с ним
let mut t = T(Inner); let inner = std::mem::replace(&mut t.0, std::mem::zeroed()); std::mem::forget(t); Тут какбэ УБ, но в целом что-то такое должно быть
ptr::read / https://doc.rust-lang.org/std/mem/struct.ManuallyDrop.html#method.take А мануал дроп и так забудется, зачем ещё форгет?
forget = ManuallyDrop, это был пример на вопрос "что должно происходить" мне нужно смувить значение, а не скопировать как это сделает ptr::read ну и после ManuallyDrop::into_inner`/`take по факту все равно будет вызван дроп, а мне это не нужно
После move out память под исходное значение можно считать неинициализированной. А единственный способ иметь переменную, содержащую неинициализированную память без UB - это MaybeUninit.
Обсуждают сегодня