4 ms·
Look this way: All C/C++ programs, all of them, forever, are unsafe by default. Even if a sanitizer, linker, review by the absolute most skilled developer on e
by mamcx 6y ago
Look this way: All C/C++ programs, all of them, forever, are unsafe by default.
Even if a sanitizer, linker, review by the absolute most skilled developer on earth check every line.
Because C/C++ is designed without safety. So, Rust can't "believe" the external world is safe because the external world is made unsafe.
- brundolf 6y agohttps://doc.rust-lang.org/book/ch19-01-unsafe-rust.html#creating-a-safe-abstraction-over-unsafe-code https://doc.rust-lang.org/book/ch19-01-unsafe-rust.html#crea...
- mamcx 6y agoCorrect. But the thing is only a human could, manually, check the code and consider it safe. Rust can't decide it.