Исходное сообщение
"Проект Kerla развивает Linux-совместимое ядро на языке Rust " Отправлено freecoder, 27-Окт-21 19:26
Unsafe означает, что компилятор не способен обеспечить безопасность кода внутри такого блока и ее ДОЛЖЕН обеспечить САМ РАЗРАБОТЧИК. Вы могли этого не знать, но это уже десятки раз здесь повторялось. Unsafe - это мостик между безопасностью, которую в состоянии обеспечить компилятор, и безопасностью, которую в состоянии обеспечить только программист. Считается хорошим тоном возле каждого такого "моста" писать комментарий с пометкой SAFETY, в котором пояснять на человеческом языке другим разработчикам, почему вызов unsafe-кода в данном месте в safe-коде не нарушает его безопасности. Статический анализатор clippy даже следит, чтобы подобный комментарий обязательно присутствовал возле использования unsafe. Только такое использование unsafe считается правильным в безопасном Rust-коде, когда оно не может нарушить гарантий Rust. И за этим уже вынужден следить разработчик.