scala generic type hierarchy with different attribute name

问题

I use https://pureconfig.github.io/ to load configuration values. For example for each table in a database, I store (db: String, table: String).However, I need to denote specific tables. Therefore, each one has a separate trait. I.e.:

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

trait FooThing extends Thing{
    def fooThing: ThingWithStuff
}

trait BarThing extends Thing{
    def barThing: ThingWithStuff
}

They all have a different attribute name with the same type which in return holds i.e. db and table. When processing these with some methods:

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

it leads to code duplication. Trying to fix these using generics I am not able to write a function like:

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

as the attribute name would be different. Is there a smart way around it? Note:

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

cannot have the same identifier up front as otherwise it would overwrite each value to hold only the value of the last item for this identifier. Therefore, I resorted to use different attribute names (table-first, table-second or specifically for the example: fooThing, barThing)

How can I fix this issue to prevent code duplication?

回答1:

Here is a solution using type classes for FooThing and BarThing:

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)

Result:

I am a FooThing!
I am a BarThing!

Try it out!

Basically, we "create" polymorphism where there isn't any - the two implicit ThingEx allow you to bind fooThing and barThing together. You only have to define this bind once - and then you can use it everywhere.

If ad-hoc-polymorphism and type classes are new to you, you can start here for example.

I hope this helps!

来源：https://stackoverflow.com/questions/53704848/scala-generic-type-hierarchy-with-different-attribute-name

标签

scala

generics

type-level-computation

pureconfig