Как я могу убедиться, что функция получает тот же тип параметра, что и текущий объект?

Question

abstract class A { 
    protected[this] type ThisType = this.type 
    protected[this] type OtherType = this.type 

    def assign(other: OtherType): ThisType 
} 

class B extends A { 
    def assign(other: OtherType): ThisType = ??? 
} 

class C extends A { 
    def assign(other: OtherType): ThisType = ??? 
} 

class D extends C { 
    def assign(other: OtherType): ThisType = ??? 
} 

Как мне сделать, что другой тип получил в assign от и объект типа B также B. например

def f1(p1: A, p2: A) = p1.assign(p2) 
def f2[T <: A](p1: T, p2: T) = p1.assign(p2) 

я получаю следующие ошибки::

NB: На самом деле ThisType и OtherType должны быть одинаковыми, но я отделено их, так что я могу попробовать, как я могу что-то эффективно, как писать из разных вариантов.

Answer 1

Одним из способов достижения того, что вы хотите, может быть сделано с помощью Type Projections:

def main(args: Array[String]): T = { 
    f1(new C, new C) 
} 

abstract class A { 
    type ThisType <: A 
    def assign(other: ThisType): ThisType 
} 

class C extends A { 
    override type ThisType = C 
    override def assign(other: C): C = ??? 
} 

class D extends C { 
    override type ThisType = D 
    override def assign(other: D): D = ??? 
} 

def f1[T <: A](p1: T#ThisType, p2: T#ThisType) = p1.assign(p2) 

Другой способ можно использовать F-bound polymorphism:

abstract class A[T <: A[T]] { 
    def assign(other: T): T 
} 

class C extends A[C] { 
    override def assign(other: C): T = ??? 
} 

def f1[T <: A[T]](p1: T, p2: T) = p1.assign(p2)