tgoop.com/rust_lib/265
Last Update:
An Optimization That’s Impossible in Rust
Автор разбирает интересный случай оптимизации, которая возможна в C/C++, но недостижима в Rust из-за модели заимствований и строгих правил работы с aliasing.
Речь идёт о ситуации, где компилятор C может агрессивно оптимизировать код, предполагая отсутствие пересечения указателей (если нет restrict). В Rust же гарантии безопасности требуют, чтобы ссылки не пересекались, и это ограничение мешает сделать такую же оптимизацию, даже если на практике пересечения не происходит.
В итоге:
- В C/C++ оптимизация возможна, но небезопасна без явных аннотаций.
- В Rust - безопасность всегда гарантируется, но ценой отказа от определённых оптимизаций.
- Для производительного кода в Rust приходится использовать небезопасные конструкции (unsafe) или вручную подсказывать компилятору.
https://tunglevo.com/note/an-optimization-thats-impossible-in-rust/
👉 @rust_lib
BY Rust
Share with your friend now:
tgoop.com/rust_lib/265