结果 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.             // 此操作将会失败，反而让我们返回失败的理由，并装包成 `Err`
  15.             Err(MathError::DivisionByZero)
  16.         } else {
  17.             // 此操作是有效的，返回装包成 `Ok` 的结果
  18.             Ok(x / y)
  19.         }
  20.     }
  22.     pub fn sqrt(x: f64) -> MathResult {
  23.         if x < 0.0 {
  24.             Err(MathError::NegativeSquareRoot)
  25.         } else {
  26.             Ok(x.sqrt())
  27.         }
  28.     }
  30.     pub fn ln(x: f64) -> MathResult {
  31.         if x < 0.0 {
  32.             Err(MathError::NegativeLogarithm)
  33.         } else {
  34.             Ok(x.ln())
  35.         }
  36.     }
  37. }
  39. // `op(x, y)` === `sqrt(ln(x / y))`
  40. fn op(x: f64, y: f64) -> f64 {
  41.     // 这是一个三层的匹配金字塔！
  42.     // （原文：This is a three level match pyramid!）
  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. }