Исходное сообщение
"70% проблем с безопасностью в Chromium вызваны ошибками при ..." Отправлено Ordu, 26-Май-20 19:56
> Ты конкретного примера пока не привел. Я привёл выше пример, про который я легко докажу, что две ссылки ссылаются на непересекающиеся куски памяти, а борроу-чекер не может этого доказать. > Для любого положительного целого i, ссылка на диапазон в массиве вида [0..(i/2)] > очевидно не будет пересекаться с ссылкой вида [(i/2)..]. > Почему бы это не проверять в borrow checker? Ну хотя бы для > всех случаев, когда множество из одно range не пересекается с другим? И почему же? Для этого в slice есть split_at_mut, потому как борроу-чекер не умеет так, но я не задумывался, почему он этого не умеет, и почему бы его не научить этому.