选项 Option

有时候想要捕捉到程序某部分的失败信息，而不是调用 panic!；这可使用 Option 枚举类型来实现。

Option<T> 有两个变量：

  • None，表明失败或缺少值
  • Some(value)，元组结构体，封装了一个 T 类型的值 value
  1. // 不会 `panic!` 的整数除法。
  2. fn checked_division(dividend: i32, divisor: i32) -> Option<i32> {
  3.     if divisor == 0 {
  4.         // 失败表示成 `None` 取值
  5.         None
  6.     } else {
  7.         // 结果 Result 被包装到 `Some` 取值中
  8.         Some(dividend / divisor)
  9.     }
  10. }
  12. // 此函数处理可能失败的除法
  13. fn try_division(dividend: i32, divisor: i32) {
  14.     // `Option` 值可以进行模式匹配，就和其他枚举类型一样
  15.     match checked_division(dividend, divisor) {
  16.         None => println!("{} / {} failed!", dividend, divisor),
  17.         Some(quotient) => {
  18.             println!("{} / {} = {}", dividend, divisor, quotient)
  19.         },
  20.     }
  21. }
  23. fn main() {
  24.     try_division(4, 2);
  25.     try_division(1, 0);
  27.     // 绑定 `None` 到一个变量需要类型标注
  28.     let none: Option<i32> = None;
  29.     let _equivalent_none = None::<i32>;
  31.     let optional_float = Some(0f32);
  33.     // 解包 `Some` 将取出被包装的值。
  34.     println!("{:?} unwraps to {:?}", optional_float, optional_float.unwrap());
  36.     // 解包 `None` 将会引发 `panic!`。
  37.     println!("{:?} unwraps to {:?}", none, none.unwrap());
  38. }