F
А кто-нибудь знает, как
tokio::spawn() внутри ловит паники?Size: a a a
2021 June 21
MB
По-моему poll футуры делается внутри catch_unwind.
DF
да
F
Т.е. сама футура и всё внутри неё должно быть
UnwindSafe?MB
F
Ага, всё-таки он.
Я ведь правильно понимаю, что
А на самом деле внутри могут быть ни разу не unwind safe вещи?
Я ведь правильно понимаю, что
AssertUnwindSafe - это небольшой хак, чтобы сказать компилятору: "да не парься, тут всё UnwindSafe, я отвечаю"?А на самом деле внутри могут быть ни разу не unwind safe вещи?
MB
Ну да
F
Но почему тогда это считается безопасным? Вот так в
tokio::spawn() передаёшь что-нибудь, заранее !UnwindSafe, а оно считается безопасным, хотя таковым не являетсяMB
UnwindSafe это не unsafe trait, поэтому UB случиться не может
F
Ну т.е. если футура паникнёт,
!UnwindSafe данные ведь останутся в непонятно каком состоянииF
Почему это считается нормальным? А если нет, то почему есть этот обход с
AssertUnwindSafe?MB
Ну, я детально не могу сказать, но я слышал мнение, что UnwindSafe вообще не нужен. Ну и в рамках этого мнения вполне логично везде тыкать AssertUnwindSafe.
F
Ага, тоже такое читал только что. Выглядит как-то странно: "вот механизм для безопасного перехватывания паник, а вот механизм для его отключения"
F
Энивей, спасибо за помосч
DF
очень интересная тема
DF
в теории уничтожение произвольных обьектов при анвинде вподне может триггернуть убец
DF
а учитывая то что паника таки ловится а не завершает приложение, похоже токио тут ссзб
П
Catch unwind вроде ансейф же?
DF
поч?
DF
ну дестркктор при панике и инварианты языка может нарушить, если плохо написан