递归和ZIO"/>
2.9 zio入门——递归和ZIO
2.9 递归和ZIO
我们在本章前面谈到了使用flatMap和相关的运算符来顺序合成effect。
通常,如果调用递归函数,并且递归深度很大,则运行计算的线程可能会耗尽堆栈空间,这将导致您的程序引发堆栈溢出异常。
ZIO的功能之一是ZIO效果对于任意递归效果都是堆栈安全的。 因此,我们可以编写ZIO函数来调用自己,以使用ZIO实现任何类型的递归逻辑。
例如,假设我们要实现一个简单的控制台程序,该程序将从用户那里获取两个整数并将它们相乘。
我们可以从实现一个运算符开始,以从用户那里获取一个整数,如以下代码片段所示:
import zio.console._val readInt: RIO[Console, Int] = for {line <- console.getStrLnint <- 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程序创建自己的复杂控制流构造。
更多推荐
2.9 zio入门——递归和ZIO
发布评论