Э
А я скажу, что: у нас в стриме останется непрочитанная строка, которую мы при следующем вызове
parse_line попытаемся прочитать как u32, и у нас всё пойдёт в жопу.Size: a a a
2021 June 27
TK
Ничего не должно быть в терминах асинка. Я авейт воспринимаю как yield из c#.
TK
А если буквально как в примере выше исполняется, тогда это не асинк, а хрень какая-то.
Э
У тебя в
(2) else бранча не вызывается, если что, из-за кенсела.Э
Не буквально. Если хочешь буквально, иди читай большие статьи, а я тут на пальцах рассказываю в неком псевдо-коде.
TK
while cancel_flag.get() { yield return better_luck_next_time } else { do_computation()? }
TK
Так себе представлял
Э
Я не понимаю сишарп, соре. Могу кинуть тебе статью по футурам, из которых понятно что здесь происходит.
Э
Но на мой взгляд, проще запомнить, что
селект == жопаn
Да, я тоже как interruption point воспринимаю, я вот не могу понять что же не так…
TK
Селект нинужон, если он таски полностью перезапускает в случае их незавершения к моменту прерывания
Э
Ну и дропать футуру не дождавшись результата — тоже жопа. Но дроп футуры это и есть кенсел.
Э
Если ты про "panic safety" прочёл в растономиконе, то ты примерно должен понять.
n
Скинь, пожалуйста, я потом почитаю. Спасибо, в любом случае)
n
Ещё ничего не читал, думал тут все проще и это я туплю
TK
Паник сейфти вроде знаю, но всё равно как-то не клеится одно с другим
Э
Нет, канселинг и паник сейфти — это хардкор. Только если тебе не надо знать ничего про паник сейфти, если ты не используешь
unsafe, то с кенселингом всё сложнее, потому что он везде в асинке есть.Э
Если знаешь, то скажи мне, что именно в этой функции не так.
fn panic_safety(v: &mut Vec<bool>, f: impl Fn() -> bool) {
unsafe {
v.reserve(1);
let len = v.len();
v.set_len(len + 1);
v.as_mut_ptr().add(len).write(f());
}
}TK
При панике доступ к невалидной памяти
Э
В каком месте паника?