추상 클래스/특성 및 불변 함수

Question

특성을 감안할 때 T

trait T { 
    def v: Int 
    def +(t: T): T 
} 

다음 클래스 A

case class A(v: Int) extends T { 
    def +(a: A) = A(v + a.v) 
} 

은 T의 유효한 하위 유형이 아닙니다. A.+의 서명은 모든 구현이 A 유형의 객체뿐만 아니라 T 유형의 객체를 허용 할 수 있어야하지만 A.+의 유형은 A 유형의 요소 만 허용하므로 A.+의 구현은 너무 제한적입니다. 지금까지, 너무 합리적인.

T의 구현을 제한적으로 허용하려면 다음과 같이 T 및 A의 선언을 수정할 수 있습니다.

trait T[This <: T[This]] { 
    def v: Int 
    def +(t: This): This 
} 

case class A(v: Int) extends T[A] { 
    def +(a: A) = A(v + a.v) 
} 

분명히 형식 서명을 날려 버립니다.

T의 구현이 자신의 유형의 객체와 호환되어야한다고 선언하는 또 다른 방법이 있습니까?

첫 번째 EDITLandei's answer below

실제로 회신하는 동안 현재 서명은 T이 발생하는 다른 서명을 단축하지 않습니다.

trait C[D <: T[D], S] { self: S => 
    def +(perm: D): S 
    def matches(other: S): Boolean 
} 

Answer 1

당신은 자기 유형을 사용할 수 있습니다

trait T[S] { 
    self:S => 
    def v: Int 
    def +(t: S): S 
} 

case class A(v: Int) extends T[A] { 
    def +(a: A) = A(v + a.v) 
} 

Answer 2

당신은 유형들과 그것을 할 수 있습니다. 나는 당신이 여기서 단호하게 "짧은"브랜드인지 정확히 알지 못합니다. 약간의 중복성이 있지만, 반면에 유형 매개 변수는 큰 괄호 절약을 전달하지 않습니다.