为什么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]的超级类型？

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）。