【unitrix数间混合计算】2.3 标准化处理系统(src/number/normalize/mod.rs)
一、源码
这段代码定义了一个Rust模块，用于实现二进制数字的标准化处理系统。
//! 二进制数字标准化系统
//!
//! 编译期保证数值的规范表示：
//! - 整数：消除前导零
//! - 小数：消除后缀零
//! - 类型安全的转换规则// 整数标准化（`BinInt`规范化）
mod int_normalize;// 小数标准化（`BinFrac`规范化）
mod frac_normalize;// 导出公共接口
pub use {int_normalize::*, frac_normalize::*};
二、模块文档（//!注释部分）
//! 二进制数字标准化系统
//!
//! 编译期保证数值的规范表示：
//! - 整数：消除前导零
//! - 小数：消除后缀零
//! - 类型安全的转换规则
这部分是模块级文档注释，说明了：
-
这是一个二进制数字标准化系统
-
主要功能是在编译期确保数字的标准表示形式
-
具体规范：
-
对整数：去除前面的零（如前导零）
-
对小数：去除后面的零（如后缀零）
-
所有转换都是类型安全的
-
- 子模块定义
// 整数标准化（`BinInt`规范化）
mod int_normalize;// 小数标准化（`BinFrac`规范化）
mod frac_normalize;
这里定义了两个子模块：
-
int_normalize：处理二进制整数(BinInt)的标准化
-
frac_normalize：处理二进制小数(BinFrac)的标准化
注释中说明了每个模块的具体职责，括号内标注了它们处理的主要类型。
3. 接口导出
// 导出公共接口
pub use {int_normalize::*, frac_normalize::*};
这行代码将两个子模块中的所有公共(public)项重新导出到当前模块的命名空间中，使得外部代码可以通过直接使用本模块来访问所有标准化功能。
三、总结
这个模块的主要特点是：
-
在编译期而非运行期完成数字标准化
-
严格区分整数和小数的处理逻辑
-
通过类型系统保证所有转换的安全性
-
提供统一的对外接口
这种设计常用于需要高性能数学运算或形式化验证的场景，所有标准化操作在编译时完成，运行时没有任何额外开销