订货与代数类型斯卡拉

Question

我有这样的：

abstract class Issue(...) extends Ordered[Issue] { 
    def compare(o : Issue) = due.compare(o.due) 
    def render() : String 
} 

case class Task(..., subtasks : scala.List[Subtask]) extends Issue(...) { 
    def render() = ... 
} 

case class Subtask(..., parent : String) extends Issue(...) { 
    override def compare(o:Subtask) = { 
    ... delegate to some field's compare function ... 
    } 

    def render() = ... 

} 

我想用

val l1 : List[Task] = tasks.sorted 
val l2 : List[Subtask] = subtasks.sorted 

但它不工作：

error: diverging implicit expansion for type scala.math.Ordering[this.Subtask] 

starting with method ordered in trait LowPriorityOrderingImplicits 
     ,subtasks.sorted.map(_.render()).mkString(" | ")).mkString(" | ") 

我怎样写这个aglebraic类型与个人构造函数的不同顺序？

Answer 1

你是否尝试过将子类作为类型参数传递给抽象超类？事情是这样的：

abstract class Issue[I <: Issue[I]](...) extends Ordered[I] { 
    def compare(o: I) = due.compare(o.due) 
} 

case class Task(...) extends Issue[Task](...) 

case class Subtask(...) extends Issue[Subtask](...) 

Answer 2

在Subtask你没有正确重写父类的方法，因为他们采取不同的参数类型。试试这个：

case class Subtask(..., parent : String) extends Issue(...) { 
    override def compare(o: Issue) = o match { 
    case x: Subtask => ... // your new comparison 
    case x   => super.compare(x) 
    } 
    ... 
} 

但是，排序时，我们需要一个Ordering[Issue]，不是Ordering[Subtask]，因为compare方法采用Issue。

所以要排序List[Subtype]，编译器，以获得正确的Ordering对象，它需要输入一个List[Issue]而非List[Subtask]。

所以加在那里你声明subtasks类型注释，或因此它上溯造型打电话时：

(subtasks: List[Issue]).sorted