traitlit

该包定义了一个名为 lit 的属性。该属性将一个特征的单一实现转换为针对指定类型的单独实现。

假设我想使用 lit 定义一个 Zero 特征。

pub trait Zero {
    fn zero() -> Self;
}

通常这可以通过手动为所需的类型实现特征或创建一个宏来生成一组特定的实现来实现。使用 lit，我们可以简单地按以下方式实现。

#[lit(V = [usize, isize])]
impl Zero for V {
    fn zero() -> Self {
        0
    }
}

这生成了两个实现，一个用于 usize，另一个用于 isize。这非常重复，因为大多数此类特征都需要在特定类别中的每个类型上实现。为此，lit 允许你使用 u_ 而不是 u8、u16、u32、u64、u128 和 usize，以及 i_ 对应的签名类型。此外，lit 还接受 f_，对应于 f32 和 f64。有了这个，之前的例子就变成了

#[lit(V = u_ + i_)]
impl Zero for _ {
    fn zero() -> Self {
        0
    }
}

#[lit(V = u_ + i_ + f_)]
impl Zero for V {
    fn zero() -> Self {
        0 as Self
    }
}

#[lit(V = u_ + i_ + f_)]
trait Zero {
    fn zero() -> Self {
        0 as Self
    }
}