←back to thread

Pitfalls of Safe Rust

(corrode.dev)
168 points pjmlp | 2 comments | 04 Apr 25 17:55 UTC | HN request time: 0s | source
Show context
forrestthewoods ◴[06 Apr 25 19:18 UTC] No.43604132[source]▶
> Overflow errors can happen pretty easily

No they can’t. Overflows aren’t a real problem. Do not add checked_mul to all your maths.

Thankfully Rust changed overflow behavior from “undefined” to “well defined twos-complement”.

replies(4): >>43604262 #>>43605035 #>>43605473 #>>43605491 #
1. conradludgate ◴[06 Apr 25 21:17 UTC] No.43605035[source]▶
Overflow errors absolutely do happen. They're just no longer UB. It doesn't make them non-errors though. If your bank account balance overflowed, you'd be pretty upset.
replies(1): >>43605368 #
2. bogeholm ◴[06 Apr 25 22:08 UTC] No.43605368[source]▶
On the other hand, there’s a solid use case for underflow.