如何在 Rust 中返回 integer 溢出标志？

Question

Swift 有 integer 个溢出算术函数，返回一个标志是否溢出。 我们在 Rust 有同样的东西吗？

Answer 1

从 Rust 1.7.0 开始，在整数类型上定义了overflowing_<operation>(rhs) 。

计算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的并且使用起来有些烦人。

在 Rust 1.0 之前，标准库以CheckedAdd 、 CheckedSub 、 CheckedMul和CheckedDiv的形式提供了检测 4 种算术运算溢出的包装器。

从 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)

Answer 4

包装操作返回的值等于数学上正确的结果模值的范围：
```
 fn main() { { let s=500_u16.wrapping_mul(500); println!("{}", s); } }
```

在这种情况下

   s=53392 // (500*500) module 2^16 =53392

溢出操作返回一个元组(result, overflowed) ，result 是函数的包装版本将如上返回， overflowed是一个布尔值，指示是否发生溢出。 您可以将此布尔值用作标志：
```
 fn main() { { // because u8 0 to 2^8 –1 (0 to 255) let s=255_u8.overflowing_add(2); // {:?} is used to print a value that implements Debug trait println!("{:?}", s); // s= (1, true) } }
```

你可以在这里测试代码： https ://play.rust-lang.org/