Самостоятельный и универсальный класс Scala

abstract class Bar[M] {
  def print(t: M): Unit = {
    println(s"Bar: ${t.getClass()}")
  }
}

trait Foo[M] {
  this: Bar[M] =>
  def print2(t: M): Unit = {
    println(s"Foo: ${t.getClass()}")
  }
}

object ConcreteBar extends Bar[Int] with Foo[Int] {}
object ConcreteFooBar extends Bar[Int] with Foo[Int] {}

object Test {
  def main(args: Array[String]): Unit = {
    ConcreteBar.print(1)
    ConcreteFooBar.print2(1)
  }

В приведенном выше примере есть ли способ, чтобы нам не приходилось повторять тип в трейте «bar» с автоматическим типом? Поэтому мы могли бы объявить ConcreteFooBar следующим образом:

object ConcreteFooBar extends Bar[Int] with Foo {}

types generics scala self-type
person griin    schedule 29.11.2017    source источник

Ответы (1)


arrow_upward
0
arrow_downward

Вы можете использовать абстрактный тип вместо параметра типа для Foo, например:

abstract class Bar[M] {
  type Base = M
  def print(t: M): Unit = {
    println(s"Bar: ${t.getClass()}")
  }
}

trait Foo {
  type Base
  def print2(t: Base): Unit = {
    println(s"Foo: ${t.getClass()}")
  }
}
person Suma    schedule 29.11.2017