各种错误类型

前面出现的例子确实很方便；都是 Result 和其他 Result 交互，还有 Option 和其他 Option 交互。

有时 Option 需要和 Result 进行交互，或是 Result<T, Error1> 需要和 Result<T, Error2 进行交互。在这类情况下，我们想要以一种方式来管理不同的错误类型，使得它们可组合且易于交互。

在下面代码中，unwrap 的两个实例生成了不同的错误类型。Vec::first 返回一个 Option，而 parse::<i32> 返回一个 Result<i32, ParseIntError>：

  1. fn double_first(vec: Vec<&str>) -> i32 {
  2.     let first = vec.first().unwrap(); // 生成错误1
  3.     2 * first.parse::<i32>().unwrap() // 生成错误2
  4. }
  6. fn main() {
  7.     let empty = vec![];
  8.     let strings = vec!["tofu", "93", "18"];
  10.     println!("The first doubled is {}", double_first(empty));
  11.     // 错误1：输入 vector 为空
  13.     println!("The first doubled is {}", double_first(strings));
  14.     // 错误2：此元素不能解析成数字
  15. }

使用组合算子的知识，我们能够重写上述代码来显式地处理错误。为了做到两种错误类型都能够出现，我们需要将他们转换为一种通用类型，比如 String 类型。

就这样，我们将 Option 和 Result 都转换成 Result，从而将他们的错误类型映射成相同的类型：

  1. // 使用 `String` 作为错误类型
  2. type Result<T> = std::result::Result<T, String>;
  4. fn double_first(vec: Vec<&str>) -> Result<i32> {
  5.     vec.first()
  6.        // 若值存在则将 `Option` 转换成 `Result`。
  7.        // 否则提供一个包含该字符串（`String`） 的 `Err`。
  8.        .ok_or("Please use a vector with at least one element.".to_owned())
  9.        // 回想一下，`parse` 返回一个 `Result<T, ParseIntError>`。
  10.        .and_then(|s| s.parse::<i32>()
  11.                       // 映射任意错误 `parse` 产生得到 `String`。
  12.                       // （原文：Map any errors `parse` yields to `String`.）
  13.                       .map_err(|e| e.to_string())
  14.                       // `Result<T, String>` 成为新的返回类型，
  15.                       // 我们可以给里面的数字扩大两倍。
  16.                       .map(|i| 2 * i))
  17. }
  19. fn print(result: Result<i32>) {
  20.     match result {
  21.         Ok(n)  => println!("The first doubled is {}", n),
  22.         Err(e) => println!("Error: {}", e),
  23.     }
  24. }
  26. fn main() {
  27.     let empty = vec![];
  28.     let strings = vec!["tofu", "93", "18"];
  30.     print(double_first(empty));
  31.     print(double_first(strings));
  32. }

在下一节，我们将学到一个替代方法来显式处理这型错误。

参见：

Option::ok_or, Result::map_err