为通用特征实现特征

Question

在 Rust 中，如何为泛型 trait 实现 Trait？

trait One<S> {}

trait Two {}

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

---

为了澄清，我正在尝试提供 BitAnd 特征 对于通用 Select 特征。

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 变成一个类型，可能通过将它变成一个可选择的包装器。