Search code examples
scalacase-class

rely on methods of case class in trait


Is there a way to rely on methods defined in case class in a trait? E.g., copy: the following doesn't work. I'm not sure why, though.

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]

Gives:

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]
                      ^

Solution

  • I suppose that having method with name copy in trait instructs compiler to not generate method copy in case class - so in your example method copy is not implemented in your case class. Below short experiment with method copy implemented in trait:

    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