组合算子：and_then
- 参见：

组合算子：`and_then`

map() 以链式调用的方式来简化 match 语句。然而，如果以返回类型是 Option<T> 的函数作为 map() 的参数，会导致出现嵌套形式 Option<Option<T>>。这样多层串联调用就会变得混乱。所以有必要引入 and_then()，在某些语言中它叫做 flatmap。

and_then() 使用被 Option 包裹的值来调用其输入函数并返回结果。如果 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. // 我们拥有全部食物的食谱，除了法国蓝带猪排（Cordon Bleu）的。
15. fn have_recipe(food: Food) -> Option<Food> {
16. match food {
17. Food::CordonBleu => None,
18. _                => Some(food),
19. }
20. }

23. // 要做一份好菜，我们需要原材料和食谱。
24. // 我们可以借助一系列 `match` 来表达这个逻辑：
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()

组合算子：and_then

组合算子：and_then

参见：

组合算子：`and_then`