AZ
Size: a a a
2020 March 20
AL
можно еще в ридми deps.rs лычку вешать, если любишь такое
H
не могу найти где upgrade скачать
r
не могу найти где upgrade скачать
cargo update
H
update точно не про то
H
ааа... вот cargo-edit тоже попробую
AZ
ааа... вот cargo-edit тоже попробую
это он и есть, да
H
всем спасибо, пошел применять
А⚙
Пишу библиотеку для инициализации массивов, она юзает приличное количество
Ещё интересно, что я взял идею для написания кода из
— issue с подробной информацией, ошибками
Буду признателен любой помощи, потому что я застрял
unsafe кода. Вчера прогнал miri и она ругнулась на 2 теста, в обоих ошибка звучит как алиасинг указателя в дропе гарда для дропа уже инициализированных элементов. При этом я не понимаю с чем там алиасинг происходит...(Ещё интересно, что я взял идею для написания кода из
array-init, но в нём такой проблемы нет (так что один из способов всё исправить — скопипастить код оттуда, лол)— issue с подробной информацией, ошибками
miri и ссылками на код.Буду признателен любой помощи, потому что я застрял
Пиши Йангу, что ли
r
Пишу библиотеку для инициализации массивов, она юзает приличное количество
Ещё интересно, что я взял идею для написания кода из
— issue с подробной информацией, ошибками
Буду признателен любой помощи, потому что я застрял
unsafe кода. Вчера прогнал miri и она ругнулась на 2 теста, в обоих ошибка звучит как алиасинг указателя в дропе гарда для дропа уже инициализированных элементов. При этом я не понимаю с чем там алиасинг происходит...(Ещё интересно, что я взял идею для написания кода из
array-init, но в нём такой проблемы нет (так что один из способов всё исправить — скопипастить код оттуда, лол)— issue с подробной информацией, ошибками
miri и ссылками на код.Буду признателен любой помощи, потому что я застрял
MRE сделать не получилось?
В
Пиши Йангу, что ли
Кому? Куда?
В
red75prime
MRE сделать не получилось?
Хм, надо попробовать
K
valid_ptr.read_unaligned::<()>() - ub или норм?t🥔
valid_ptr.read_unaligned::<()>() - ub или норм?unsafe нет, значит не ub 🤔
K
unsafe нет, значит не ub 🤔
ну вообще-то есть unsafe
r
valid_ptr.read_unaligned::<()>() - ub или норм?src must be valid for reads.
src must point to a properly initialized value of type T.
src must point to a properly initialized value of type T.
() всегда инициализирован, надо полагать. Так что норм.d
unsafe нет, значит не ub 🤔
UB бывает и без unsafe, вот не надо путать эти понятия
r
UB бывает и без unsafe, вот не надо путать эти понятия
UB без unsafe - баг в компиляторе
AZ
UB бывает и без unsafe, вот не надо путать эти понятия
в расте? Можно пример?
M
в расте? Можно пример?
падает в корку
#[link_section = ".data"] fn main() {}