处理Err触发panic导致Match分支类型不兼容的Rust问题

你遇到的错误核心原因是：Rust要求match的所有分支必须返回相同类型，哪怕某个分支会触发panic。你的Ok分支返回三元组(val1, val2, val3)，而Err分支调用的handle_error默认返回()类型，两者类型不匹配，所以编译器报错。

最优解决方案：让handle_error返回永不返回类型! #

Rust提供了特殊的!类型（发散类型），表示函数永远不会正常返回（只会panic、退出进程或无限循环）。这个类型可以与任何类型兼容，完美解决match分支类型不匹配的问题。

修改你的handle_error函数，添加返回类型!：

use std::error::Error;
use tracing::{event, Level};

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);
}

修改后，Err分支的返回类型是!，编译器会自动将其适配为Ok分支的三元组类型，不再报错。同时你依然可以复用这个函数完成错误日志、埋点和panic的逻辑。

替代方案：直接在match分支内处理 #

如果不想修改handle_error的返回类型，也可以直接在Err分支内完成埋点和panic：

fn main() {
   let (val1, val2, val3) = match function_call(user_id).await {
        Ok(x) => x,
        Err(e) => {
            event!(Level::ERROR, process="proc", status="failed", error=Box::new(e));
            panic!("panic");
        },
    };
}

但这种方式无法复用错误处理逻辑，适合只在单一地方使用的场景。

内容的提问来源于stack exchange，提问作者dominique120