【unitrix】 6.5 基础整数类型特征(base_int.rs)

一、源码

这段代码定义了一个名为 BaseInt 的 trait（特征），用于标记基础整数类型，并为其实现基本的算术运算和常见 trait。然后，它为标准 Rust 整数类型（如 i8、i16、i32 等）实现了这个 trait。

use core::ops::{Neg, Add, Sub, Mul, Div, AddAssign, SubAssign};
use crate::number::BaseNumber;
/// 基础整数类型标记特征
/// 
/// 要求实现基本算术运算和常见特征
pub trait BaseInt:
    BaseNumber +
    Neg +
    Add<Output = Self> +
    Sub<Output = Self> +
    Mul<Output = Self> +
    Div<Output = Self> +
    AddAssign +
    SubAssign +
    Copy +
    Clone +
    Default +
    Sized +
    'static
{}

// 为标准整数类型实现BaseInt
impl BaseInt for i8 {}
impl BaseInt for i16 {}
impl BaseInt for i32 {}
impl BaseInt for i64 {}
impl BaseInt for i128 {}
impl BaseInt for isize {}

二、代码解析

1. 导入依赖

use core::ops::{Neg, Add, Sub, Mul, Div, AddAssign, SubAssign};
use crate::number::BaseNumber;

• core::ops：从 Rust 的核心库导入运算符 trait，包括：

  • Neg（取负 -）

  • Add（加法 +）

  • Sub（减法 -）

  • Mul（乘法 *）

  • Div（除法 /）

  • AddAssign（+=）

  • SubAssign（-=）

• BaseNumber：从当前 crate 导入 BaseNumber trait，是更基础的数值类型约束（如 Copy、Sized 等）。

2. 定义 BaseInt trait

pub trait BaseInt:
    BaseNumber +
    Neg +
    Add<Output = Self> +
    Sub<Output = Self> +
    Mul<Output = Self> +
    Div<Output = Self> +
    AddAssign +
    SubAssign +
    Copy +
    Clone +
    Default +
    Sized +
    'static
{}

BaseInt 是一个 trait bound（特征约束），它要求所有实现它的类型必须满足以下条件：

1. 继承 BaseNumber（更基础的数值 trait）。
2. 支持算术运算：

• Neg（取负 -x）

• Add（加法 x + y，返回 Self）

• Sub（减法 x - y，返回 Self）

• Mul（乘法 x * y，返回 Self）

• Div（除法 x / y，返回 Self）

• AddAssign（x += y）

• SubAssign（x -= y）

3. 支持常见 trait：

• Copy（按位复制）

• Clone（显式克隆）

• Default（默认值，如 0）

• Sized（编译期已知大小）

• 'static（生命周期约束，表示类型不包含非 'static 引用）

3. 为标准整数类型实现 BaseInt

impl BaseInt for i8 {}
impl BaseInt for i16 {}
impl BaseInt for i32 {}
impl BaseInt for i64 {}
impl BaseInt for i128 {}
impl BaseInt for isize {}

• 为 Rust 的所有标准有符号整数类型实现 BaseInt：

  • i8、i16、i32、i64、i128（固定位宽整数）

  • isize（指针大小的整数，32/64 位取决于平台）

    由于这些类型已经实现了 BaseInt 的所有约束（如 Add、Copy 等），所以 impl 块是空的，只是“标记”它们符合 BaseInt。