Scala typ abstrakcyjny reprezentujący typ podklasy

Question

Poszukuję sposobu zdefiniowania metody zwracającej typ T, gdzie T = typ podklasy.

Wiem, że mógłbym to zrobić za pomocą typów abstrakcyjnych, ale nie podoba mi się konieczność redefiniowania T dla każdej podklasy.

Niektóre przykładowy kod:

object Helper { 
    def help[A <: MyClass](cls: A): Option[A] = { cls.foo() map { _.asInstanceOf[A] } } 
} 

class MyClass { 
    type T <: MyClass 
    def foo(): Option[T] = Some(this.asInstanceOf[T]) 
} 

class ChildClass extends MyClass { 
    type T = ChildClass 
} 

Prawdopodobnie nowa funkcja język dokonał tego łatwiej? A może w jakiś sposób mogę użyć this.type? To dla mnie ważne, że mogę zdefiniować klasę pomocników, która może w ten sposób wywoływać foo.

Answer 1

Jeśli zawsze wracasz this, możesz rzeczywiście mieć jako typ zwrotu this.type. A może już to wypróbowałeś?

this.type jest szczególnie przydatny, np. kiedy chcesz połączyć się z łańcuchem do tego samego obiektu lub dostarczyć statyczną gwarancję, że zwrócisz ten sam obiekt (a nie kopię). Na przykład: Buffer s w Scali mają operację dołączenia :+, która zwraca Buffer[A] i +=, która zwraca this.type. Ten pierwszy duplikuje zmienną sekwencję; ten ostatni gwarantuje aktualizację oryginalnego obiektu.

Answer 2

Aby śledzić na odpowiedź Jean-Phillippe użytkownika, który napisał swoją dokładnie kiedy piszę moje, oto kod:

trait SomeTrait { 
    def foo: this.type = this 
} 

class UsesTrait extends SomeTrait 

object Main { 
    def main(args: Array[String]) { 
    println((new UsesTrait).foo) // prints UsesTrait@<hash value> 
    } 
} 

Answer 3

znalazłem następujące idiom przydatne:

class MyClass[T] { 
    self: T => 
    def foo(): Option[T] = Some(this) 
} 

class ChildClass extends MyClass[ChildClass] 

new ChildClass().foo() 
//--> Option[ChildClass] = Some(ChildClass@2487b1)