将Scala与一组子类型相交

为什么这个函数不能编译？

case class MyType(n: Int)
def intersection(s1: Set[MyType],s2: Set[_ <: MyType]) =
  (s1 & s2)

我收到以下错误：

error: type mismatch; found : Set[_$1] where type _$1
<: MyType required: scala.collection.GenSet[MyType] Note: _$1 <:
MyType,but trait GenSet is invariant in type A. You may wish to
investigate a wildcard type such as _ <: MyType. (SLS 3.2.10)
(w & r)

是否有一种简单的方法可以“提升”第二个参数来键入Set [MyType]而不使用asInstanceOf？

解决方法

Set在其类型参数上不协变.

所以一个简单的解决方案是转换为List(这是协变的)：

def intersection(s1: Set[MyType],s2: Set[_ <: MyType]) =
    s1.toList.intersect(s2.toList).toSet