logoalt Hacker News

jackrabbit1997last Wednesday at 7:24 PM1 replyview on HN

How would you describe the aliasing requirements of C and Rust, and do you consider them the same, as well as equally difficult?


Replies

woodruffwlast Wednesday at 7:30 PM

Safe Rust has more strict aliasing requirements than C, so to write sound unsafe Rust that interoperates with safe Rust you need to do more work than the equivalent C code would involve. But per above, this is the apples-and-oranges comparison: the equivalent C code will compile, but is statistically more likely to be incorrect. Moreover, it's going to be incorrect in a way that isn't localizable.