scala - 为什么 BitSet 需要将显式转换视为 Set[Int] 的实例？

Question

在 Scaladoc 中， BitSet 定义为扩展 Set[Int] .所以我想使用 BitSet如 Set[Int] 的实例会工作，但我得到一个类型不匹配:

Welcome to Scala version 2.9.1.final (Java HotSpot(TM) 64-Bit Server VM, Java 1.6.0_29).

scala> import collection.BitSet
import collection.BitSet

scala> val b: Set[Int] = BitSet()
<console>:8: error: type mismatch;
 found   : scala.collection.BitSet
 required: Set[Int]
       val b: Set[Int] = BitSet()
                               ^

但是类型转换有效:

scala> val b: Set[Int] = BitSet().asInstanceOf[Set[Int]]
b: Set[Int] = BitSet()

那么为什么我需要明确地转换一个 BitSet到 Set[Int]而 Set[Int]是 Set[Int]的父类(super class)型?

Answer 1

原来你的Set实际上是 scala.collection.immutable.Set .这样你就可以

val b0: Set[Int] = collection.immutable.BitSet()
val b1: collection.Set[Int] = collection.BitSet()
val b2: collection.immutable.Set[Int] = collection.immutable.BitSet()
val b3: collection.mutable.Set[Int] = collection.mutable.BitSet()
val b4: collection.Set[Int] = collection.immutable.BitSet()
val b5: collection.Set[Int] = collection.mutable.BitSet()

但不是任何一个

val x1: collection.immutable.Set[Int] = collection.BitSet()
val x2: collection.immutable.Set[Int] = collection.mutable.BitSet()
val x3: collection.mutable.Set[Int] = collection.BitSet()
val x4: collection.mutable.Set[Int] = collection.immutable.BitSet()

事实证明 Set 的默认导入给你 x2 .进口 collection.immutable.BitSet ，或导入 collection.Set (覆盖 collection.immutable.Set)。