组合器:and_then

map() 被描述为一种可链式调用的方式来简化 match 语句。然而,在返回 Option<T> 的函数上使用 map() 会导致嵌套的 Option<Option<T>>。链式调用多个这样的函数可能会变得令人困惑。这时,另一个称为 and_then() 的组合器(在某些语言中称为 flatmap)就派上用场了。

and_then() 使用包装的值调用其函数输入并返回结果。如果 OptionNone,则直接返回 None

在下面的例子中,cookable_v3() 返回一个 Option<Food>。如果使用 map() 而不是 and_then(),将会得到一个 Option<Option<Food>>,这对于 eat() 函数来说是一个无效的类型。

XXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXXX

另请参阅:

闭包OptionOption::and_then()Option::flatten()