Я не знаток раста совсем, но слышал от друзей разговоры по этому поводу.

Насколько я понимаю, фундаментальная идея борров-чекера в том, что в один момент времени может быть только один владелец. Для графов объектов, где есть циклические ссылки, в rust приходится либо переходить на димнамический борроу-чекер (RefCell вроде), либо просто в unsafe, если перфоманс критичен. Т.е. даже простая структура данных, как двусвязный список или дерево с ссылками на родителей, реализуется в обход борроу-чекера.

В сложных системах со сложными графами циклические ссылки - неизбежность. Поэтому интересно, как mozilla решила это в servo. Я не знаток раста, поэтому, скорее всего, могу упускать что-либо.

у них там, где борроучекер не может быть использован (то есть нужно больше одной ссылки), просто используется refrence counting. По сути - тот же shared_ptr. Ну, по безопасней разве что. И в доке явным образом написано, что да - утечки памяти могут быть в случае циклических ссылок.

Насколько я слышал, Rc используется только для немутирующих объектов?

о, снова про Rust

Ага, сложные графы зависимостей и возникающие как следствие Arc<Mutex<T>> / Rc<RefCell<T>> это моя главная проблема с растом. При этом в отличии от плюсов, язык подталкивает ими пользоваться. Это правильно с точки зрения безопасности, но меня сильно раздражает.

гм. интересно. вот на с++ russia можно купить билет. а ПОДАРИТЬ билет можно? 🙂 то есть купить билет в подарок.

гм. интересно. вот на с++ russia можно купить билет. а ПОДАРИТЬ билет можно? 🙂 то есть купить билет в подарок.

Ну вы можете как минимум купить его на e-mail человека, которому хотите подарить

А там подтверждение не нужно почты?

гм. интересно. вот на с++ russia можно купить билет. а ПОДАРИТЬ билет можно? 🙂 то есть купить билет в подарок.