Rust 的惯用异常

通过无缝使用异常进行错误传播，加快基于 Result 的函数的愉快路径。

速成课程

将 #[iex] 应用到所有返回 Result 的函数上，使它们返回一个高效可传播的 #[iex] Result，像平常一样使用 ?，偶尔在需要真正的 Result 时调用 .into_result()。它就是这样直观。

与代数 Result 相比，#[iex] Result 是非对称的：它牺牲了错误处理性能，作为回报

• 消除了愉快路径上的分支
• 通过从不显式存储错误或枚举区分符来减少内存使用
• 使编译器在将小型对象包装在 Ok 中时能够使用寄存器而不是内存
• 在机器代码中清晰地分离愉快和不愉快路径，从而实现更好的指令局部性

基准测试

为了演示，我们已经重写了 serde 和 serde_json，在反序列化路径中使用 #[iex]，并使用 Rust JSON Benchmark 比较性能。以下是结果

数据是在5次运行中平均的。数据复现的仓库已发布在GitHub上。

示例

use iex::{iex, Outcome};

#[iex]
fn checked_divide(a: u32, b: u32) -> Result<u32, &'static str> {
    if b == 0 {
        // Actually raises a custom panic
        Err("Cannot divide by zero")
    } else {
        // Actually returns a / b directly
        Ok(a / b)
    }
}

#[iex]
fn checked_divide_by_many_numbers(a: u32, bs: &[u32]) -> Result<Vec<u32>, &'static str> {
    let mut results = Vec::new();
    for &b in bs {
        // Actually lets the panic bubble
        results.push(checked_divide(a, b)?);
    }
    Ok(results)
}

fn main() {
    // Actually catches the panic
    let result = checked_divide_by_many_numbers(5, &[1, 2, 3, 0]).into_result();
    assert_eq!(result, Err("Cannot divide by zero"));
}