一个更灵活的选择是让实现者指定他们自己的错误类型

    pub trait Producer {
        type Error: Error + Send + 'static;
        fn produce(&self) -> Result<u16, Self::Error>;
    }

对于无故障实现，关联的 Error 类型可以被设置为 never 或任何其他无值类型（通常是空枚举）。编译器将优化掉这个错误类型，从而只返回成功类型。

我们现在有一个真正的零成本抽象，无故障实现不需要支付错误处理的费用。另一方面，处理我们特质的几个异构实现会更困难。例如，考虑以下类型

    pub struct PMax<P1, P2> (P1, P2);

    impl<P1: Producer, P2: Producer> Producer for PMax<P1, P2> {
        type Error = ???; // <<<< we have a problem here
        fn produce(&self) -> Result<u16, Self::Error> { 
            Ok(self.0.produce()?.max(self.1.produce()?))
        }

    }

由于 P1 和 P2 可能使用完全不相关的错误类型，我们不知道应该使用哪种错误类型。我们可以使用由 error_chain 定义的“可链接”错误类型，但这样我们就会回到使用“胖”结果的境地，即使 P1 和 P2 都是可靠的。

解决方案

此软件包提供了解决上述问题的方案。思路是

• 为无故障实现提供零成本的错误处理，允许它们使用 never 作为它们的错误类型；
• 通过要求它们使用特质设计者定义的专用错误类型，限制不可靠实现之间的异构性；
• 在组合几个实现时让编译器推断最佳错误类型。

上面的例子将变为

    /// a dedicated error type
    pub struct MyError { /* ... */ }

    // define appropriate types and traits
    coercible_errors!(MyError);

    pub trait Producer {
        // require that Producer::Error be either MyError or never
        type Error: CoercibleWith<MyError> + CoercibleWith<Never>;
        fn produce(&self) -> Result<u16, Self::Error>;
    }

    pub struct PMax<P1, P2> (P1, P2);
    impl<P1: Producer, P2: Producer> Producer for PMax<P1, P2> 
        // this trait bound is required to be able to use CoercedError below
        where P1::Error: CoercibleWith<P2::Error>
    {
        // compute the most appropriate Error type based on P1 and P2;
        // especially, if P1 and P2 are both infallible,
        // PMax will be infallible as well.
        type Error = CoercedError<P1::Error, P2::Error>;
        fn produce(&self) -> Result<u16, Self::Error> {
            Ok(
              // the coerced error always implements From<_>
              // for both P1::Error and P2::Error,
              // so inner errors can simply be lifted with '?'
              self.0.produce()?
              .max(self.1.produce()?)
            )
        }

    }

coercible_errors 宏负责定义以下特性和类型

• CoercibleWith<E> 是一个特质，让编译器推断正确的错误类型转换。宏提供了实现，以便 never 和 never 转换为 never，并且任何其他 never 和 MyError 的组合都转换为 MyError。
• CoercedError<E1, E2> 是一个使用 CoercibleWith 确定适当的转换错误类型的类型别名。
• CoercedResult<T, E1, E2> 是 Result<T, CoercedError<E1, E2>> 的快捷方式。