斯卡拉Set.contains没有给出预期的类型不匹配错误

Question

我是新来斯卡拉，和我挣扎理解为什么我有时提供了错误的参数Set.contains

时没有得到一个类型错误下面是使用REPL（2.9.1.final）一个简单的例子：

scala> val baz = Map("one" -> 1, "two" -> 2) 
baz: scala.collection.immutable.Map[java.lang.String,Int] = Map(one -> 1, two -> 2) 

scala> baz.values.toSet.contains("asdf") 
res3: Boolean = false 

为什么我没有得到一个类型不匹配呢？

如果我给你baz.values.toSet另一个val，并呼吁该contains，我做得到的类型检查：

scala> val bling = baz.values.toSet 
bling: scala.collection.immutable.Set[Int] = Set(1, 2) 

scala> bling.contains("asdf") 
<console>:10: error: type mismatch; 
found : java.lang.String("asdf") 
required: Int 
       bling.contains("asdf") 
          ^

愚蠢的错误，语言精妙，或编译器错误？

Answer 1

OK，所以Set在其类型参数不变的，它的工作原理完全像它应该

scala> Set(1, 2, 3) contains "Hi" 
<console>:8: error: type mismatch; 
found : java.lang.String("Hi") 
required: Int 
       Set(1, 2, 3) contains "Hi" 
            ^

但是，像你说：

scala> Map('a -> 1, 'b -> 2, 'c -> 3).values.toSet contains "Hi" 
res1: Boolean = false 

我们可以合理地得出的唯一结论是问题Set的类型是而不是Set[Int]。如果我们明确告诉scala我们想要Set[Int]会发生什么？具有显式类型参数的同一段代码工作得很好（即它不会编译）：

scala> Map('a -> 1, 'b -> 2, 'c -> 3).values.toSet[Int] contains "Hi" 
<console>:8: error: type mismatch; 
found : java.lang.String("Hi") 
required: Int 
       Map('a -> 1, 'b -> 2, 'c -> 3).values.toSet[Int] contains "Hi" 
                     ^

的问题是推断类型参数传递给toSet方法。斯卡拉显然走的是contains "Hi"考虑和推断的LUB Int和String（即Any）