当前位置：首页 > ops >正文

【PhysUnits】12 加法操作(add.rs)

ops 2025/7/28 4:40:06

一、源码

这是一个类型级二进制数加法系统。

use super::basic::{B0, B1, Z0, N1, Integer, NonZero, NonNegOne};
use core::ops::Add;
use super::add1::Add1;
use super::sub1::Sub1;// ==================== Helper Traits ====================
pub trait AddB0B0Result {type Output;fn new_output() -> Self::Output;
}pub trait AddB1B0Result {type Output;fn new_output() -> Self::Output;
}// ==================== 运算符重载 ====================
/// Z0加整数
impl<I: Integer> Add<I> for Z0 {type Output = I;#[inline]fn add(self, rhs: I) -> Self::Output {rhs}
}/// 非零加Z0
//N1+Z0
impl Add<Z0> for N1 {type Output = N1;#[inline]fn add(self, _rhs: Z0) -> Self::Output {self}
}/// B0<H> 加 Z0
impl<H: Integer> Add<Z0> for B0<H> {type Output = Self;#[inline]fn add(self, _rhs: Z0) -> Self::Output {self}
}/// B1<H> 加 Z0
impl<H: Integer> Add<Z0> for B1<H> {type Output = Self;#[inline]fn add(self, _rhs: Z0) -> Self::Output {self}
}/// N1加非0数
impl<N: NonZero> Add<N> for N1
whereN: Add1,<N as Add1>::Output: Default,
{type Output = <N as Add1>::Output;#[inline]fn add(self, _: N) -> Self::Output {<N as Add1>::Output::default()}
}/// 非0非-1加N1
impl<H: Sub1 + Integer> Add<N1> for B0<H>
whereB0<H>: Sub1,<B0<H> as Sub1>::Output: Default,
{type Output = <B0<H> as Sub1>::Output;#[inline]fn add(self, _: N1) -> Self::Output {<B0<H> as Sub1>::Output::default()}
}impl Add<N1> for B1<Z0>{type Output = Z0;#[inline]fn add(self, _: N1) -> Self::Output {Z0}
}impl<H: NonZero> Add<N1> for B1<H>{type Output = B0<H>;#[inline]fn add(self, _: N1) -> Self::Output {B0::<H>::default()}
}// ==================== B0 + B0 ====================
impl<I1: Integer, I2: Integer> Add<B0<I2>> for B0<I1>
whereI1: Add<I2>,<I1 as Add<I2>>::Output: AddB0B0Result,
{type Output = <<I1 as Add<I2>>::Output as AddB0B0Result>::Output;#[inline]fn add(self, _rhs: B0<I2>) -> Self::Output {<<I1 as Add<I2>>::Output as AddB0B0Result>::new_output()}
}// ==================== B0 + B1 ====================
impl<I1: Integer, I2: Integer> Add<B1<I2>> for B0<I1>
whereI1: Add<I2>,<I1 as Add<I2>>::Output: NonNegOne,
{type Output = B1<<I1 as Add<I2>>::Output>;#[inline]fn add(self, _rhs: B1<I2>) -> Self::Output {B1::new()}
}// ==================== B1 + B0 ====================
impl<I1: Integer, I2: Integer> Add<B0<I2>> for B1<I1>
whereI1: Add<I2>,<I1 as Add<I2>>::Output: AddB1B0Result,
{type Output = <<I1 as Add<I2>>::Output as AddB1B0Result>::Output;#[inline]fn add(self, _rhs: B0<I2>) -> Self::Output {<<I1 as Add<I2>>::Output as AddB1B0Result>::new_output()}
}// ==================== B1 + B1 ====================
impl<I1: Integer, I2: Integer> Add<B1<I2>> for B1<I1>
whereI1: Add<I2>,<I1 as Add<I2>>::Output: Add1,<<I1 as Add<I2>>::Output as Add1>::Output: AddB0B0Result,
{type Output = B0<<<<I1 as Add<I2>>::Output as Add1>::Output as AddB0B0Result>::Output>;#[inline]fn add(self, _rhs: B1<I2>) -> Self::Output {B0::new()}
}// ==================== AddB0B0Result 实现 ====================
impl<I: Integer + NonZero> AddB0B0Result for I {type Output = B0<I>;#[inline]fn new_output() -> Self::Output {B0::new()}
}impl AddB0B0Result for Z0 {type Output = Z0;#[inline]fn new_output() -> Self::Output {Z0::new()}
}// ==================== AddB1B0Result 实现 ====================
impl<I: Integer + NonNegOne> AddB1B0Result for I {type Output = B1<I>;#[inline]fn new_output() -> Self::Output {B1::new()}
}impl AddB1B0Result for N1 {type Output = N1;#[inline]fn new_output() -> Self::Output {N1::new()}
}