同じ特性を持つが異なる型パラメータを持つ合成

Question

私は現在、複数の型パラメータの1つの特性に適合するオブジェクト/クラス/特性を構成することについて不思議に思っています。 私IntStrDependent形質のインスタンスがしなければならないことそれでは、私は

trait Dependent[T]{ 
    def observeCritereaChanged(oldValue:T, newValue:T):Unit 
} 

を持っているとしましょう、私は例

trait IntStrDependent extends Dependent[Int] with Dependent[String] 

のために、二つの異なるタイプのパラメータに対する依存実装し、いくつかの特性を定義できるようにしたいと思います両方のタイプのobserveCritereaChangedを定義します。

class MyDependent extends IntStrDependent { 
    def observeCritereaChanged(oldValue:Int, newValue:Int) = //... 
    def observeCritereaChanged(oldValue:String, newValue:String) = //... 
} 

これまでしようとしたときに私の努力は、コンパイルエラーで満たされていますIntStrDependent形質を作成します。

scala> trait IntStrDependent extends Dependent[Int] with Dependent[String] 
<console>:8: error: illegal inheritance; 
self-type IntStrDependent does not conform to Dependent[Int]'s selftype Dependent[Int] 
     trait IntStrDependent extends Dependent[Int] with Dependent[String] 
            ^
<console>:8: error: illegal inheritance; 
self-type IntStrDependent does not conform to Dependent[String]'s selftype Dependent[String] 
     trait IntStrDependent extends Dependent[Int] with Dependent[String] 
                 ^

だから私の質問は：私がやろうとしている（そうであれば、どのように）、またはスカラ座がに内蔵されていませんので、これは失われた原因である何をする方法はありますこの種のことをやる？

Answer 1

良い質問です。私はあなたが自分が望むものを直接行うことはできないと思います。

代替アプローチの1つはtrait IntStrDependent extends Dependent[Either[Int, String]]ですが、これでは問題は解決しません。たぶん、Miles Sabinのencoding of union typesの亜種は、何か面白いことができます。

私は最良の選択肢は

trait Dependent[T]{ 
    def observeCritereaChanged(oldValue:T, newValue:T):Unit 
} 

trait IntStrDependent { 
    val I: Dependent[Int] 
    val S: Dependent[String] 
} 

object MyDependent extends IntStrDependent { 
    object I extends Dependent[Int] { 
    def observeCritereaChanged(oldValue:Int, newValue:Int) {} 
    } 
    object S extends Dependent[String] { 
    def observeCritereaChanged(oldValue:String, newValue:String) {} 
    } 
} 

MyDependentを使用するには、それをシンプルに保つことです、1が明示的になって、私の意見では

MyDependent.I.observeCritereaChanged(1, 2) 

のように、IntまたはStringバリアントを選択する必要があります考えて

とにかく明示的な型依存は良いことです。