Как реализовать безопасное хранилище доменов в scala? - PullRequest
Новая
       39

Как реализовать безопасное хранилище доменов в scala?

1 голос
/ 02 мая 2019

Я хочу внедрить универсальное и безопасное хранилище доменов.Скажем, у меня есть 

trait Repo[Value] {
  def put(value: Value): Unit
}

case class IntRepo extends Repo[Int] {
  override def put(value: Int): Unit = ???
}

case class StringRepo extends Repo[String] {
  override def put(value: String): Unit = ???
}

case class DomainRepo(intRepo: IntRepo, stringRepo: StringRepo) {
  def putAll[?](values: ?*): Unit // what type should be here?
}

В результате я хочу получить следующие API: 

domainRepo.putAll(1, 2, 3, "foo", "bar") //Should work
domainRepo.putAll(1, 2, true, "foo") // should not compile because of boolean value

Вопрос в том, как этого добиться?

, поэтому я вижу только одинспособ сделать его безопасным.Это сопоставление с образцом для любого типа, например 

def putAll(values: Seq[Any]) => Unit = values.foreach {
  case str: String => stringRepo.put(str)
  case int: Int => intRepo.put(int)
  case _ => throw RuntimeException // Ha-Ha
}

, но что если у меня будет 10000 типов здесь?это был бы беспорядок!

еще один неясный для меня подход на данный момент - использовать тип dotty |(или) вроде следующего: 

type T = Int | String | 10000 other types // wouldn't be a mess?

def putAll(t: T*)(implicit r1: Repo[Int], r2: Repo[String] ...) {
  val myTargetRepo = implicitly[Repo[T]] // would not work
}

Итак, что вы думаете?это вообще возможно?

простой способ, который я видел, был 

Map[Class[_], Repo[_]]

, но этот способ позволяет делать много ошибок

1 Ответ

4 голосов
/ 02 мая 2019

Кажется, вы ищете тип класса 

trait Repo[Value] {
  def put(value: Value): Unit
}

implicit val intRepo: Repo[Int] = new Repo[Int] {
  override def put(value: Int): Unit = ???
}

implicit val stringRepo: Repo[String] = new Repo[String] {
  override def put(value: String): Unit = ???
}

case object DomainRepo {
  def putAll[Value](value: Value)(implicit repo: Repo[Value]): Unit = repo.put(value)
}

Если вы хотите domainRepo.putAll(1, 2, 3, "foo", "bar") скомпилировать и domainRepo.putAll(1, 2, true, "foo") не скомпилировать, вы можете попробовать использовать гетерогенную коллекцию (HList). 

import shapeless.{HList, HNil, ::, Poly1}
import shapeless.ops.hlist.Mapper

trait Repo[Value] {
  def put(value: Value): Unit
}

implicit val intRepo: Repo[Int] = new Repo[Int] {
  override def put(value: Int): Unit = ???
}

implicit val stringRepo: Repo[String] = new Repo[String] {
  override def put(value: String): Unit = ???
}

case object DomainRepo {
  def put[Value](value: Value)(implicit repo: Repo[Value]): Unit = repo.put(value)

  object putPoly extends Poly1 {
    implicit def cse[Value: Repo]: Case.Aux[Value, Unit] = at(put(_))
  }

  def putAll[Values <: HList](values: Values)(implicit 
    mapper: Mapper[putPoly.type, Values]): Unit = mapper(values)
}

DomainRepo.putAll(1 :: 2 :: 3 :: "foo" :: "bar" :: HNil)
//  DomainRepo.putAll(1 :: 2 :: true :: "foo" :: HNil) // doesn't compile
...