Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I mean, data races are undefined behavior in C++ the same way that they are in unsafe Rust. The languages are equivalent there.


Only if there is a data race - if there is no data race C++ lets you do it. Rust doesn't let you do things that don't have a race but cannot be proven within the context of rust to not have a data race.


In safe Rust, yes, you must prove it. But in unsafe Rust, it's up to you. It's the exact same thing.




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: