scala – 返回类型重载？

scala> val shares = Map("Apple" -> 23,"MicroSoft" -> 50,"IBM" -> 17)
shares: scala.collection.immutable.Map[java.lang.String,Int] 
      = Map(Apple -> 23,MicroSoft -> 50,IBM -> 17)

scala> val shareholders = shares map {_._1}                           
shareholders: scala.collection.immutable.Iterable[java.lang.String] 
            = List(Apple,MicroSoft,IBM)

scala> val newShares = shares map {case(k,v) => (k,1.5 * v)}     
newShares: scala.collection.immutable.Map[java.lang.String,Double] 
         = Map(Apple -> 34.5,MicroSoft -> 75.0,IBM -> 25.5)

从这个例子来看,似乎map方法在返回类型上是重载的.返回类型的重载是不可能的吗？有人可以解释这里发生了什么吗？

解决方法

地图在返回类型上不会超载.相反,有一种具有抽象返回类型的方法.

def map[B,That](f: A => B)(implicit bf: CanBuildFrom[Repr,B,That]): That

在字节码中,这被删除到Object：

public abstract java.lang.Object map(scala.Function1,scala.collection.generic.CanBuildFrom);

这个模式在文章Fighting Bit Rot with Types中是最好的描述