А
именно там где ансейф и сырые указатели
Size: a a a
2021 March 10
AN
Если было бы все так просто не было бы тикетов на гитхабе
А
так тикеты на гитхабе касаются багов в сейфе
AN
А откуда они берутся?
AN
Баги с памятью в сейфе...
H
А откуда они берутся?
из-за фундаментальных косяков языка например
AN
из-за фундаментальных косяков языка например
Модель этого бороу чекера довольна проста. И помогает в большом числе прикладного кода. Но иногда надо на нее натянуть модель внутри которая ансейф. И получается сова на глобус. С точки зрения этого резерча раст интересен. Я с тобой согласен.
А
так на ансейф же она и не натягивается толком, на то он и ансейф
А
где у тебя полная свобода и ты можешь делать с указателями что угодно прямо как в старой доброй сишке
D
где у тебя полная свобода и ты можешь делать с указателями что угодно прямо как в старой доброй сишке
так то оно так, но вот взаимодействие *ptr и &/&mut оно очень не тривиальное
AN
Простой пример. Вот вектор мы можем использовать просто, хоть внутри там и ансейф чуть чуть для маллок. С хэшмапой уже сложнее, там всякие ентрай апи появляются. Бинарные дерьевя уже хуже, но там была интересная закладка у меня, надо разобраться. Графы уже требуют некой арен. Связные списки вообще никак. Ещё есть сайд эффекты в деструкторах и прочие приколы.
А
Dima
так то оно так, но вот взаимодействие *ptr и &/&mut оно очень не тривиальное
ну да, надо самому следить
А
Простой пример. Вот вектор мы можем использовать просто, хоть внутри там и ансейф чуть чуть для маллок. С хэшмапой уже сложнее, там всякие ентрай апи появляются. Бинарные дерьевя уже хуже, но там была интересная закладка у меня, надо разобраться. Графы уже требуют некой арен. Связные списки вообще никак. Ещё есть сайд эффекты в деструкторах и прочие приколы.
да, плата за ограничения раста
А
Простой пример. Вот вектор мы можем использовать просто, хоть внутри там и ансейф чуть чуть для маллок. С хэшмапой уже сложнее, там всякие ентрай апи появляются. Бинарные дерьевя уже хуже, но там была интересная закладка у меня, надо разобраться. Графы уже требуют некой арен. Связные списки вообще никак. Ещё есть сайд эффекты в деструкторах и прочие приколы.
а чтобы без особых болей с графами работать так вообще гц нужен по хорошему
D
ну да, надо самому следить
ну вот следить очень сложно, например
например почему в одном случае ub, а вдругом нет, cможешь сходу сказать? хотя 2 блока делают примерно тоже самое
fn main() {
let mut x = 0;
let mut_ptr = &mut x as * mut _;
// ub, according to miri
/*
unsafe {
let mut_ref = &mut x;
*mut_ref = 2;
*mut_ptr;
}*/
unsafe {
let mut_ref = &mut *mut_ptr;
*mut_ref = 2;
*mut_ptr;
}
}например почему в одном случае ub, а вдругом нет, cможешь сходу сказать? хотя 2 блока делают примерно тоже самое
А
по моему тут в обоих случаях ub, просто второй случай обманывает компилятор который не может уже отследить откуда взялся mut_ptr
AN
Уб же вообще нету. У нас одна переменная на всю программу
А
я вот не уверен кстати, есть ли ub тут на самом деле
D
я вот не уверен кстати, есть ли ub тут на самом деле
ну запусти на playground
AN
Ну тут алиасинг.