当特征具有关联类型时如何将特征实现存储在一起

Question

当我们想将多个类型一起存储在一个集合中时，可以使用特征对象。

但是当 trait 具有关联类型时，我不知道该怎么做。

trait Error {}

trait Trait {
    type Error: Error;
    fn set(&mut self, key: String, value: String) -> Result<(), Self::Error>;
}

struct StructA;
impl Trait for StructA {
    type Error = ErrorA;
}

enum ErrorA {}
impl Error for ErrorA {}

struct StructB;
impl Trait for StructB {
    type Error = ErrorB;
}

enum ErrorB {}
impl Error for ErrorB {}

fn main() -> Result<(), Box<dyn Error>> {
    let value: Box<dyn Trait<Error = dyn Error>> = match 0 {
        0 => Box::new(StructA),
        _ => Box::new(StructB),
    };

    value.set(String::from("key"), String::from("value"))?;

    Ok(())
}

我必须在这里指定关联类型Box<dyn Trait<Error = _>>，但我不知道哪种类型适合。我试过dyn Error，但它不起作用。

Answer 1

如果您可以更改Trait，则可以通过返回动态错误类型来使其对所有错误类型都是对象安全的，例如将set() 的签名更改为：

fn set(&mut self, key: String, value: String) -> Result<(), Box<dyn Error + '_>>;

但是，如果您不能更改 Trait 以使其对象安全，您仍然可以创建自己的对象安全 trait，并为实现 @ 的每种类型提供一揽子实现987654327@。例如：

trait DynamicTrait {
    fn set(&mut self, key: String, value: String) -> Result<(), Box<dyn Error + '_>>;
}

impl<T: Trait> DynamicTrait for T {
    fn set(&mut self, key: String, value: String) -> Result<(), Box<dyn Error + '_>> {
        Trait::set(self, key, value).map_err(|e| Box::new(e) as _)
    }
}

DynamicTrait 的工作方式与Trait 完全相同，但在出错时返回Box<dyn Error>，因此它是对象安全的。例如，这无需修改 Trait 或其实现 StructA 和 StructB 的实现即可工作：

fn main() {
    let value: Box<dyn DynamicTrait> = match 0 {
        0 => Box::new(StructA),
        _ => Box::new(StructB),
    };
}

Playground