具有不同属性名称的Scala通用类型层次结构

时间:2018-12-10 11:36:27

标签: scala generics type-level-computation pureconfig

我使用https://pureconfig.github.io/来加载配置值。例如,对于数据库中的每个表,我存储(db: String, table: String)。但是,我需要表示特定的表。因此,每个人都有各自的特质。即:

trait Thing
trait ThingWithStuff extends Thing {
    def value:String
}

trait FooThing extends Thing{
    def fooThing: ThingWithStuff
}

trait BarThing extends Thing{
    def barThing: ThingWithStuff
}

它们都具有不同的属性名称,并且具有相同的类型,而属性名称又包含dbtable。使用某些方法处理这些文件时:

def myMethodFoo(thing:FooThing)= println(thing.fooThing)
def myMethodBar(thing:BarThing)= println(thing.barThing)

它导致代码重复。试图使用泛型修复这些问题,我无法编写类似以下的函数:

def myMethod[T<: Thing] = println(thing.thing)

,因为属性名称会有所不同。 有没有解决的聪明方法? 注意:

table-first {
db = "a"
table = "b"
}
table-second {
db = "foo"
table = "baz"
}

不能在前面具有相同的标识符,否则它将覆盖每个值以仅保留该标识符的最后一项的值。因此,我求助于使用不同的属性名称(table-first, table-second或专门用于示例:fooThing, barThing

如何解决此问题以防止代码重复?

1 个答案:

答案 0 :(得分:1)

这是为FooThingBarThing使用类型类的解决方案:

trait Thing

trait ThingWithStuff {
    def value: String
}

trait FooThing extends Thing {
    def fooThing: ThingWithStuff
}

trait BarThing extends Thing {
    def barThing: ThingWithStuff
}

// Define implicits:

trait ThingEx[SomeThing <: Thing] {
  def extract(thing: SomeThing): ThingWithStuff
}

implicit val fooThingEx = new ThingEx[FooThing]{
  def extract(thing: FooThing): ThingWithStuff = thing.fooThing
}

implicit val barThingEx = new ThingEx[BarThing]{
  def extract(thing: BarThing): ThingWithStuff = thing.barThing
}

// Define the method:

def myMethod[SomeThing <: Thing](thing: SomeThing)(implicit thingEx: ThingEx[SomeThing]) =
  println(thingEx.extract(thing).value)

// Try it out:

val foo = new FooThing {
  def fooThing = new ThingWithStuff {
    def value = "I am a FooThing!"
  }
}


val bar = new BarThing {
  def barThing = new ThingWithStuff {
    def value = "I am a BarThing!"
  }
}

myMethod(foo)

myMethod(bar)

结果:

I am a FooThing!
I am a BarThing!

Try it out!

基本上,我们在没有任何差异的地方“创建”多态性-两个隐式ThingEx允许您将fooThingbarThing绑定在一起。您只需定义一次此绑定-然后就可以在任何地方使用它。

如果 ad-hoc-polymorphism type类对您来说是新手,您可以启动here

我希望这会有所帮助!