在Scala中覆蓋重複的類參數？

Question

Scala語言規範版本2.8的第4.6.2節描述了重複參數和表示：

的參數部分的最後值參數可以由「*」，例如爲後綴（...，x：T *）。這樣一個類型的重複參數裏面的方法就是序列類型scala.Seq [T]。

但是，此代碼：

abstract class A { def aSeq : Seq[A] } 
class B(val aSeq : A*) extends A 
class C extends B { override val aSeq :Seq[A] = Seq() } 

編譯時提供一個錯誤：

overriding value aSeq in class B of type A*; value aSeq has incompatible type 

編譯器似乎表明A *選自SEQ的獨特的類型[A] 。

調查的實際類ASEQ在這種情況下，表明它的一個實例scala.collection.mutable.WrappedArray $ ofRef但即使下面的代碼失敗，相同的消息編譯：

class C extends B { override val aSeq = new ofRef(Array[A]()) } 

所以問題是，我該如何重寫由班上重複參數定義的成員呢？

如果你想知道這是從哪裏來的，那就是scala.xml.Elem所做的，以覆蓋scala.xml.Node中的子方法。

Answer 1

您的問題可以概括爲：

scala> class A { def aSeq(i: Int*) = 1 } 
defined class A 

scala> class B extends A { override def aSeq(i: Seq[Int]) = 2 } 
<console>:6: error: method aSeq overrides nothing 
     class B extends A { override def aSeq(i: Seq[Int]) = 2 } 

的方法有不同的類型。該規範表示（重點煤礦）：

這樣的重複參數的類型內該方法則序列類型scala.Seq [T]

Int*作爲和Seq[Int]不在該方法內部，這個特定的句子不適用。

有趣的是，下面的代碼顯示該方法具有擦除但同樣的前後不同的類型：

scala> class G { def aSeq(i:Int*) = 1; def aSeq(i:Seq[Int]) = 2 } 
<console>:5: error: double definition: 
method aSeq:(i: Seq[Int])Int and 
method aSeq:(i: Int*)Int at line 5 
have same type after erasure: (i: Seq)Int 
     class G { def aSeq(i:Int*) = 1; def aSeq(i:Seq[Int]) = 2 } 

所以，問題就變成了，爲什麼你的B類可以擴展你的A抽象類。那裏的規格可能會有不一致。我不知道...

編輯：我重新讀了規範，我無法弄清楚是否有任何與重複參數和覆蓋有關的東西。似乎沒有任何關於重複參數的返回類型，這是您獲取val aSeq訪問器方法的方法。

我認爲馬克的回答是完全有效的方法。如果你不能跟着它，你可以使用以下解決方法：

class C extends B { 
    private def aSeqHelper(a: A*) = a 
    override val aSeq = aSeqHelper(Seq[A](): _*) 
} 

因此，例如：

import scala.xml._ 
class ElemX extends Elem("pref", "label", <xml a="b"/>.attributes, TopScope) { 
    private def childHelper(c: Node*) = c 
    override val child = childHelper(<foo/><bar/>: _*) } 

然後：

scala> new ElemX 
res4: ElemX = <pref:label a="b"><foo></foo><bar></bar></pref:label> 

Answer 2

的xml.Elem複製方法使用它像這樣

def copy(
    prefix: String = this.prefix, 
    label: String = this.label, 
    attributes: MetaData = this.attributes, 
    scope: NamespaceBinding = this.scope, 
    child: Seq[Node] = this.child.toSeq 
): Elem = Elem(prefix, label, attributes, scope, child: _*) 

所以，你可以在B構造

class C extends B(aSeq = Seq(): _*) 

覆蓋值或聲明它作爲類C

class C(seq: Seq[A]) extends B(aSeq = seq: _*) 

的參數雖然我不知道它回答您的問題！

Answer 3

規範永遠不允許重複類型以這種方式泄漏。編譯器在2011年7月進行了更改，以執行此操作。

欲瞭解更多的背景下，檢查出票的評論：

https://issues.scala-lang.org/browse/SI-4176