删除时scala不可变排序集不“稳定”

如果你能等到2.8,这看起来会正常工作。

从 SortedSetLike.scala (不变的超特性 SortedSet 特质)

trait SortedSetLike[A, +This <: SortedSet[A] with SortedSetLike[A, This]] extends Sorted[A, This] with SetLike[A, This]

这使得 This A型 排序集 . 然后在 SetLike.scala ,的 - 操作员签名为

def - (elem: A): This

所以会正确返回 排序集 当使用在 排序集 .

与人们的想法相反, - 不保证 SortedSet 结果。小集合通过不同的类进行优化。自SET - 是抽象的,您不知道如何实现它,以及 排序集 可以自由地以返回非排序集的方式实现它。

以下是低效的,但它是有效的。你可以用它,一起生活 asInstanceOf 或等待2.8。-)

class MyClass[A](s: SortedSet[A]) {
  def -(elem: A)(implicit view: A => Ordered[A]): MyClass[A] = {
    new MyClass(TreeSet(s.toList - elem: _*))
  }
}

我想你所要做的就是铸造它。”-“返回一个集合,但它也是一个排序集。它可能不漂亮,但它起作用:

class MyClass[A](s:SortedSet[A]) {
    def  +(elem:A): MyClass[A] = {
      new MyClass(s + elem)
    }

    def  -(elem:A): MyClass[A] = {
      new MyClass((s - elem).asInstanceOf[SortedSet[A]])
    }

    override def toString = "sorted set = " + s
  }

  val a = new MyClass(new TreeSet[Int])
  println(a) // prints "sorted set = Set()"
  val b = a + 1
  println(b) // prints "sorted set = Set(1)"
  val c = a - 1
  println(c) // prints "sorted set = Set()"