Исходное сообщение
"Разработчик Rust-фреймворка actix-web удалил репозиторий из-..." Отправлено Аноним, 18-Янв-20 21:52
В С/C++ есть вот такая штука: https://en.cppreference.com/w/c/language/restrict Позволяет получить ряд оптимизаций при компиляции. Однако в С/C++ расстановка restrict полностью лежит на ответственности программиста, а в llvm она еще и попросту забагована, потому этой оптимизицией почти никто не пользуется. Собственно, отсутствие этой оптимизации - основная причина, почему fortran быстрее C/C++ в ряде случаев. Более того, в C/C++, настолько я знаю, есть type based правило алиасинга, которое основывается на неявном предположении, что указатели на данные разных типов - гарантировано не алиасы. Иначе говоря, если вы в C/C++ занимаетесь какой-то чернухой с кастингом типов указателей, почти наверняка получите UB. Семантика safe-Rust содержит абсолютные гарантии алиасинга. Потому, используя unsafe, очень важно эти гарантии сохранять. Задача статического обесепечения безопасности памяти практически эквивалентна проблеме остановки. Потому Rust ввел ряд семантических ограничений по операциям по умолчанию, в которых эту безопасность обеспечить можно статически и с абсолютной точностью. Потому существует unsafe, чтобы эти ограничения обходить, но для Rust критически важно, чтобы разаботчики соблюдали не такие уж сложные по сути правила использования unsafe кода. Потому в Rust стараются использовать одну выверенную unsafe абстракцию, вместо написания десятка новых (как происходило в actix).