Э
В том что в целях оптимизаций компиляторы ограничивают алиасинг
Это ты о чём?
Size: a a a
2020 March 31
MB
Это ты о чём?
let mut ptr = ...;
let ref1 = &mut *ptr;
let ref2 = &mut *ptr;
*ref1=7;
*ref2=8;
Это UB
let ref1 = &mut *ptr;
let ref2 = &mut *ptr;
*ref1=7;
*ref2=8;
Это UB
Э
Если ты про то, что L1 cache у каждого ядра свой, то это не про компилятор.
Э
let mut ptr = ...;
let ref1 = &mut *ptr;
let ref2 = &mut *ptr;
*ref1=7;
*ref2=8;
Это UB
let ref1 = &mut *ptr;
let ref2 = &mut *ptr;
*ref1=7;
*ref2=8;
Это UB
Ну да, UB. А дальше чего?
Э
Только дереф голого указателя должен браться в ансейф.
MB
Тут не алиасинг вроде, если смотреть по stacked borrows.
b_ref реборовит указатель из bЭ
Box - не голый указатель и у бокса дереф идёт через Deref трейт, так что там только одна мутабельная ссылка может быть, если без ансейфа.
MB
Ну да, UB. А дальше чего?
UB в данном случае - это как-раз таки нарушение правил алиасинга.
Заметь, что дата рейса тут нет например
Заметь, что дата рейса тут нет например
MB
Box - не голый указатель и у бокса дереф идёт через Deref трейт, так что там только одна мутабельная ссылка может быть, если без ансейфа.
Это как раз пример того, что указатель и мутабельная ссылка мирно сосуществуют
Э
Там всё нормально. У тебя rf больше не используется, поэтому можешь изи менять через DerefMut бокса.
MB
поменяй порядок и будет
Да, ты прав)
Эти stacked borrows слишком умные
Эти stacked borrows слишком умные
Э
borrowck умный, уже позволяет такое.
Э
Вот если порядок поменяешь или напишешь ещё один *rf = 5; после строчки с *b, то тебе выдаст ошибку.
MB
Там всё нормально. У тебя rf больше не используется, поэтому можешь изи менять через DerefMut бокса.
Я уже сам начал запутываться, но как-то так: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7bfee373c3af168d26202ca7c0686d1f
Про foo1 не уверен, но в foo11 указатель и ссылка явно перекрываются по времени жизни.
Про foo1 не уверен, но в foo11 указатель и ссылка явно перекрываются по времени жизни.
Э
Я уже сам начал запутываться, но как-то так: https://play.rust-lang.org/?version=stable&mode=debug&edition=2018&gist=7bfee373c3af168d26202ca7c0686d1f
Про foo1 не уверен, но в foo11 указатель и ссылка явно перекрываются по времени жизни.
Про foo1 не уверен, но в foo11 указатель и ссылка явно перекрываются по времени жизни.
Ты ансейфом обмазался потому что.
Э
Я даже читать это не буду, потому что даже не ясно, что ты пытаешься сделать с этим ансейфом.
MB
Ты ансейфом обмазался потому что.
Ну конечно же я не смогу показать тебе пример нарушения алиасинга, т.е. UB, не обмазавшись ансейфом
Э
Я вот когда пишу
let r: &T = Box::leak(Box::new(T::default()));
...
unsafe {let r = Box::from_raw(r as *const T as *mut T);}
Я обязательно пишу комментарии, почему и что.
let r: &T = Box::leak(Box::new(T::default()));
...
unsafe {let r = Box::from_raw(r as *const T as *mut T);}
Я обязательно пишу комментарии, почему и что.
Э
А там просто три ансейф функции в одном блоке без комментариев.