17

トレイトのcaseクラスで定義されたメソッドに依存する方法はありますか？例：コピー：以下は機能しません。理由はわかりませんが。

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]

与える：

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

3 に答える 3

17

解決策は、コピーメソッドを使用してトレイトをクラスに適用する必要があることを宣言することです。

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)
}

（残念ながら、型宣言では暗黙の宣言が許可されていないため、copyメソッドで暗黙のパラメーターを使用することはできません）

その後、あなたの宣言は大丈夫です：

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

（REPL scala 2.8.1でテスト済み）

あなたの試みがうまくいかない理由は、他のユーザーによって提案された解決策で説明されています：あなたのcopy宣言は" case copy"メソッドの生成をブロックします。

于 2011-03-18T10:25:32.867 に答える
5

トレイトにcopyという名前のメソッドがあると、コンパイラはcaseクラスでメソッドcopyを生成しないように指示されると思います。したがって、この例では、メソッドcopyはcaseクラスに実装されていません。トレイトに実装されたメソッドコピーを使用した以下の短い実験：

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
于 2011-03-17T17:11:03.230 に答える
1

$ scala -Xprint：typerを使用してreplを実行できます。パラメータ-Xprint：typerを使用すると、特性またはクラスを作成したときに何が起こっているかを正確に確認できます。また、出力から「コピー」メソッドが作成されていないことがわかります。そのため、コンパイラは自分で定義するように要求します。

于 2011-03-17T17:51:19.597 に答える