组合器:and_then
map()
被描述为一种可链式调用的方式来简化 match
语句。然而,在返回 Option<T>
的函数上使用 map()
会导致嵌套的 Option<Option<T>>
。链式调用多个这样的函数可能会变得令人困惑。这时,另一个称为 and_then()
的组合器(在某些语言中称为 flatmap)就派上用场了。
and_then()
使用包装的值调用其函数输入并返回结果。如果 Option
是 None
,则直接返回 None
。
在下面的例子中,cookable_v3()
返回一个 Option<Food>
。如果使用 map()
而不是 and_then()
,将会得到一个 Option<Option<Food>>
,这对于 eat()
函数来说是一个无效的类型。