В
О, можно же прочейниться по опшнам
тогда если не все, то ты их дропнешь
Size: a a a
2020 August 19
AV
О, можно же прочейниться по опшнам
С помощью and_then
В
а надо вернуть на место
AV
Ааа блин
m
@WaffleLapkin спасибо! интересное решение
m
@iccsf понравилось! спасибо!) буду разбираться.. раст все время чем-то удивляет)
посмотрел как take_mut сделано, а там unsafe внутри.. немного напрягает, но это уже религиозное))
посмотрел как take_mut сделано, а там unsafe внутри.. немного напрягает, но это уже религиозное))
Э
Ну ты бы ещё напрягся, что std::mem::take с ансейфом написано.
В
m
Ну ты бы ещё напрягся, что std::mem::take с ансейфом написано.
я был счастлив в своем неведении.. зачем вы мне про это рассказали??))
Э
Герои сейф раста должны знать, кому они обязаны своим #![forbid(unsafe_code)]
В
Ну ты бы ещё напрягся, что std::mem::take с ансейфом написано.
Чисто технически
take это просто replace(dest, T::default()), чтобы дойти до ансейва придётся долезть до mem::swapЭ
Да я знаю.
M
Ты в std посмотри там сплошной ехал unsafe через unsafe видит unsafe unsafe unsafe
"это другое"
V
@mAX3773 самое промышленное решение, это в одном Ифе проверить что все опшини будут is_some, а в теле сделать take+unwrap.
В
"это другое"
R
use std::{mem::forget, ptr::read};
let fields = match &mut s {
S { a: Some(a), b: Some(b), c: Some(c) } => unsafe {
let fields = Some((read(a), read(b), read(c)));
forget(s);
Some(fields)
},
_ => None,
};EG
Отсутствие вызова Drop не UB.
R
Но так все-равно опасненько
В
@iccsf не может дроп имплементировать (к сожалению), ты по полям матчишься