• 组合算子：and_then
    • 参见：

    组合算子：and_then

    map() 以链式调用的方式来简化 match 语句。然而，在返回类型是 Option<T> 的函数中使用 map() 会导致出现嵌套形式 Option<Option<T>>。多层链式调用也会变得混乱。所以有必要引入 and_them()，就像某些熟知语言中的 flatmap。

    and_then() 使用包裹的值（wrapped value）调用其函数输入并返回结果。 如果 Option 是 None，那么它返回 None。

    在下面例子中，cookable_v2() 会产生一个 Option<Food>。使用 map() 替代 and_then() 将会得到 Option<Option<Food>>，对 eat() 来说是一个无效类型。

    1. #![allow(dead_code)]
    3. #[derive(Debug)] enum Food { CordonBleu, Steak, Sushi }
    4. #[derive(Debug)] enum Day { Monday, Tuesday, Wednesday }
    6. // 我们没有原材料（ingredient）来制作寿司。
    7. fn have_ingredients(food: Food) -> Option<Food> {
    8.     match food {
    9.         Food::Sushi => None,
    10.         _           => Some(food),
    11.     }
    12. }
    14. // 我们拥有全部食物的食谱，除了欠缺高超的烹饪手艺。
    15. fn have_recipe(food: Food) -> Option<Food> {
    16.     match food {
    17.         Food::CordonBleu => None,
    18.         _                => Some(food),
    19.     }
    20. }
    22. // 做一份好菜，我们需要原材料和食谱这两者。
    23. // 我们可以借助一系列 `match` 来表达相应的逻辑：
    24. // （原文：We can represent the logic with a chain of `match`es:）
    25. fn cookable_v1(food: Food) -> Option<Food> {
    26.     match have_ingredients(food) {
    27.         None       => None,
    28.         Some(food) => match have_recipe(food) {
    29.             None       => None,
    30.             Some(food) => Some(food),
    31.         },
    32.     }
    33. }
    35. // 这可以使用 `and_then()` 方便重写出更紧凑的代码：
    36. fn cookable_v2(food: Food) -> Option<Food> {
    37.     have_ingredients(food).and_then(have_recipe)
    38. }
    40. fn eat(food: Food, day: Day) {
    41.     match cookable_v2(food) {
    42.         Some(food) => println!("Yay! On {:?} we get to eat {:?}.", day, food),
    43.         None       => println!("Oh no. We don't get to eat on {:?}?", day),
    44.     }
    45. }
    47. fn main() {
    48.     let (cordon_bleu, steak, sushi) = (Food::CordonBleu, Food::Steak, Food::Sushi);
    50.     eat(cordon_bleu, Day::Monday);
    51.     eat(steak, Day::Tuesday);
    52.     eat(sushi, Day::Wednesday);
    53. }

    参见：

    闭包，Option::map(), 和 Option::and_then()