Исходное сообщение
"70% проблем с безопасностью в Chromium вызваны ошибками при ..." Отправлено Ordu, 26-Май-20 19:07
> Конечно можно щас это всё на глупый borrow checker списать, но как > до вызова некой неведомой какой лямбды можно было бы понять что > она заимствовать будет? Здесь не проверятор тупой, а разработчик хочет невозможного. Это не всегда "невозможное". Бывают случаи, когда я могу доказать, что создание двух ссылок не нарушит никаких инвариантов, а борроу-чекер не может доказать. И это же самый гнусный вариант: если я заткну борроу-чекер unsafe'ом, то потом изменения в программе могут привести к тому, что моё доказательство станет неверным, и я могу забыть проверить это доказательство. А если я буду разруливать по правилам борроу-чекера, то мне придётся переходить к динамическим проверкам borrow, что тоже сакс: мало того, что это дополнительные тормоза, так ещё и падения программы, происходящие при определённом стечении обстоятельств. Но так или иначе, мне кажется, мы сходимся к одному и тому же: несмотря на прогресс в статическом анализе кода, пока ещё есть пределы возможностей всех этих статических проверок, есть куда улучшаться, и rust позволяет эти пределы пощупать.