Rust 处理带有panic 的 Err 时，匹配臂具有不兼容的类型

发布于09月13日

我有一小段代码，如果函数失败，我想用它来记录错误和死机，但我似乎无法让它工作，因为我得到了"Match Arm Has Compatible Types..."错误.

我知道我应该提供这些值，但有没有办法不这样做，因为我们无论如何都在panic 呢？

或者，或许还有其他办法？我试图记录一个错误，并且仅使用.expect个死机，但没有生成合适的日志(log)，或者没有执行我们需要的任何其他工具.

// this is in my instrumentation crate
pub fn handle_error(panic_msg: &str, process: &str, status: &str, error: Box<dyn Error>) {
    event!(Level::ERROR, process=process, status=status, error);
    panic!("{}", panic_msg);
}

fn main() {
   let (val1, val2, val3) = match function_call(user_id).await {
        Ok(x) => x,
        Err(e) => instrumentation::handle_error("panic", "proc", "failed", Box::new((e))),
    };
}

推荐答案

如果您想告诉您的消费者instrumentation::handle_error永远不会返回，您可以通过告诉它的返回类型是!(称为never类型)来表达这一点.可以将此类型强制为任何其他类型.只需将hande_error更改为:

pub fn handle_error(
    panic_msg: &str,
    process: &str,
    status: &str,
    error: Box<dyn Error>,
) -> ! {
    event!(Level::ERROR, process=process, status=status, error);
    panic!("{}", panic_msg)
}

panic 是Rust中发散的一种形式，在类型系统中表示为返回"Never"类型，拼写为!(无限循环也是如此).这将使您的匹配语句编译，您将不必更改任何内容.