【学Rust写CAD】16 零标记类型(zero.rs)

源码

rust 复制代码
// zero.rs
use std::ops::{Add, Mul};
/// 零标记结构体,用于表示矩阵中的零分量
#[derive(Clone, Debug, Default, PartialEq, Eq)]
pub struct Zero;

// 为零实现所有必要的乘法运算
impl Mul for Zero {
    type Output = Zero;
    fn mul(self, _: Self) -> Self {
        Zero
    }
}

impl<T> Mul<T> for Zero {
    type Output = Zero;
    fn mul(self, _: T) -> Self {
        Zero
    }
}

impl<T> Add<T> for Zero {
    type Output = T;
    fn add(self, rhs: T) -> T {
        rhs
    }
}

代码分析

这段Rust代码定义了一个名为Zero的结构体,并为其实现了几个基本的算术运算 trait。这个结构体用于表示矩阵中的零分量,通过特定的运算实现来优化矩阵计算。下面是对代码的详细解释:

  1. 结构体定义
rust 复制代码
#[derive(Clone, Debug, Default, PartialEq, Eq)]
pub struct Zero;
  • 定义了一个零大小的结构体Zero(因为它没有字段)

  • 使用#[derive]自动实现了多个常用 trait:

    • Clone:允许值被复制

    • Debug:可以用{:?}格式化打印

    • Default:提供default()构造函数(返回Zero实例)

    • PartialEq和Eq:允许进行相等比较(Zero == Zero)

  1. 乘法运算实现
rust 复制代码
impl Mul for Zero {
    type Output = Zero;
    fn mul(self, _: Self) -> Self {
        Zero
    }
}
  • 为Zero实现与自身的乘法运算(Zero * Zero)

  • 无论怎样相乘结果都是Zero(符合数学上0×0=0的规则)

rust 复制代码
impl<T> Mul<T> for Zero {
    type Output = Zero;
    fn mul(self, _: T) -> Self {
        Zero
    }
}
  • 为Zero实现与任意类型T的乘法运算(Zero * T)

  • 结果总是Zero(符合数学上0×a=0的规则)

  1. 加法运算实现
rust 复制代码
impl<T> Add<T> for Zero {
    type Output = T;
    fn add(self, rhs: T) -> T {
        rhs
    }
}
  • 为Zero实现与任意类型T的加法运算(Zero + T)

  • 结果总是返回右操作数rhs(符合数学上0+a=a的规则)

设计目的

这种实现主要用于:

  1. 稀疏矩阵优化:在矩阵运算中显式表示零元素,避免实际存储和计算

  2. 数学正确性:保证运算符合数学规则

  3. 零成本抽象:Zero是零大小类型,不会带来运行时开销

使用示例

rust 复制代码
let z = Zero;
assert_eq!(z * 5, Zero);      // 任何数乘零等于零
assert_eq!(z + 10, 10);      // 零加任何数等于该数
assert_eq!(z * z, z);         // 零乘零等于零
相关推荐
pumpkin8451416 分钟前
学习笔记十七——Rust 支持面向对象编程吗?
笔记·学习·rust
Source.Liu23 分钟前
【TeamFlow】3 Rust 与 WebAssembly (Wasm) 深度应用指南
rust·wasm
CHQIUU1 小时前
【Rust 精进之路之第5篇-数据基石·下】复合类型:元组 (Tuple) 与数组 (Array) 的定长世界
rust
pumpkin845149 小时前
学习笔记十五——rust柯里化,看不懂 `fn add(x) -> impl Fn(y)` 的同学点进来!
笔记·学习·rust
pumpkin845149 小时前
学习笔记二十——Rust trait
笔记·学习·rust
pumpkin8451417 小时前
学习笔记十九——Rust多态
笔记·学习·rust
疏狂难除1 天前
【Tauri2】026——Tauri+Webassembly
rust·wasm·tauri2
Hello.Reader1 天前
给你的 Rust 通用库“插上” WebAssembly 的翅膀
javascript·rust·wasm
苏近之1 天前
一文了解 Rust 中的 Cell 和内部可变性
rust
yezipi耶不耶3 天前
Rust学习之实现命令行小工具minigrep(二)
开发语言·学习·rust