组合算子:map
match
是处理 Option
的一个有效方法。但是你最终会发现很多用例都相当繁琐,特别是操作只有一个有效输入的情况。在这些情况下,可以使用 组合算子(combinator)以模块化方式来管理控制流。
Option
有一个内置方法 map()
,这个组合算子可用于简单映射Some -> Some
和 None -> None
的情况。多个不同的 map()
调用可以更灵活地链式连接在一起。
在下面例子中,process()
轻松取代了前面的所有函数,且更加紧凑。
#![allow(dead_code)] #[derive(Debug)] enum Food { Apple, Carrot, Potato } #[derive(Debug)] struct Peeled(Food); #[derive(Debug)] struct Chopped(Food); #[derive(Debug)] struct Cooked(Food); // 削水果皮。如果没有水果,就返回 `None`。 // 否则返回削好皮的水果。 fn peel(food: Option<Food>) -> Option<Peeled> { match food { Some(food) => Some(Peeled(food)), None => None, } } // 和上面一样,我们要在切水果之前确认水果是否已经削皮。 fn chop(peeled: Option<Peeled>) -> Option<Chopped> { match peeled { Some(Peeled(food)) => Some(Chopped(food)), None => None, } } // 和前面的检查类似,但是使用 `map()` 来替代 `match`。 fn cook(chopped: Option<Chopped>) -> Option<Cooked> { chopped.map(|Chopped(food)| Cooked(food)) } // 另外一种实现,我们可以链式调用 `map()` 来简化上述的流程。 fn process(food: Option<Food>) -> Option<Cooked> { food.map(|f| Peeled(f)) .map(|Peeled(f)| Chopped(f)) .map(|Chopped(f)| Cooked(f)) } // 在尝试吃水果之前确认水果是否存在是非常重要的! fn eat(food: Option<Cooked>) { match food { Some(food) => println!("Mmm. I love {:?}", food), None => println!("Oh no! It wasn't edible."), } } fn main() { let apple = Some(Food::Apple); let carrot = Some(Food::Carrot); let potato = None; let cooked_apple = cook(chop(peel(apple))); let cooked_carrot = cook(chop(peel(carrot))); // 现在让我们试试更简便的方式 `process()`。 // (原文:Let's try the simpler looking `process()` now.) // (翻译疑问:looking 是什么意思呢?望指教。) let cooked_potato = process(potato); eat(cooked_apple); eat(cooked_carrot); eat(cooked_potato); }
参见:
闭包, Option
, 和 Option::map()