如何指定不明确的关联类型的超级特征

Question

简而言之，我面临以下问题：我愿意从tokio_util::codec抽象编解码器实现。 为此，我定义了一个具有Decoder和Encoder<T>作为超特征的特征。

use tokio_util::codec::{Decoder, Encoder};


struct CodecA {}


impl Decoder for CodecA {
    type Item = Vec<u8>;
    type Error = std::io::Error;
...
}

impl Encoder<Vec<u8>> for CodecA {
    type Error = std::io::Error;
...
}

// the synthetic trait based upon Decoder and Encoder
trait Codec<T>: Decoder<> + Encoder<T>  {}

impl Codec<Vec<u8>> for CodecA { }

在代码的后面，当提供dyn Codec<>作为第二个参数时，我尝试实例化一个Framed实例。

    let stream = ... ;
    let mut lines: Framed<Box<dyn AsyncReadAndWrite>, dyn Codec<Vec<u8>, Error=std::io::Error, Item=Vec<u8>>> ;


    match protocol {
        KindA => lines = Framed::new(stream, CodecA {}),
        KindB => lines = Framed::new(stream, CodecB {}),
    }

这就是我似乎无法满足编译器的地方：

Error[E0222]: ambiguous associated type `Error` in bounds of `codec::Codec<Vec<u8>>`
   --> src/workers.rs:190:74
    |
190 |     let mut lines: Framed<Box<dyn AsyncReadAndWrite>, dyn Codec<Vec<u8>, Error=std::io::Error, Item=Vec<u8>>> ;
    |                                                                          ^^^^^^^^^^^^^^^^^^^^ ambiguous associated type `Error`
    |
    = note: associated type `codec::Codec<Vec<u8>>` could derive from `Encoder<Vec<u8>>`
    = note: associated type `codec::Codec<Vec<u8>>` could derive from `Decoder`

告诉rustc Codec 定义中的Error适用于Encode和Decode的语法是什么？ Item呢？ 最后，还有其他方法吗？

Answer 1

您可以将关联类型更改为泛型参数：

trait Codec<T, DecoderError, EncoderError>:
    Decoder<Error = DecoderError> + Encoder<T, Error = EncoderError>
{
}

impl<U, T: ?Sized + Decoder + Encoder<U>> Codec<U, <T as Decoder>::Error, <T as Encoder<U>>::Error>
    for T
{
}

let mut lines: Framed<Box<dyn AsyncReadAndWrite>, dyn Codec<Vec<u8>, std::io::Error, std::io::Error, Item = Vec<u8>>>;