结构类型不调用正确的实现？

Question

我的印象是Structural Types 在后台使用反射（表明需要tell the compiler 来启用"-language:reflectiveCalls"），并且任何与该类型匹配的对象都将使用它自己的函数版本。例如，如果我在Seq 上调用.contains，那么它将使用Seq 版本，如果我在String 上调用它，那么它将使用从@987654330 获得的StringOps 中定义的版本@

那么在 scala 2.10.3 中，为什么会发生这种情况：

Welcome to Scala version 2.10.3 (Java HotSpot(TM) 64-Bit Server VM, Java 1.7.0_79).
Type in expressions to have them evaluated.
Type :help for more information.

scala> type Containable = { def contains(elem:Any):Boolean }
defined type alias Containable

scala> val myMap: Map[String, Containable] = Map("A" -> "B", "C" -> Seq("A","B"))
myMap: Map[String,Containable] = Map(A -> B, C -> List(A, B))

scala> myMap("A").contains("B")
res0: Boolean = false

scala> myMap("C").contains("B")
res1: Boolean = true

scala> "B".contains("B")
res3: Boolean = true

如您所见，String.contains(String) 为自己返回 true，但如果它在被解释为 Containable 类型时被调用，则不会返回 true，即使它与 StringOps 类中定义的方法匹配.

我觉得这与== 的实现有关，因为.contains 文档说：

如果此序列有一个元素等于（由 == 确定）elem，则为 true，否则为 false。

通过isInstanceOf检查类型的结果加剧了这种感觉

scala> val aVal = myMap("A")
aVal: Containable = B

scala> aVal.isInstanceOf[String]
res5: Boolean = false

scala> aVal.isInstanceOf[Seq[_]]
res6: Boolean = true

针对关于编译器错误的评论，这里是screencast of my terminal showing this working

Answer 1

当您将Strings 插入您的Map 时，它们会被转换为WrappedString，因为String 没有您在Containable 中定义的签名的方法。

scala> implicitly[String => Containable]
res10: String => Containable = <function1>

scala> res10("s")
res11: Containable = s

scala> res11.getClass
res12: Class[_ <: AnyRef] = class scala.collection.immutable.WrappedString

在 Scala 2.10.x 中，WrappedString 有一个方法 contains(elem: Any): Boolean。它检查elem 是否是调用contains 的集合的元素。 WrappedString 表示 Chars 的集合，因此如果您给它一个 String，该方法将永远不会返回 true。 在 scala 2.11.x 中，contains 方法已更改，因此它只接受 Chars。

String 本身有一个方法contains(elem: java.lang.CharSequence): Boolean。 String 是 CharSequence，因此当您在 String 上调用 contains("B") 时，将调用该方法，并且 String 不会转换为 WrappedString。