检查 Rust 中的整数溢出[重复]

Rust 有没有一种规范的方法来显式检查整数溢出？我用谷歌搜索但找不到答案。

就像是：

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

Or:

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 保证包装语义，但我只是检查是否没有某种标准方法可以做到这一点。

这些函数被命名为checked_[operator]. See checked_add https://doc.rust-lang.org/std/primitive.i32.html#method.checked_add例如：

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

    assert_eq!(z, None);
}