scala - Scala 队列和 PriorityQueue 基本特征

Question

collection.mutable.Queue有什么理由collection.mutable.PriorityQueue不共享QueueLikeScala 标准库中的基本特征之类的东西吗？enqueue&dequeue方法似乎具有相同的签名。为什么这些类不能作为队列容器互换，或者我错过了什么？

Answer 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() 返回的值做两件事，那就是 callenqueue和dequeu。您必须复制您希望能够使用的所有其他方法签名trait QueueOps[T]，如果有任何带有变体签名的方法签名，您将无法这样做。