rust - 检查 Rust 中的整数溢出

Question

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

就像是：

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

标签： rust

Answer 1

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

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

    assert_eq!(z, None);
}