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

一、源码

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

rust 复制代码

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 {}

二、代码解析

导入依赖

rust 复制代码

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 等）。

定义 BaseInt trait

rust 复制代码

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（特征约束），它要求所有实现它的类型必须满足以下条件：

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

Neg（取负 -x）
Add（加法 x + y，返回 Self）
Sub（减法 x - y，返回 Self）
Mul（乘法 x * y，返回 Self）
Div（除法 x / y，返回 Self）
AddAssign（x += y）
SubAssign（x -= y）

支持常见 trait：

Copy（按位复制）
Clone（显式克隆）
Default（默认值，如 0）
Sized（编译期已知大小）
'static（生命周期约束，表示类型不包含非 'static 引用）

为标准整数类型实现 BaseInt

rust 复制代码

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。