Question

我正在尝试自己实现大整数（仅用于教育）。该实现是按数据类型通用的：

struct LongNum<T>
where T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8>
{
    values: Vec<T>,
    powers: Vec<u8>,
    radix: u8,
}

问题在于，我需要在所有impls中对T重复此冗长的约束。太麻烦了。

我可以结合这些约束来做出自己的特质，就像这样：

trait LongNumValue: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}

struct LongNum<T: LongNumValue>
{
    values: Vec<T>,
    powers: Vec<u8>,
    radix: u8,
}

但是在这种情况下，我必须为此LongNumValue特性添加impls到可以在LongNum中使用的所有类型：

impl LongNumValue for u8 {}
impl LongNumValue for u16 {}
impl LongNumValue for u32 {}
...

这意味着，如果我不将某种类型添加到此impls列表中，则即使该类型传递了所有约束，我的板条箱用户也无法将其用于LongNum。

有什么方法可以避免编写冗长的重复成本损失，而又不会给用户增加不必要的限制？

Answer 1

您可以添加空白实施：

impl<T> LongNumValue for T 
where
    T: Integer + MulAssign + CheckedMul + CheckedAdd + Copy + From<u8> {}

如何避免在Rust中出现重复的长泛型约束

1 个答案: