동일한 특성이지만 다른 유형 매개 변수가있는 조합

Question

현재 여러 유형 매개 변수에 대한 하나의 특성을 따르는 객체/클래스/특성을 작성하는 것에 대해 궁금합니다. 내 IntStrDependent 특성의 인스턴스가있을 것이다 그래야 예를

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

를 들어, 내가

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

내가 두 개의 서로 다른 유형의 매개 변수에 대한 종속 구현하는 몇 가지 특성을 정의 할 수 있도록하고 싶습니다 있다고 가정 해 봅시다 두 가지 유형의 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

좋은 질문입니다. 나는 네가 직접 원하는 것을 할 수 있다고 생각하지 않는다.

대체 접근법은 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을 사용하려면, 하나는 명시 적으로 제 생각에는

MyDependent.I.observeCritereaChanged(1, 2) 

에서와 같이 Int 또는 String 변형을 선택해야 가장 좋은 방법은 간단하게 유지하는 것입니다 생각하기 어쨌든 타입 의존성은 좋은 것입니다.