Question

这是一个简单的服务示例，其方法返回读者：

trait Service1_1{
  def s1f1:Reader[Map[String,Int],Int] =
    Reader(_("name"))

  def s1f2:Reader[Map[String,Int],Int] =
    Reader(_("age"))
}

这里是一个服务使用者，它接受参数，映射，还返回读取器本身：

trait Service1_2 {
  def s12f1(i:Int, map:Map[String,Int]):Reader[Service1_1, Int] =
    Reader(s => {
      val r = for {
        r1 <- s.s1f1
        r2 <- s.s1f2
      } yield r1 + r2
      r.run(map) + i
    })
}

好，要使用Service1_2.s12f1，我必须在参数列表中具有映射：

object s1 extends Service1_1
object s2 extends Service1_2
val r = s2.s12f1(3, Map("age"-> 1, "name"-> 2)).run(s1)

问题：如何实施Service1_2.s12f2：

trait Service1_2 {
  def s2f2 = ???
}

为了能够像这样运行它：

s2.s2f2(2)
  .run(s1)
  .run(Map("age"-> 1, "name"-> 2))

主要思想是将依赖关系的传递推迟到执行。这应该允许获得更好的组合和推迟执行。如何运作？如果存在具有此类依赖关系的嵌套调用，则使用Readers的最佳做法是什么。例如，假设服务Service1_3在一种方法中将同时使用Service1_2.s2f2和Service1_1.s1f1

更新，好的，我可以实现它，但是看起来很复杂：

  def s2f2(i:Int): Reader[Service1_1, Reader[Map[String,Int],Int]] =
    Reader(s => Reader(map => {
      val r = for {
        r1 <- s.s1f1
        r2 <- s.s1f2
      } yield r1 + r2
      r.run(map) + i
    }))

问题是，有没有更好的方法？或者至少是语法？原因有多个级别的依赖关系，这看起来很奇怪。

Answer 1

我可能会让读者“毫不费力”，因此，我将拥有一个n元组作为环境，而不是拥有两层（或更多层）的读者。然后，您可以使用local将较小的读者“提升”到当前水平。

例如，我将使用Reader[Service1_1, Reader[Map[String, Int], Int]]而不是Reader[(Service1_1, Map[String, Int]), Int]：

import cats.data.Reader

trait Service1_1{
  def s1f1: Reader[Map[String, Int], Int] = Reader(_("name"))
  def s1f2: Reader[Map[String, Int], Int] = Reader(_("age"))
}

trait Service1_2 {
  type Env = (Service1_1, Map[String,Int])

  def s2f2(i: Int): Reader[Env, Int] =
    for {
      s <- Reader((_: Env)._1)
      r1 <- s.s1f1.local((_: Env)._2)
      r2 <- s.s1f2.local((_: Env)._2)
    } yield r1 + r2 + i
}

然后：

scala> object s1 extends Service1_1
defined object s1

scala> object s2 extends Service1_2
defined object s2

scala> s2.s2f2(2).run((s1, Map("age"-> 1, "name"-> 2)))
res0: cats.Id[Int] = 5

这与您的s2f2完全相同，除了我们使用自适应参数写s2.s2f2(2).run(s1).run(myMap)甚至s2.s2f2(2).run((s1, myMap))代替s2.s2f2(2).run(s1, myMap)。

这种方法的优势在于，即使您添加图层，也可以通过for在一个local理解中组成新的和以前的读者。

Scala中依赖项注入的读者组成

1 个答案: