如何要求两个特征的相关类型相同？ [重复]

Question

这个问题在这里已有答案：

• How can I enforce equality of two associated type parameters of traits? 2回答
• Matching a generic parameter to an associated type in an impl 3回答
• Constraints on associated trait types 1回答

我有以下2个特征：

trait Filter {
    type Message;
    fn is_valid(&self, message: &Self::Message) -> bool;
}

trait Client {
    type Message;
    fn send(&self, message: &Self::Message) -> Result<(), Error>;
}

我想实现Filter和Client使用相同的Message类型。

struct ClientWithFilter<C: Client, F: Filter> {
    filter: F,
    client: C,
}

impl<C: Client, F: Filter> ClientWithFilter<C, F> {
    /// C::Message or F::Message???
    fn check_and_send(&self, message: &C::Message) -> Result<(), Error> {
        if self.filter.is_valid(message) {
            self.client.send(message)
        } else {
            Err(Error::MessageInvalid)
        }
    }
}

这不编译：

if self.filter.is_valid(message) {
    |                   ^^^^^^^ expected client::Filter::Message, found client::Client::Message
    |
    = note: expected type `&<F as client::Filter>::Message`
               found type `&<C as client::Client>::Message`

编译器看到2个不同的类型，我希望有一个单独的类型。我怎么能以正确的方式在Rust中写这个？

Answer 1

您需要适当地约束类型参数：

struct ClientWithFilter<C, F>
where
    C: Client,
    F: Filter<Message = C::Message>,
{
    filter: F,
    client: C,
}

impl<C, F> ClientWithFilter<C, F>
where
    C: Client,
    F: Filter<Message = C::Message>,
{
    fn check_and_send(&self, message: &C::Message) -> Result<(), Error> {
        if self.filter.is_valid(message) {
            self.client.send(message)
        } else {
            Err(Error::MessageInvalid)
        }
    }
}

playground

我认为，现在必须对impl的约束进行冗余重复。我相信有一个RFC让impls从struct定义继承约束。