Tipo abstracto de Scala que representa el tipo de subclase

Question

Estoy buscando una forma de definir un método que devuelva un tipo T donde T = el tipo de la subclase.

Sé que podría hacer esto usando tipos abstractos, pero no me gusta la sobrecarga de tener que redefinir T para cada subclase.

un código de ejemplo:

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 
} 

Posiblemente una nueva característica del lenguaje ha hecho esto más fácil? ¿O puedo usar this.type de alguna manera? Para mí es importante poder definir una clase de ayuda que pueda llamar a foo de esta manera.

Answer 1

Si siempre devuelve this, puede tener como tipo de devolución this.type. ¿O lo has probado ya?

this.type es especialmente útil, p. cuando desee encadenar llamadas al mismo objeto o proporcionar una garantía estática de que devolverá el mismo objeto (y no una copia). Por ejemplo, Buffer s en Scala tienen la operación de agregar :+, que devuelve Buffer[A], y +=, que devuelve this.type. El primero duplica la secuencia mutable; este último le garantiza que actualice el objeto original.

Answer 2

Para dar seguimiento a la respuesta de Jean-Phillippe, que escribió su exactamente cuando estoy escribiendo el mío, aquí está el código:

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

me encontré con la siguiente expresión idiomática útil:

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

class ChildClass extends MyClass[ChildClass] 

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