rust - 如何在 Rust 中将有符号整数添加到无符号整数，检查无符号溢出？

Question

我想将 isize 添加到 usize 并包括边界检查，以便结果不会溢出 usize 的边界。如何做到这一点？

Answer 1

您可以使用 isize::is_negative() 的组合, isize::wrapping_abs() , usize::checked_add() 和 usize::checked_sub() .

const fn add(lhs: usize, rhs: isize) -> Option<usize> {
    if rhs.is_negative() {
        lhs.checked_sub(rhs.wrapping_abs() as usize)
    } else {
        lhs.checked_add(rhs as usize)
    }
}

---

为什么 isize::is_negative() 对比rhs < 0 ？在这种情况下，它不会改变任何东西，因为文字上的逻辑操作算作 constant expressions .

然而，虽然它允许用于文字，但通常不允许，因为 traits 方法不能 const .所以如果你有一个包装类型，例如Foo(isize)那么就不允许说 foo < Foo(0)在 const 上下文中。虽然，可以说 foo.is_negative()作为Foo仍然可以实现 const fn is_negative() .

是的，您仍然可以说 foo.0 < 0 ，但这不是我要说明的重点。