为什么所有基本不可变集合都是最终的或密封在 scala 中？

Question

我在 Scala 中编写了一个用于对可迭代对象进行排序的特征，并且创建一个可以将其混合在一起的类所花费的时间几乎与编写该特征所花费的时间一样长。为什么设计决定不允许用户编写如下内容：

new List[Int] with SuperAwesomeTrait[Int]?

现在，如果我想这样做，我需要做一些奇怪的黑客，

class StupidList extends LinearSeq {
  val inner = List()
  /* reimplement list methods by calling into inner */
} 

然后

new StupidList[Int] with SuperAwesomeTrait[Int].

Answer 1

因为如果我写，

someList match {
  case Cons(head, tail) => whatever
  case Nil => somethingElse
}

我不希望我的逻辑被一个新的、意想不到的子类破坏。

我怀疑您正在尝试使用子类化来解决问题，而使用隐式可以更好地解决该问题。