为何重写ZIO 2.x的bootstrap无效，而provide方法可行？

问题现象 #

学习ZIO 2.x时，尝试通过重写bootstrap层配置Runtime来提供EmailService，但声明override val bootstrap = EmailService.live后，编译提示缺少example.EmailService服务；而在run方法的Effect后调用.provide(EmailService.live)则可正常运行。

错误信息：

[error] ──── ZIO APP ERROR ───────────────────────────────────────────────────
[error] 你的effect需要的服务不在环境中，请为以下类型提供layer：
[error]    1. example.EmailService
[error] 请调用effect的provide方法提供所需layer，更多信息见：https://zio.dev/next/datatypes/contextual/
[error] ──────────────────────────────────────────────────────────────────────

原因分析 #

ZIOAppDefault的默认bootstrap提供了ZIO运行必需的核心服务（如控制台、线程池等，对应ZEnv）。直接将bootstrap替换为EmailService.live会导致两个问题：

1. 替换了默认核心服务环境，Runtime中缺少Console等ZIO基础服务（你的代码中ZIO.debug和Console.printLine都依赖这些服务）；
2. 单独的EmailService.live无法覆盖run方法Effect的全部依赖（EmailService + Console），导致环境不匹配，触发服务缺失提示。

另外，bootstrap是Runtime的基础环境，但run方法的Effect不会自动继承该环境，必须确保bootstrap的环境完全覆盖Effect的依赖需求。

解决方案 #

将自定义服务Layer与ZIOAppDefault的默认bootstrap合并，而非直接替换：

package example

import zio._
trait EmailService {
  def send(user: String, content: String): Task[Unit]
}
object EmailService {
  def send(user: String, content: String): ZIO[EmailService, Throwable, Unit] =
    ZIO.serviceWithZIO[EmailService](_.send(user, content))

  val live: ZLayer[Any, Nothing, EmailService] = 
    ZLayer.fromZIO( ZIO.succeed(EmailServiceFake()) <* Console.printLine("Init EmailService") ).orDie
}

case class EmailServiceFake() extends EmailService {
  override def send(user: String, content: String): Task[Unit] =
    Console.printLine(s"sending email to $user")
}

object RuntimeCustom extends ZIOAppDefault {
  // 合并默认bootstrap与自定义服务
  override val bootstrap = ZIOAppDefault.defaultBootstrap ++ EmailService.live
  
  def run = for {
    _ <- ZIO.debug("Start...")
    _ <- EmailService.send("God", "Hi")
    _ <- ZIO.debug("End...")
  } yield ()
  // 无需再调用.provide(EmailService.live)
}

原理说明 #

• ZIOAppDefault.defaultBootstrap提供ZIO核心服务集合ZEnv，包含Console、Clock等基础组件；
• ++操作符用于合并两个Layer，最终的bootstrap同时包含核心服务和自定义EmailService；
• 此时Runtime环境为ZEnv with EmailService，完全匹配run方法Effect的依赖，因此无需额外调用.provide补充服务。

为什么.provide能生效？ #

调用.provide(EmailService.live)时，是将自定义服务Layer与Runtime默认的ZEnv环境合并，补充了EmailService依赖，从而满足Effect的环境要求。这种方式是在Effect层面补充依赖，而非修改Runtime的基础环境。

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