error-handling - 如何将自定义失败与失败箱匹配

Question

我正在尝试了解如何使用 failure箱。它作为不同类型的标准错误的统一非常出色，但是在创建自定义错误(失败)时，我不明白如何匹配自定义错误。例如:

use failure::{Fail, Error};

#[derive(Debug, Fail)]
pub enum Badness {
  #[fail(display = "Ze badness")]
  Level(String)
}

pub fn do_badly() -> Result<(), Error> {
  Err(Badness::Level("much".to_owned()).into())
}

#[test]
pub fn get_badness() {
  match do_badly() {
    Err(Badness::Level(level)) => panic!("{:?} badness!", level),
    _ => (),
  };
}

失败

error[E0308]: mismatched types
  --> barsa-nagios-forwarder/src/main.rs:74:9
   |
73 |   match do_badly() {
   |         ---------- this match expression has type `failure::Error`
74 |     Err(Badness::Level(level)) => panic!("{:?} badness!", level),
   |         ^^^^^^^^^^^^^^^^^^^^^ expected struct `failure::Error`, found enum `Badness`
   |
   = note: expected type `failure::Error`
              found type `Badness`

如何制定匹配特定自定义错误的模式？

Answer 1

你需要向下转换错误

当您从某种实现了 Fail 特性的类型创建一个 failure::Error 时(通过 from 或 into，就像你做的那样)，你暂时向编译器隐藏了关于你正在包装的类型的信息。它不知道 Error 是一个 Badness - 因为它也可以是任何其他 Fail 类型，这就是重点。您需要提醒编译器这一点，该操作称为向下转换。 failure::Error 具有三个方法:downcast、downcast_ref 和 downcast_mut。向下转换后，您可以照常对结果进行模式匹配 - 但您需要考虑向下转换本身可能失败的可能性(如果您尝试向下转换为错误的类型)。

下面是 downcast 的样子:

pub fn get_badness() {
    if let Err(wrapped_error) = do_badly() {
        if let Ok(bad) = wrapped_error.downcast::<Badness>() {
            panic!("{:?} badness!", bad);
        }
    }
}

(在这种情况下可以组合两个 if let)。

如果需要测试不止一种错误类型，这很快就会变得非常不愉快，因为 downcast 消耗了它被调用的 failure::Error(所以你可以如果第一个失败，请在同一个变量上尝试另一个downcast)。遗憾的是，我想不出一种优雅的方法来做到这一点。这是一个不应该真正使用的变体(panic! in map 是有问题的，做任何其他事情都会很尴尬，我什至不想去想关于超过两个的案例):

#[derive(Debug, Fail)]
pub enum JustSoSo {
    #[fail(display = "meh")]
    Average,
}

pub fn get_badness() {
    if let Err(wrapped_error) = do_badly() {
        let e = wrapped_error.downcast::<Badness>()
            .map(|bad| panic!("{:?} badness!", bad))
            .or_else(|original| original.downcast::<JustSoSo>());
        if let Ok(so) = e {
            println!("{}", so);
        }
    }
}

or_else 如果您真的想从所有可能的\相关错误中产生一些相同类型的值，链应该可以正常工作。如果对原始错误的引用适合您，也可以考虑使用非消耗方法，因为这将允许您制作一系列 if let block ，每个 downcast 尝试。

替代方案

不要将错误放入 failure::Error 中，将它们作为变体放入自定义枚举中。它更多的是样板文件，但你会得到无痛的模式匹配，编译器也将能够检查它的完整性。如果您选择这样做，我建议您使用 derive_more crate，它能够为此类枚举派生 From； snafu 看起来也很有趣，但我还没有尝试过。这种方法的最基本形式如下所示:

pub enum SomeError {
    Bad(Badness),
    NotTooBad(JustSoSo),
}

pub fn do_badly_alt() -> Result<(), SomeError> {
    Err(SomeError::Bad(Badness::Level("much".to_owned())))
}

pub fn get_badness_alt() {
    if let Err(wrapper) = do_badly_alt() {
        match wrapper {
            SomeError::Bad(bad) => panic!("{:?} badness!", bad),
            SomeError::NotTooBad(so) => println!("{}", so),
        }
    }
}