Scala:如何理解Try的flatMap方法？

Question

Success 的 flatMap 方法是这样实现的:

  def flatMap[U](f: T => Try[U]): Try[U] =
    try f(value)
    catch {
      case NonFatal(e) => Failure(e)
    }

我有点明白这个方法在做什么，它帮助我们避免编写大量捕获代码。

但是在什么意义上它与常规的 flatMap 相似？

一个普通的 flatMap 需要一个序列序列，并将所有元素放入一个大的“平面”序列中。

但是 Try 的 flatMap 方法并没有真正扁平化任何东西。

那么，如何理解Try的flatMap方法呢？

Answer 1

在不进入 monad 的情况下，您可以从结构的角度考虑，而不是从集合的角度考虑它(集合变成具有许多条目的结构)。

现在，看看 Try.flatmap 的签名(来自您的帖子):
def flatMap[U](f: T => Try[U]): Try[U]函数f在 Try[T] 的上下文中将 T 转换为 Try[U]。

相反，假设操作是“ map ”，结果将是:
def badMap[U](f: T => Try[U]): Try[Try[U]]
如您所见，flatmap 将结果“展平”到 Try[T] 的上下文中并生成 Try[U]而不是嵌套的 Try[Try[U]] .

您可以将相同的“嵌套结构展平”概念应用于您提到的集合。