4 ms·
You're thinking of C; Rust forced that somebody to write unsafe near it to create the bug.
by dwattttt 2y ago
You're thinking of C; Rust forced that somebody to write unsafe near it to create the bug.
- uecker 2y agoThe bug that can lead to a violation of assumptions required for safety of the unsafe block can be elsewhere. One can hope that it is near the bloc, but there is nothing in Rust enforcing this.
- Dylan16807 2y agoWhen you write "unsafe", you are promising to the compiler that the unsafe code enforces the assumptions it is making. Unsafe code needs to keep its assumption-laden variables private, and it needs to verify the parameters that safe code sends it. If it doesn't do those things, it's breaking that promise.