结果 Result

我们已经看到 Option 枚举类型可以用作可能失败的函数的返回值，其中返回 None 可以表明失败。但是有时要强调为什么一个操作会失败。为做到这点，我们提供 了 Result 枚举类型。

Result<T, E> 类型拥有两个取值：

  • Ok(value) 表示操作成功，并包装操作返回的 value（value 拥有 T 类型）。
  • Err(why)，表示操作失败，并包装 why，它（但愿）能够解释失败的原因（why 拥有 E 类型）。
  1. mod checked {
  2.     // 我们想要捕获的数学 “错误”
  3.     #[derive(Debug)]
  4.     pub enum MathError {
  5.         DivisionByZero,
  6.         NegativeLogarithm,
  7.         NegativeSquareRoot,
  8.     }
  10.     pub type MathResult = Result<f64, MathError>;
  12.     pub fn div(x: f64, y: f64) -> MathResult {
  13.         if y == 0.0 {
  14.             // 此操作将会失败，那么（与其让程序崩溃）不如把失败的原因包装在
  15.             // `Err` 中并返回
  16.             Err(MathError::DivisionByZero)
  17.         } else {
  18.             // 此操作是有效的，返回包装在 `Ok` 中的结果
  19.             Ok(x / y)
  20.         }
  21.     }
  23.     pub fn sqrt(x: f64) -> MathResult {
  24.         if x < 0.0 {
  25.             Err(MathError::NegativeSquareRoot)
  26.         } else {
  27.             Ok(x.sqrt())
  28.         }
  29.     }
  31.     pub fn ln(x: f64) -> MathResult {
  32.         if x < 0.0 {
  33.             Err(MathError::NegativeLogarithm)
  34.         } else {
  35.             Ok(x.ln())
  36.         }
  37.     }
  38. }
  40. // `op(x, y)` === `sqrt(ln(x / y))`
  41. fn op(x: f64, y: f64) -> f64 {
  42.     // 这是一个三层的 match 金字塔！
  43.     match checked::div(x, y) {
  44.         Err(why) => panic!("{:?}", why),
  45.         Ok(ratio) => match checked::ln(ratio) {
  46.             Err(why) => panic!("{:?}", why),
  47.             Ok(ln) => match checked::sqrt(ln) {
  48.                 Err(why) => panic!("{:?}", why),
  49.                 Ok(sqrt) => sqrt,
  50.             },
  51.         },
  52.     }
  53. }
  55. fn main() {
  56.     // 这会失败吗？
  57.     println!("{}", op(1.0, 10.0));
  58. }