confíe en los métodos de la clase de caso en el rasgo

Question

¿Hay alguna manera de confiar en los métodos definidos en la clase de caso en un rasgo? Por ejemplo, copia: lo siguiente no funciona. Aunque no estoy seguro de por qué.

trait K[T <: K[T]] { 
    val x: String 
    val y: String 
    def m: T = copy(x = "hello") 
    def copy(x: String = this.x, y: String = this.y): T 
} 

case class L(val x: String, val y: String) extends K[L] 

Da:

error: class L needs to be abstract, since method copy in trait K of type 
(x: String,y: String)L is not defined 
      case class L(val x: String, val y: String) extends K[L] 
        ^

Answer 1

supongo que tener método con copia el nombre de rasgo instruye compilador para no generar copia método en la clase de caso - por lo que en su ejemplo copia método no está implementado en la clase de caso . A continuación breve experimento con copia método implementado en rasgo:

scala> trait K[T <: K[T]] {                     
    | val x: String                       
    | val y: String                       
    | def m: T = copy(x = "hello")                   
    | def copy(x: String = this.x, y: String = this.y): T = {println("I'm from trait"); null.asInstanceOf[T]} 
    | } 

defined trait K 

scala> case class L(val x: String, val y: String) extends K[L]             
defined class L 

scala> val c = L("x","y")                      
c: L = L(x,y) 

scala> val d = c.copy()                      
I'm from trait 
d: L = null 

Answer 2

Puede ejecutar repl con $ Scala -Xprint: Typer. Con el parámetro -Xprint: typer puedes ver qué sucede exactamente cuando creas un rasgo o una clase. Y verá desde la salida que el método "copiar" no se creó, por lo que el compilador solicita que lo defina usted mismo.

Answer 3

Una solución es declarado que su rasgo se debe aplicar a una clase con un método de copia:

trait K[T <: K[T]] {this: {def copy(x: String, y: String): T} => 
    val x: String 
    val y: String 
    def m: T = copy(x = "hello", y) 
} 

(por desgracia no se puede utilizar el parámetro implícito en el método de copia, como una declaración implícita no está permitido en la declaración de tipo)

Luego, su declaración es aceptable:

case class L(val x: String, val y: String) extends K[L] 

(probado en Scala REPL 2.8.1)

La razón por la cual su intento no funciona se explica en la solución propuesta por otros usuarios: su declaración copy bloquea la generación del método "case copy".