关于ZIO的map方法或for推导式yield的异常行为咨询

核心问题本质 #

你遇到的问题源于ZIO对不同API的设计定位差异：ZIO.succeed和map（包括for推导式的yield）默认假设传入的代码不会抛出异常，而ZIO.from则专门用来处理可能出错的同步逻辑。

具体原因拆解 #

• ZIO.succeed/map 的设计约束
  ZIO.succeed和map接收的参数是=> A类型的纯值计算，ZIO的类型系统和底层实现（比如调用的私有方法ZIO.succeedNow）都默认这个逻辑不会抛出非致命异常。当你传入的代码（比如1/0）实际抛出异常时，这个异常会绕过ZIO的错误处理通道，直接成为Fiber的未捕获异常，导致整个Fiber直接终止——这种级别的错误不在catchAll的处理范围内，所以后续的代码（比如输出"DONE"）完全不会执行。

• ZIO.from 的错误捕获逻辑
  ZIO.from（或更常用的ZIO.attempt）的核心作用就是处理可能抛出异常的同步代码：它会主动捕获函数执行时的Throwable，将其包装到ZIO的错误通道中，这样catchAll就能正常识别并处理这个错误，Fiber也不会被直接终止，后续逻辑自然能继续执行。

对应示例验证 #

1. 失败案例（yield/ZIO.succeed）
   不管是yield 1/0（本质是调用map）还是ZIO.succeed(1/0)，代码执行时抛出的异常都没有被ZIO捕获，直接触发Fiber终止，catchAll和后续的println("DONE")都无法执行。
2. 成功案例（ZIO.from）
   ZIO.from(1/0)主动捕获了除零异常并转入错误通道，catchAll能正常处理该错误，之后的println("DONE")也能顺利执行。

内容的提问来源于stack exchange，提问作者Alex