Rust是一种注重安全和性能的系统编程语言，其设计中特别强调了数值运算的安全性。Rust中的数值类型分为整数和浮点数两大类，每种类型都支持一系列的操作，并且可以通过运算符重载来扩展自定义类型的行为。
整数类型
Rust提供了多种整数类型，包括有符号和无符号整数：
i8,i16,i32,i64,i128：有符号整数类型。u8,u16,u32,u64,u128：无符号整数类型。
整数操作
整数类型支持以下操作：
- 算术运算：加（
+）、减（-）、乘（*）、除（/）、取模（%）。 - 位运算：位与（
&）、位或（|）、位异或（^）、位非（!）、左移（<<）、右移（>>）。 - 比较运算：等于（
==）、不等于（!=）、大于（>）、小于（<）、大于等于（>=）、小于等于（<=）。
防止整数溢出
Rust提供了多种方法来防止整数溢出：
- 检查溢出：使用
checked_*方法，如checked_add,checked_sub,checked_mul等，在溢出时返回None。 - 回绕运算：使用
wrapping_*方法，如wrapping_add,wrapping_sub,wrapping_mul等，在溢出时结果回绕至数值范围的边界。 - 溢出运算：使用
overflowing_*方法，返回结果和溢出标志的元组。 - 饱和运算：使用
saturating_*方法，在溢出时结果饱和至类型的最大或最小值。
浮点数类型
Rust提供了两种浮点数类型：
f32：32位浮点数。f64：64位浮点数，是Rust中的默认浮点数类型。
浮点数操作
浮点数类型支持以下操作：
- 算术运算：加、减、乘、除。
- 比较运算：等于、不等于、大于、小于、大于等于、小于等于。
- 数学函数：三角函数、指数函数、对数函数等。
防止浮点数溢出
浮点数溢出通常表现为无穷大（Inf）或下溢到零。Rust提供了以下方法来处理浮点数的特殊值：
- 使用
is_normal,is_infinite,is_nan等方法来检查浮点数的状态。 - 使用
f32::MAX和f64::MAX来避免超出最大值。
运算符重载
Rust允许通过实现特定的trait来重载运算符，使得自定义类型可以使用标准算术运算符。以下是Rust中一些常见的可重载运算符及其对应的trait：
Add：加法运算符+。Sub：减法运算符-。Mul：乘法运算符*。Div：除法运算符/。Rem：取模运算符%。Neg：取反运算符-（仅一元）。Not：位非运算符!（仅一元）。BitAnd：位与运算符&。BitOr：位或运算符|。BitXor：位异或运算符^。Shl：左移位运算符<<。Shr：右移位运算符>>。Index：索引运算符[]。
例如，以下是如何为自定义的Point类型实现Add trait来重载加法运算符的示例：
use std::ops::Add;
struct Point {
x: i32,
y: i32,
}
impl Add for Point {
type Output = Self;
fn add(self, rhs: Self) -> Self::Output {
Point {
x: self.x + rhs.x,
y: self.y + rhs.y,
}
}
}
在这个例子中，我们为Point类型实现了Add trait，定义了加法运算的行为，使得可以使用+运算符来执行点的向量加法。
检查溢出的详细说明
-
checked_*方法：这些方法在执行算术运算时会检查是否有溢出发生。如果检测到溢出，它们将返回None，否则返回Some(value)。 -
wrapping_*方法：这些方法在溢出时会将结果“回绕”到数值类型可以表示的范围的另一端。 -
overflowing_*方法：这些方法在执行算术运算时返回一个元组，其中包含运算的结果和溢出的标志。 -
saturating_*方法：这些方法在溢出时会将结果“饱和”到该类型的边界值。
结论
Rust的类型系统和运算符重载机制提供了丰富的工具来处理数值类型和防止溢出。通过合理使用这些工具，开发者可以编写出既安全又高效的代码。选择正确的数值类型和操作是编写可靠软件的关键。
