Исходное сообщение
"Выпуск языка программирования Rust 1.48" Отправлено Ordu, 21-Ноя-20 22:26
> " А в расте встроенный статический анализатор, который ещё позволяет размечать код, > оставляя там подсказки этому анализатору. " > это хорошо но сомнительно что он реально сможет ловить все косяки столь > сложного синтаксиса 1. Это не C, это раст. В расте нет необходимости ловить косяки синтаксиса. 2. Синтаксический анализатор растра встроен в компилятор, проблем с пониманием нового синтаксиса не возникает. > сишникам и тем более плюсовикам на осознание типовых проблем потребовалось много лет, а тут - бац и в дамки? Да, естественно. Раст разрабатывался с оглядкой на все те типовые проблемы, которые сишники и плюсовики осознавали десятилетиями. > "Ога-ога. С каждой версией меняют написание ключевого слова unsafe. Да. Точно. Как > же я мог забыть об этом." > будет где-нибудь в редоксе каком-нибудь 10 000 хитов этого слова, и дальше > чего? А это смотря что тебе нужно. Зачем тебе приспичило искать эти unsafe'ы? Чтобы аудит кода проводить? Ну вот бери и проводи. там ~700 unsafe'ов на ~30k строк кода ядра. Вот бери каждый модуль в котором есть unsafe, и проверяй, что unsafe'ы в этом модуле либо не позволяют нарушать инварианты, либо экспортируются как unsafe. Раст -- это не волшебная палочка, которая позволит тебе проводить аудит взмахом этой палочкой. Он может помочь, указав тебе на те ~700 мест, которым следует уделить особое внимание.