スカラの自己型および汎用クラス

Question

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) 
    } 

上記の例では、自己型付けされた「バー」特性で型を繰り返す必要がない方法がありますか？ そこで私たちは、このようConcreteFooBarを宣言することができます：

object ConcreteFooBar extends Bar[Int] with Foo {} 

Answer 1

あなたはこのように、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()}") 
    } 
}