这个问号运算符是关于什么的？

Question

我正在阅读the documentation for File：

//..
let mut file = File::create("foo.txt")?;
//..

这一行中的? 是什么？我不记得以前在 Rust Book 中看到过。

Answer 1

您可能已经注意到，Rust 没有例外。它有恐慌，但不鼓励将它们用于错误处理（它们用于不可恢复的错误）。

在 Rust 中，错误处理使用 Result。一个典型的例子是：

fn halves_if_even(i: i32) -> Result<i32, Error> {
    if i % 2 == 0 {
        Ok(i / 2)
    } else {
        Err(/* something */)
    }
}

fn do_the_thing(i: i32) -> Result<i32, Error> {
    let i = match halves_if_even(i) {
        Ok(i) => i,
        Err(e) => return Err(e),
    };

    // use `i`
}

这很棒，因为：

• 在编写代码时不能不小心忘记处理错误，
• 阅读代码时，您可以立即发现此处可能存在错误。

然而，它并不理想，因为它非常冗长。这就是问号运算符? 的用武之地。

上面可以改写为：

fn do_the_thing(i: i32) -> Result<i32, Error> {
    let i = halves_if_even(i)?;

    // use `i`
}

这样更简洁。

? 在这里所做的等价于上面的 match 语句加上一个附加。简而言之：

1. 如果正常，它会解压Result
2. 如果没有，它返回错误，并在错误值上调用Into::into 以潜在地将其转换为另一种类型。

这有点神奇，但是错误处理需要一些魔法来减少样板文件，并且与异常不同的是，它可以立即看到哪些函数调用可能会或可能不会出错：那些以? 装饰的函数调用。

一个神奇的例子是这也适用于Option：

// Assume
// fn halves_if_even(i: i32) -> Option<i32>

fn do_the_thing(i: i32) -> Option<i32> {
    let i = halves_if_even(i)?;

    // use `i`
}

? 运算符 stabilized in Rust version 1.13.0 由（不稳定的）Try 特征提供支持。

另见：

• Is the question mark operator ? equivalent to the try! macro?
• Why do try!() and ? not compile when used in a function that doesn't return Option or Result?

Answer 2

用于可恢复错误类型Result<T, E> 的错误传播。它解开结果并为您提供内部价值。

您不是处理错误情况，而是将其传播到调用者代码并仅处理Ok 情况。好处是，它消除了很多样板，使函数的实现更简单。