scala - 为什么 Scala 的不可变 Set 在其类型上不是协变的？

Question

编辑:根据原始答案重写此问题

scala.collection.immutable.Set类的类型参数不是协变的。为什么是这样？

import scala.collection.immutable._

def foo(s: Set[CharSequence]): Unit = {
    println(s)
}

def bar(): Unit = {
   val s: Set[String] = Set("Hello", "World");
   foo(s); //DOES NOT COMPILE, regardless of whether type is declared 
           //explicitly in the val s declaration
}

Answer 1

由于集合背后的概念是函数，

Set 的类型参数是不变的。以下签名应该可以稍微澄清一些事情:

trait Set[A] extends (A=>Boolean) {
  def apply(e: A): Boolean
}

如果 Set 在 A 中是协变的，则 apply 方法将无法采用 A 类型的参数> 由于函数的逆变性。 Set 可能在 A 中逆变，但是当您想要执行以下操作时，这也会导致问题:

def elements: Iterable[A]

简而言之，最好的解决方案是保持事物不变，即使对于不可变的数据结构也是如此。您会注意到 immutable.Map 的类型参数之一也是不变的。