Scala Set.contains không cho loại dự kiến ​​không phù hợp lỗi

Question

Tôi mới đến Scala, và tôi đang gặp khó khăn để hiểu tại sao đôi khi tôi không nhận được một lỗi loại khi cung cấp các luận cứ sai lầm khi Set.contains

Dưới đây là ví dụ nhanh sử dụng 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 

Tại sao tôi không nhận được loại không phù hợp ở đó?

Nếu tôi gán baz.values.toSet-val khác, và gọi contains trên đó, tôi làm được kiểm tra kiểu:

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") 
          ^

sai lầm ngu ngốc, tinh tế ngôn ngữ, hoặc biên dịch lỗi?

Answer 1

OK, vì vậy Set là bất biến trong tham số kiểu của nó và nó hoạt động chính xác như nó nên

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" 
            ^

Nhưng, như bạn nói:

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

Kết luận duy nhất chúng ta một cách hợp lý có thể đến là rằng loại số Set được đề cập là không phảiSet[Int]. Điều gì xảy ra nếu chúng tôi nói rõ ràng về scala, chúng tôi muốn có một số Set[Int]? Cùng một mảnh mã với một tham số kiểu tường minh chỉ hoạt động tốt (tức là nó không biên dịch):

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" 
                     ^

Vấn đề là suy ra kiểu tham số được truyền cho phương thức toSet. Scala rõ ràng lấy contains "Hi" vào tài khoản và suy luận ra lub của Int và String (tức Any)