Исходное сообщение
"70% проблем с безопасностью в Chromium вызваны ошибками при ..." Отправлено Ordu, 26-Май-20 18:24
> Это вот так чтоли? > https://play.rust-lang.org/?version=stable&mode=debug&editio... > Компилируется... Потому что в этом случае борроу-чекер справляется. Он в состоянии проанализировать код, и придти к выводу, что ref_a и ref_b ссылаются на непересекающиеся куски памяти. Если код сделать чуть сложнее он споткнётся: https://play.rust-lang.org/?version=stable&mode=debug&editio... Может со временем борроу-чекер станет умнее и научится справляться и с этой ситуацией. Но прикинь теперь, что get_node принимает не идентификатор нода, а лямбду, и работает как std::iter::Iterator::find. И внутри лямбды я вызываю функцию находящуюся в другом крейте, которая вообще (с точки зрения компилятора) хрен знает что делает. Я применяю такой get_node дважды, и получаю две ссылки внутрь структуры. Борроу-чекер вообще уже никак не может проверить, что ref_a и ref_b ссылаются на непересекающиеся куски памяти. На самом деле это и мне может быть неочевидно в каких-то случаях, и мне отдельно придётся размышлять над этим.