- 组合算子:
map- 参见:
- 参见:
组合算子: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()
