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

Question

我是 Scala 新手，我很难理解为什么在向 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

好的，所以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 方法。 Scala 显然将contains "Hi" 考虑在内并推断出Int 和String 的lub（即Any）