В
Btw, без
#[macro_export] такое работать тоже не будетSize: a a a
2020 March 31
RP
Где почитать про алиасинг в расте и какие указатели как алиасятся?
RP
какой-нибудь unsafe хардкор?
K
Где почитать про алиасинг в расте и какие указатели как алиасятся?
в номиконе кажется что-то было
RP
использовать ли *u8 или *c_void?
RP
что из них алиасится со всем?
K
а, мне кажется сырые указатели вообще не чекаются
В
*const/*mut же вообще не алиасятсяВ
точнее они спокойно это могут делать и это не UB
MB
В том числе указатели могут алиаситься с mut-ссылками
В
В том числе указатели могут алиаситься с mut-ссылками
уверен?
MB
уверен?
Ну да. Например смотри:
let mut b = Box::new(4);
let b_ref = &mut*b;
let mut b = Box::new(4);
let b_ref = &mut*b;
Э
Что такое алиасинг и какая разница, если есть read_unaligned если совсем грустно всё?
MB
Алиасинг - это ситуация, когда несколько указателей ссылаются на пересекающиеся куски памяти.
VB
@vlad20012 мне писать issue, или баг известен?
Неизвестен вродь, напиши
Э
А, ясно. И в чём проблема?
В
Ну да. Например смотри:
let mut b = Box::new(4);
let b_ref = &mut*b;
let mut b = Box::new(4);
let b_ref = &mut*b;
Тут не алиасинг вроде, если смотреть по stacked borrows.
b_ref реборовит указатель из bЭ
Только если мутабельный доступ в мультипоточном, то будет UB.
MB
В том что в целях оптимизаций компиляторы ограничивают алиасинг
В
Неизвестен вродь, напиши
ок