Доля общего между чертами

Question

У меня есть две черты

trait Base[A] 

trait SometimesUsedWithBase[A] { 
    this: Base[A] => 
} 

Затем я использую их с классом

class StringThing extends Base[String] with SometimesUsedWithBase[String] 

Было бы замечательно, если бы у меня не было, чтобы определить тип SometimesUsedWithBase «s , и вместо этого он каким-то образом понимает, что использует тип, определенный в Base так, чтобы он выглядел так:

class StringThing extends Base[String] with SometimesUsedWithBase 

Возможно ли это?

Answer 1

Вы должны быть в состоянии сделать что-то подобное.

trait Base[A] { 
    type BaseType = A 
} 

trait SometimesUsedWithBase { 
    this: Base[_] => 
    def someFunction: BaseType 
} 

class StringThing extends Base[String] with SometimesUsedWithBase { 
    def someFunction: String = "" 
}