λO
как в плюсах прямо
Size: a a a
2020 February 18
а
я думал в русте считается что утечка памяти это сейф
так и есть да
OA
ну мы же теряем гарантию что осовбодим память
не было такой гарантии
OA
кстати, любопытно реализован rc::Weak. Пока у тебя где-то болтаются weak refs у тебя память не освобождается
OA
даже если все strong refs уже пропали и у объекта вызвался Drop
B
кстати, любопытно реализован rc::Weak. Пока у тебя где-то болтаются weak refs у тебя память не освобождается
нет же
B
они нгаинают указывать вникуда
r
кстати, любопытно реализован rc::Weak. Пока у тебя где-то болтаются weak refs у тебя память не освобождается
Если там, скажем,
String, то память, выделенная String освободится.OA
red75prime
Если там, скажем,
String, то память, выделенная String освободится.это второго порядка индирект, поэтому да
B
кстати, любопытно реализован rc::Weak. Пока у тебя где-то болтаются weak refs у тебя память не освобождается
https://doc.rust-lang.org/std/rc/struct.Weak.html#method.upgrade
Returns None if the inner value has since been dropped.
Returns None if the inner value has since been dropped.
OA
потому что Rc -> String -> chars
B
это второго порядка индирект, поэтому да
ааа, ты про внутренние структуры, которые для буккипинга используются
OA
а если у тебя Rc::new(структура на 1Кб), то этот 1Кб будет висеть пока все weak refs тоже не уйдут
OA
>Note however that a Weak reference does prevent the allocation itself (the backing store) from being deallocated.
OA
и размер этих данных - не только буккипинг rc::, а еще и твоя структура которую ты там держишь. Если это Vec/String - то она маленькая и содержит указатель еще куда-то
B
понял👌
r
Rc::Weak где-то таки должен weak count хранить. В принципе, можно разделить аллокации для strong count + ptr_to_weak_count + data и weak_count + ptr_to_strong_count_or_nullOA
короче safe Rust ничего не гарантирует про то, где и когда память освобождается. Все на уровне best effort и даже если утечка, то это не ломает остальные гарантии
OA
а кого волнует OOM - тому нужны кастомные аллокаторы и no_std