일반적으로 스칼라로 특성을 인스턴스화합니다.

Question

사용자가 여러 프로세서를 함께 연결할 수있는 시스템을 만들려고합니다. 내가 가지고있는 어려움은 각각의 프로세서가 실제로 염려하는 두 비트의 정보를 가지기 때문에 이것들을 유형 안전 방식으로 처리하기를 원합니다. 나는이 문제에 내려 삶은했습니다

감안할 때 : 나는 4 개 맛 함께 두 가족의 요소를 결합 할 수 있습니다

//First family of stuff 
trait A { 
    def doA {} 
} 

trait B { 
    def doB {} 
} 

//Second family of stuff 
trait X { 
    def doX {} 
} 

trait Y { 
    def doY {} 
} 

:

var f = new A with X {} 
f.doA 
d.doX 

var g = new A with Y {} 
//... 

우수함. 문제는 각 함수 (doA 등)가 두 가지 유형의 조합을 반환하여 물건을 함께 연결할 수 있기를 원합니다. 기본적으로 내가하고 싶은 : 특성 { ThingThatImMixedInWithLikeXOrY {}와 데프 doThing = { 않는 새 } } 각 프로세서) (1)의 프로세서 2로 알려진 유형을 구성 익명 클래스를 반환해야

) 그것이 혼합 된 타입.

나의 첫번째 찌르기는 제네릭이 같은 것을 사용하는 것이 었습니다 :

1. 내가 제네릭 클래스를 만들 수 없습니다 : 분명히

   trait A { 
       this : {def makeWithT[TOther]} => 
       def doA = makeWithT[B] 
   } 
   
   trait B { 
       this : {def makeWithT[TOther]} => 
       def doB = makeWithT[A] 
   } 
   
   trait X { 
       this : {def makeWithS[TOther]} => 
       def doX = makeWithT[Y] 
   } 
   
   trait Y { 
       this : {def makeWithS[TOther]} => 
       def doY = makeWithT[Y] 
   } 
   
   class Foo[T, S] extends S with T { 
       def makeWithT[OtherT] = new T with OtherT 
       def makeWithS[OtherT] = new S with OtherT 
   } 
   
   var f = new Foo[A, X] 
   f.doA.doB 
   f.doX.doA 
   f.doX.doY 
   ... 
   

   을, 나는 문제의 카탈로그로 실행했습니다 형식 매개 변수에서 확장됩니다

2. 제네릭 매개 변수를 통해 내 익명 클래스를 인스턴스화 할 수 없습니다

3. 내가 이 뭔가를 섞을 때까지 형식을 알지 못하기 때문에 특성에서 함수의 반환 형식을 정의 할 수 없습니다. 이 스칼라에 관해서

나는 멍청한 놈의 비트 해요, 나는 내가 완전히 잘못된 방법으로 이것에 대해 갈거야 느낌을 얻을 어쩌면 내가 implicits과 CanBuildFrom 패턴을 사용한다. 어떤 도움이라도 대단히 감사하겠습니다.

건배

Answer 1

스택 프로세서를위한 가장 알려진 해결책은 피할 수없는

abstract override def StackablePass(x:Int) = super.StackablePass(internalPass(x)) 

일부 상용구가 스택 특성

http://www.artima.com/scalazine/articles/stackable_trait_pattern.html

trait StackableRoot { 
    def StackablePass (x:Int) : x 
} 
trait StackableDouble extends StackableRoot { 
    def internalPass (x:Int) = 2*x 
    abstract override def StackablePass(x:Int) = super.StackablePass(internalPass(x)) 
} 
trait StackableIncrement extends StackableRoot { 
    def internalPass (x:Int) = x+1 
    abstract override def StackablePass(x:Int) = super.StackablePass(internalPass(x)) 
} 

에게 있습니다 그것이 requir 할 것이기 때문에 parametrized 특성으로 포장 스칼라가 여러 매개 변수를 사용하여 여러 가지 특성을 여러 번 상속 받음 유명한 유형 삭제로 금지되는 문자