형식 매개 변수의 형식 매개 변수를 Scala의 매개 변수화 된 클래스에 전파 할 수 있습니까?

Question

나는 특성이 Foo[A, B]이라고 가정합니다.

Foo으로 매개 변수화 된 Bar 클래스를 정의하고 Bar 메소드에 Foo 유형 매개 변수를 다시 사용하고 싶습니다. (이 코드는 컴파일되지 않습니다) 아래 그림과 같은 무언가 :

trait Bar[Foo[A, B]] { 
    def doSmth[C](A => C): C 
} 

비슷한 무언가를 달성하기 위해 어떤 방법이 여전히 Bar 선언에서 단지 하나의 형식 매개 변수가?

p.s. 누군가가 설명 된 내용에 대해 올바른 용어를 제안 할 수 있다면 또한 좋을 것입니다.

Answer 1

잘 모르겠지만 어딘가에 가고 싶은 곳 근처에있을 수도 있습니다.

trait Foo[A,B] 
trait Bar[A] { self: Foo[A,_] => 
    def doSmth[C](atoc: A => C): C 
} 

또는 유형 별명을 사용하십시오.

trait Foo[A,B] {type FooA = A} 
trait Bar { self: Foo[_,_] => 
    def doSmth[C](atoc: FooA => C): C 
} 

이

는 믹스에 Bar이 때 Foo이 필요하다는 것을 의미한다.

Answer 2

# 연산자를 사용하여 클래스 또는 특성의 유형 멤버에 액세스 할 수 있습니다.

trait M { 
    type A 
    type B 
    } 

    class F[X,Y] extends M { 
    type A = X 
    type B = Y 
    } 

    trait Bar[F] { 
    def doSmth[C](x: M#A => M#B): C 
    }