由this.type參數化的Scala抽象類型

Question

我正在嘗試創建Script和ScriptType類。 ScriptType會產生特定抽象類型的Script 。 Script將由創建Script的ScritpType參數化。

我的第一次嘗試是這樣的：

trait Script[Type <: ScriptType]

sealed trait ScriptType {
  type S <: Script[this.type]
}

object ScriptType {
  class Scala extends ScriptType {
    type S = ScalaScript
  }
}

import ScriptType._

case class ScalaScript(source: String) extends Script[Scala]

但是我在編譯中遇到有關在ScriptType.Scala分配type S的ScriptType.Scala

Error:(10, 10) overriding type S in trait ScriptType with bounds <: Script[Scala.this.type];
  type S has incompatible type
  type S = ScalaScript

在此示例中， ScalaScript不是Script[Scala.this.type]嗎？

Answer 1

ScalaScript不是Script[Scala.this.type] ，因為this.type表示每個Scala實例唯一的單例類型。

您可以通過使Script互變來解決此問題：

trait Script[-Type <: ScriptType]

因為Scala是Scala.this.type的超型（ Scala的任何實例的單例類型），所以ScalaScript可以作為Script[Scala.this.type]的子類型被接受。