为什么在 main 中使用 Result 时，match 臂中需要 return ？

Question

我正在阅读《Rust by Examples》一书。在此示例 删除 Err(e) => 中的 return return Err(e) 导致错误：预期为“i32”，但发现枚举“Result”。这是为什么？

Err(e) => 和有什么区别？返回 Err(e) 和 Err(e) =>错误（e）？

这是示例中的代码：

use std::num::ParseIntError;

fn main() -> Result<(), ParseIntError> {
    let number_str = "10";
    let number = match number_str.parse::<i32>() {
        Ok(number)  => number,
        Err(e) => return Err(e),
    };
    println!("{}", number);
    Ok(())
}

Answer 1

    let number = match number_str.parse::<i32>() {
        Ok(number)  => number,
        Err(e) => return Err(e),
    };

这表示如果 number_str.parse::() 返回 Ok 将 number 设置为 number ，i32。如果它返回 Err，则立即从 main 返回 Err(e)，这是一个 Result，<代码>数字未设置。

这很好，因为 number 只能是 i32 并且 main 确实返回 Result。

    let number = match number_str.parse::<i32>() {
        Ok(number)  => number,
        Err(e) => Err(e),
    };

这表示如果 number_str.parse::() 返回 Ok 将 number 设置为 number ，i32，和以前一样。如果它返回一个Err，则将number设置为Err(e)，这是一个Result。

number 不能同时是 i32 和 Result，因此您会收到编译器错误。

Answer 2

比赛的所有手臂都必须具有“兼容”类型。这要么意味着它们都具有相同的类型：

fn is_some<T>(opt: &Option<T>) -> bool {
  match opt {
    // both arms have type bool
    Some(_) => true,
    None => false,
  }
}

要么某些分支需要以某种方式将控制流从匹配中引出。

要记住的主要规则是 Rust 中的每个变量都需要一个单一类型（忽略生命周期的差异）。就您而言，如果没有 return 关键字，number 的类型是什么？

如果解析成功，number 将是 i32。如果失败，则会出现 Err(ParseIntError)。这是不允许的，因此您会收到编译错误。

但是，如果您返回 Err(e)，则 number 将始终为 i32（因为 return 会阻止其余部分）运行的函数，因此 number 不需要类型）。

类似的事情也适用于其他控制流关键字（例如 continue、break 等），以及保证不返回的内容，例如 panic!() （查找 Never/! 类型以获取更多信息）