如何实现`From

Question

我正在编写一个新的板条箱，我希望它能与一个特征的任何实现（在另一个板条箱中定义）一起使用。该特性看起来如下所示：

pub trait Trait {
   type Error;
   ...
}

我有自己的error类型，但有时我只想不加修改地转发底层错误。我的本能是这样定义一个类型：

pub enum Error<T: Trait> {
    TraitError(T::Error),
    ...
}

impl<T: Trait> From<T::Error> for Error<T> {
    fn from(e: T::Error) -> Self { Self::TraitError(e) }
}

我看过其他几个crate，它们似乎通过使其error（或等价物）泛型于错误类型本身，而不是特性实现来处理这一问题。当然，这是可行的，但是：

• 除非我们有了固有的关联类型，否则它要冗长得多。我的t实际上实现了多个特性，每个特性都有自己的error类型，因此我现在必须返回result<...、error< ::error、 ::error> 等类型；
• 可以说它的表达能力较差（因为与trait的关系丢失了）。

使我的error泛型于单个类型是当前最好的（最惯用的）选择吗？

Answer 1

与其为error枚举实现，不如考虑使用result::map_err和？来指定返回哪个变量。这甚至适用于使用关联类型的类型上的泛型枚举，例如：

trait TraitA {
  type Error;
  fn do_stuff(&self) -> Result<(), Self::Error>;
}

trait TraitB {
  type Error;
  fn do_other_stuff(&self) -> Result<(), Self::Error>;
}

enum Error<T: TraitA + TraitB> {
  DoStuff(<T as TraitA>::Error),
  DoOtherStuff(<T as TraitB>::Error),
}

fn my_function<T: TraitA + TraitB>(t: T) -> Result<(), Error<T>> {
  t.do_stuff().map_err(Error::DoStuff)?;
  t.do_other_stuff().map_err(Error::DoOtherStuff)?;
  Ok(())
}

在操场上

这里重要的一点是error没有from实现（除了覆盖的实现），并且使用map_err指定变体。这是因为error::dostuff在传递给map_err时可以被解释为fn( ::error)->error 。error::dootherstuff也发生同样的情况。

无论error有多少变体，无论它们是否是同一类型，这种方法都是可伸缩的。对于阅读函数的人来说，这也可能更清楚，因为他们不需要检查from实现，也不需要检查从函数中转换的类型出现在哪里，就可以知道某个错误来自某个地方。