2.9 zio入门——递归和ZIO

2.9 递归和ZIO

我们在本章前面谈到了使用flatMap和相关的运算符来顺序合成effect。
通常，如果调用递归函数，并且递归深度很大，则运行计算的线程可能会耗尽堆栈空间，这将导致您的程序引发堆栈溢出异常。
ZIO的功能之一是ZIO效果对于任意递归效果都是堆栈安全的。 因此，我们可以编写ZIO函数来调用自己，以使用ZIO实现任何类型的递归逻辑。
例如，假设我们要实现一个简单的控制台程序，该程序将从用户那里获取两个整数并将它们相乘。
我们可以从实现一个运算符开始，以从用户那里获取一个整数，如以下代码片段所示：

  import zio.console._
  val readInt: RIO[Console, Int] = for {
    line <- console.getStrLn
    int <- ZIO.effect(line.toInt)
  } yield int

由于用户输入的输入可能不是有效的整数，因此这种错误可能会因Throwable错误类型而失败。 如果用户输入的整数无效，我们希望向用户显示一条有用的错误消息，然后重试。
我们可以使用递归在现有的readInt效果之上构建此功能。 我们定义了一个新效果readIntOrRetry，它将首先调用readInt。 如果readInt成功，则只返回结果。 如果不是，我们提示用户输入一个有效的整数，然后递归：

  lazy val readIntOrRetry: URIO[Console, Int] = readInt
    .orElse(
      console
        .putStrLn("Please enter a valid integer")
        .zipRight(readIntOrRetry)
    )

使用递归，我们可以为ZIO程序创建自己的复杂控制流构造。