Option 和 unwrap

上个例子展示了如何主动地引入程序失败（program failure）。当公主收到蛇这件不合适 的礼物时，我们就让程序 panic。但是，如果公主期待收到礼物，却没收到呢？这同样 是一件糟糕的事情，所以我们要想办法来解决这个问题！

我们可以检查空字符串（""），就像处理蛇那样。但既然我们在用 Rust，不如 让编译器辨别没有礼物的情况。

在标准库（std）中有个叫做 Option<T>（option 中文意思是 “选项”）的枚举 类型，用于有 “不存在” 的可能性的情况。它表现为以下两个 “option”（选项）中 的一个：

  • Some(T)：找到一个属于 T 类型的元素
  • None：找不到相应元素

这些选项可以通过 match 显式地处理，或使用 unwrap 隐式地处理。隐式处理要么 返回 Some 内部的元素，要么就 panic。

请注意，手动使用 expect 方法自定义 panic 信息是可能的，但相比显式 处理，unwrap 的输出仍显得不太有意义。在下面例子中，显式处理将举出更受控制的 结果，同时如果需要的话，仍然可以使程序 panic。

  1. // 平民（commoner）们见多识广，收到什么礼物都能应对。
  2. // 所有礼物都显式地使用 `match` 来处理。
  3. fn give_commoner(gift: Option<&str>) {
  4.     // 指出每种情况下的做法。
  5.     match gift {
  6.         Some("snake") => println!("Yuck! I'm throwing that snake in a fire."),
  7.         Some(inner)   => println!("{}? How nice.", inner),
  8.         None          => println!("No gift? Oh well."),
  9.     }
  10. }
  12. // 养在深闺人未识的公主见到蛇就会 `panic`（恐慌）。
  13. // 这里所有的礼物都使用 `unwrap` 隐式地处理。
  14. fn give_princess(gift: Option<&str>) {
  15.     // `unwrap` 在接收到 `None` 时将返回 `panic`。
  16.     let inside = gift.unwrap();
  17.     if inside == "snake" { panic!("AAAaaaaa!!!!"); }
  19.     println!("I love {}s!!!!!", inside);
  20. }
  22. fn main() {
  23.     let food  = Some("chicken");
  24.     let snake = Some("snake");
  25.     let void  = None;
  27.     give_commoner(food);
  28.     give_commoner(snake);
  29.     give_commoner(void);
  31.     let bird = Some("robin");
  32.     let nothing = None;
  34.     give_princess(bird);
  35.     give_princess(nothing);
  36. }