Question

我遵循了功能和反应建模一书中的设计原则。

因此所有服务方法都返回Kleisli。

问题是如何在这些服务上添加可更新缓存。

这是我目前的实施，有更好的方法（现有的组合器，更多的功能方法，......）？

import scala.concurrent.duration.Duration
import scala.concurrent.ExecutionContext.Implicits.global
import scala.concurrent.{Await, Future}
import scalaz.Kleisli

trait Repository {
  def all : Future[Seq[String]]
  def replaceAll(l: Seq[String]) : Future[Unit]
}

trait Service {
  def all = Kleisli[Future, Repository, Seq[String]] { _.all }
  def replaceAll(l: Seq[String]) = Kleisli[Future, Repository, Unit] { _.replaceAll(l) }
}

trait CacheService extends Service {
  var cache : Seq[String] = Seq.empty[String]

  override def all = Kleisli[Future, Repository, Seq[String]] { repo: Repository =>
    if (cache.isEmpty) {
      val fcache = repo.all
      fcache.foreach(cache = _)
      fcache
    }
      else
      Future.successful(cache)
  }

  override def replaceAll(l: Seq[String]) = Kleisli[Future, Repository, Unit] { repo: Repository =>
    cache = l
    repo.replaceAll(l)
  }
}

object CacheTest extends App {
  val repo = new Repository {
    override def replaceAll(l: Seq[String]): Future[Unit] = Future.successful()
    override def all: Future[Seq[String]] = Future.successful(Seq("1","2","3"))
  }
  val service = new CacheService {}

  println(Await.result(service.all(repo), Duration.Inf))
  Await.result(service.replaceAll(List("a"))(repo), Duration.Inf)
  println(Await.result(service.all(repo), Duration.Inf))
}

[update]关于@timotyperigo的评论，我在存储库级别实现了缓存

class CachedTipRepository(val self:TipRepository) extends TipRepository {
  var cache: Seq[Tip] = Seq.empty[Tip]

  override def all: Future[Seq[Tip]] = …

  override def replace(tips: String): Unit = …
}

我仍然对改进设计的反馈感兴趣。

Answer 1

Timothy完全正确：缓存是存储库（而不是服务）的实现功能。实施功能/细节不应在合同中公开，此时您的设计也很好（不过您的实施方式！）

深入研究您的设计问题，您会看到如何在Scala中完成依赖注入，这很有趣：

构造函数注入
蛋糕模式
读者monad

蛋糕模式和构造函数注入有一个相似之处：依赖关系在创建时绑定。使用Reader monad（Kleisli只是在它上面提供了一个额外的层），你延迟绑定，这导致更多的可组合性（由于组合器），更多的可测试性和更大的灵活性

如果通过添加缓存功能来装饰现有的TipRepository，可能不需要Kleisli的好处，甚至可能使代码更难阅读。使用构造函数注入似乎是合适的，因为它是最简单的模式，可以让你做的事情＆＃34;以及＃34;

如何使用Kleisli实现缓存

1 个答案: