为什么 Scala 编译器说 copy 不是我的 case 类的成员？

Question

首先，这是在 Scala 2.8 中，所以它应该在那里！ =)

我正在处理 Lift 的 Javascript 对象，我想要以下内容：

case class JsVar(varName: String, andThen: String*) extends JsExp {
  // ...
  def -&(right: String) = copy(andThen=(right :: andThen.toList.reverse).reverse :_*)
}

不幸的是，我收到以下编译器错误：

[error] Lift/framework/web/webkit/src/main/scala/net/liftweb/http/js/JsCommands.scala:452: not found: value copy
[error]     def -&(right: String) = copy(andThen=(right :: andThen.toList.reverse).reverse :_*)
[error]

案例类具有属性，因此应该有一个 copy 方法，对吧？

如果我尝试 this.copy ，我几乎会得到相同的错误：

[error] Lift/framework/web/webkit/src/main/scala/net/liftweb/http/js/JsCommands.scala:452: value copy is not a member of net.liftweb.http.js.JE.JsVar
[error]     def -&(right: String) = this.copy(andThen=(right :: andThen.toList.reverse).reverse :_*)
[error]

为什么会这样以及如何在我的案例类方法中使用 copy ？或者 copy 是编译器在声明我的方法后添加的内容吗？

我应该这样做吗？

case class JsVar(varName: String, andThen: String*) extends JsExp {
  // ...
  def -&(right: String) = JsVar(varName, (right :: andThen.toList.reverse).reverse :_*)
}

Answer 1

规范对此没有提及，但这实际上是预期的。 copy 方法依赖于默认参数，默认参数不允许重复参数（varargs）：

不允许定义任何默认值
参数部分中的参数
重复的参数。

（Scala 参考，第 4.6.2 节 - 重复参数）

scala> def f(xs: Int*) = xs
f: (xs: Int*)Int*

scala> def f(xs: Int* = List(1, 2, 3)) = xs
<console>:24: error: type mismatch;
 found   : List[Int]
 required: Int*
       def f(xs: Int* = List(1, 2, 3)) = xs
                            ^
<console>:24: error: a parameter section with a `*'-parameter is not allowed to have default arguments
       def f(xs: Int* = List(1, 2, 3)) = xs
           ^