Scala Queue& PriorityQueue基本特征

时间:2013-01-07 12:14:45

标签: scala data-structures

为什么collection.mutable.Queuecollection.mutable.PriorityQueue在Scala标准库中不共享QueueLike基本特征之类的原因有什么原因吗? enqueue& dequeue方法似乎具有相同的签名。为什么类不能作为队列容器互换,或者我错过了什么?

1 个答案:

答案 0 :(得分:1)

也许这应该是一个答案,而不仅仅是一个评论......

您使用的是什么版本的Scala?我检查了2.10,2.9,2.8和 2.7 API文档,但没有一个具有QueueLike特征。如果问题是关于可以由不可变和可变实现共享的公共QueueLike特征的概念,则存在一个问题:可变类在其包含的类型参数中都是不变的。不可变集合类在其包含的类型参数中都是协变的。任何涉及所包含类型的值的API成员,无论是作为参数还是返回类型,都不能由不可变和可变实现共享。

第二轮:

package rrs.scribble


import  scala.collection.mutable.{Queue, PriorityQueue}
import  scala.math.Ordering

trait   QueueOps[T]
{
  def dequeue(): T
  def enqueue(elems: T*): Unit
}


object  UniQueue
{
  sealed trait QSel
  object PrioQ extends QSel
  object PlainQ extends QSel

  def apply[T : Ordering](kind: QSel): QueueOps[T] =
    kind match {
      case PrioQ  => new PriorityQueue[T]() with QueueOps[T]
      case PlainQ => new Queue[T]() with QueueOps[T]
    }
}

object  UQTest
{
  import UniQueue._

  def main(args: Array[String]) {
    val prq1 = UniQueue[Int](PrioQ)
    val plq1 = UniQueue[Int](PlainQ)

    prq1.enqueue(1, 4, 9)
    plq1.enqueue(9, 4, 1)
    val prq2 = UniQueue[Int](PrioQ)
    val plq2 = UniQueue[Int](PlainQ)

    printf("prq1: dequeue=%d; dequeue=%d; dequeue=%d%n", prq1.dequeue, prq1.dequeue, prq1.dequeue)
    printf("plq1: dequeue=%d; dequeue=%d; dequeue=%d%n", plq1.dequeue, plq1.dequeue, plq1.dequeue)

    prq2.enqueue(9, 4, 1)
    plq2.enqueue(1, 4, 9)
    printf("prq2: dequeue=%d; dequeue=%d; dequeue=%d%n", prq2.dequeue, prq2.dequeue, prq2.dequeue)
    printf("plq2: dequeue=%d; dequeue=%d; dequeue=%d%n", plq2.dequeue, plq2.dequeue, plq2.dequeue)
  }
}

在SBT中运行:

> run
[info] Running rrs.scribble.UQTest 
prq1: dequeue=9; dequeue=4; dequeue=1
plq1: dequeue=9; dequeue=4; dequeue=1
prq2: dequeue=9; dequeue=4; dequeue=1
plq2: dequeue=1; dequeue=4; dequeue=9

但是,你会发现,正如所写的那样,你只能用UniQueue.apply()返回的值做两件事,那就是调用enqueuedequeu。您必须将您希望能够使用的所有其他方法签名复制到trait QueueOps[T],如果有任何变体签名,您将无法执行此操作。