Question

是否存在一种规范的方法来显式检查Rust中的整数溢出？我在Google周围搜索，但找不到答案。

类似的东西：

match add_or_overflow(x, y) {
  None    => println!("overflow!"),
  Some(z) => println!("{} + {} = {}", x, y, z),
}

或者：

let x = OverflowChecked<i32>(_x);
let y = OverflowChecked<i32>(_y);
match x + y {
  OverflowChecked::Overflow => println!("overflow!"),
  OverflowChecked::Value(z) => println!("{} + {} = {}", x, y, z),
}

我可以手动编写此代码，因为Rust保证了包装语义，但是我只是在检查是否有标准方法可以做到这一点。

Answer 1

标准库整数类型具有用于常见操作的checked_*方法，例如用于加法的checked_add等。

文档示例：

assert_eq!((u32::max_value() - 2).checked_add(1), Some(u32::max_value() - 1));
assert_eq!((u32::max_value() - 2).checked_add(3), None);

具有与您的示例相似的构造的工作示例可能是：

let x = u32::max_value() - 2;
let y = 3;

match x.checked_add(y) {
    Some(v) => {
        println!("{} + {} = {}", x, y, v);
    }
    None => {
        println!("overflow!");
    }
};

Answer 2

这些函数被命名为checked_[operator]。例如，请参见checked_add：

fn main() {
    let x: u8 = 255;
    let y: u8 = 1;
    let z = x.checked_add(y);

    assert_eq!(z, None);
}

检查Rust中的整数溢出

2 个答案: