4 ms·
I mean, data races are undefined behavior in C++ the same way that they are in unsafe Rust. The languages are equivalent there.
by steveklabnik 10mo ago
I mean, data races are undefined behavior in C++ the same way that they are in unsafe Rust. The languages are equivalent there.
- bluGill 10mo agoOnly 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.
- steveklabnik 10mo agoIn safe Rust, yes, you must prove it. But in unsafe Rust, it's up to you. It's the exact same thing.