为通用特征实现特征

Question

在 Rust 中，如何为通用特征实现特征？

trait One<S> {}

trait Two {}

// fails because S isn't contrained
impl<S, T> Two for T where T: One<S> {}

---

为了澄清，我试图为通用Select特征提供BitAnd特征。

struct Thing<S> {
    field: S,
}

trait Select<S> {
    fn select(&self, thing: &Thing<S>) -> bool;
}

struct SelectUnion<S> (Box<dyn Select<S>>, Box<dyn Select<S>>);

// fails because S isn't contrained
impl<S, T> std::ops::BitAnd for T where T: Select<S> {
    type Output = SelectUnion<S>;

    fn bitand(self, rhs: Self) -> Self::Output {
        SelectUnion(Box::new(self), Box::new(rhs))
    }
}

Answer 1

不可能，原因是它会模棱两可。

想想这样的情况：

struct A;

impl One<u16> for A {}

impl One<u32> for A {}

Two将基于两个One实现中的哪一个？ 两者都满足一揽子Two实现的先决条件，但Two对于任何类型都只能实现一次。 就像您要impl Two for A一样。

---

问题澄清后编辑：

以上仍然成立，但您可能想尝试是否可以将 Select 变成一种类型，可能通过将其变成围绕可选的包装器。