如何在Rust中返回整数溢出的标志？

Question

Swift具有整数溢出算术函数,无论数字是否溢出,都会返回一个标志.我们在Rust有同样的事情吗？

Answer 1

从Rust 1.7.0开始,就overflowing_<operation>(rhs)定义了整数类型.

示例overflowing_add:

计算self+rhs

返回加法的元组以及指示是否会发生算术溢出的布尔值.如果发生溢出,则返回包装的值.

例:

use std::i64;

assert_eq!(5i64.overflowing_add(2), (7, false));
assert_eq!(i64::MAX.overflowing_add(1), (i64::MIN, true));

(游乐场)

Answer 2

正如你所注意到的,有一些内在的东西,但这些unsafe使用起来有点烦人.

锈1.0之前,标准库提供的检测的形式为4个算术运算溢出包装CheckedAdd,CheckedSub,CheckedMul和CheckedDiv.

从Rust 1.0开始,这些特征不再存在,并且每种数字类型都有固有的方法,例如i32::checked_add.

但是,这些只检测溢出并且不返回溢出结果:

fn main() {
    println!("{:?}", 5u16.checked_add(65530u16));
    println!("{:?}", 6u16.checked_add(65530u16));
}

(游乐场)

打印:

Some(65535)
None

Answer 3

Rust 具有整数算术内在函数，例如add_with_overflow.

pub unsafe extern "rust-intrinsic" fn add_with_overflow<T>(
    x: T, 
    y: T
) -> (T, bool)