Scala Set[_] vs Set[Any]

Question

我有下面一行代码:

case set: Set[Any] => setFormat[Any].write(set)

但是，编译器会发出警告：

scala.collection中任何类型模式的非变量类型参数。Set[Any]未选中，因为它通过擦除[warn]消除

很公平。

所以我把我的台词改成这样:

case set: Set[_] => setFormat[Any].write(set)

现在我得到一个错误：

找到[错误]：scala.collection.Set[_]

[错误] 必需：scala.collection.Set[Any]

这两者有什么区别？

然后我将代码更改为以下内容：

case set: Set[_] => setFormat[Any].write(set.map(s => s))

现在它很高兴没有错误或警告。

Q2。为什么这个工作？？

Answer 1

Q1:A＜code＞集合[Any]是元素类型为Any的集合。集合[_]是元素类型未知的集合。可能是一个＜code＞集合[Int]，可能是＜code＞集[String]，也可能是＜code＞集合[Any]。与大多数（不可变）集合相反，集合不是协变的（声明是＜code＞特征集[A]，而不是＜code＞特性集[A]）。因此，一个＜code＞集合[String]

Q2:它之所以有效，是因为不管集合中的元素的(未知)类型是什么，恒等函数s =

备注:没有setFormat和write的定义很难确定，但是您真的需要在< code>setFormat[Any]中明确使用< code>[Any]类型参数吗？人们可以将一个存在函数传递给一个一般函数，即

val x: X[_] = ....
def f[A](xa: X[A]) = ...
f(x) // allowed

但是在调用站点（例如 f[Any]（x））上显式是不允许的，因为我们不知道 X 是否是 X[Any]。

注意：关于集合不是协变的：这是不幸的，因为人们非常觉得一组猫也是一组动物。这是其中一个原因（可能还有其他原因）。

set有一个方法def包含（a： A）：Boolean并且此签名可以防止协方差。其他集合有一个def包含[A1

这是可行的，因为实现是基于方法< code>equals，随处可用(JVM自带的)，并接受类型为< code>Any的参数。使用与列表内容无关的类型的值进行调用很可能是一个错误，更受约束的签名可能会更好，但这对于协方差来说是一个很小的代价。

但是< code >的这个宽松的签名包含约束，即实现要基于< code>equals(也可能是< code>hashCode)。它不适用于基于排序的实现，因为它不接受无类型的参数。禁止这种(非常常见的)set实现可能会被视为协方差的过高代价。