相交两个集合，一个类和一个派生类[重复]

Question

我有两组，其中一组列出了派生类的实例。创建的集合类型不在我的控制范围内，我无法确保两者都是Set[A]。 set23 用于我需要其类型为Set[B] 的其他上下文中。我想相交：

case class A(name: String)
class B(name: String) extends A(name)

val set12 = Set(new A("1"), new A("2"))
val set23 = Set(new B("2"), new B("3"))

set12 intersect set23 // does not work

错误是：

类型不匹配； 找到：scala.collection.immutable.Set[B]

必需：scala.collection.GenSet[A]

注意：B <: a trait genset>

我知道Set 不是协变的，是否有一些干净的解决方法而不重建集合？以下作品，但我不想使用asInstanceOf：

set12 intersect set23.asInstanceOf[Set[A]]

Answer 1

当您将集合创建为 Set(new A("1"), new A("2")) 时，它会将类型 Set[A] 分配给结果值。 当您将集合创建为 Set(new B("2"), new B("3")) 时，它会将类型 Set[B] 分配给结果值。

因此，结果集是不同类型的，不能相交。但是，如果您按如下方式初始化变量：

val set12: Set[A] = Set(new A("1"), new A("2"))
val set23: Set[A] = Set(new B("2"), new B("3"))

然后，您自己分配类型。由于结果值具有相同的类型，因此您可以相交并执行其他操作。

例如，您可以像下面这样使用intersect：

val as: Set[A] = set12 intersect set23  // gives empty set as intersection

在上面的示例中，生成的交集是空的，因为它们没有相同的对象。

要实现成功比较，您还应该重写类的equals 方法。在您的情况下，仅覆盖 A 就足够了。 以下是一种不推荐但可行的方式（因为不鼓励扩展案例类）：

case class A(name: String) {
  override def equals(obj: scala.Any): Boolean = obj match {
    case A(x) => x.equals(name)
    case _ => false
  }
}

class B(name: String) extends A(name)

val set12: Set[A] = Set(new A("1"), new A("2"))
val set23: Set[A] = Set(new B("2"), new B("3"))

val as: Set[A] = set12 intersect set23  // gives A(2) as intersection
println(s"as = ${as}")