Question

我试图理解mapConserve，它被称为“像xs map f，但如果函数f将所有元素映射到自己，则返回xs不变”，来自List。然而，它正在发出错误。

def map [B] (f: (A) ⇒ B): List[B]
def mapConserve (f: (A) ⇒ A): List[A]
def mapConserve [B >: A <: AnyRef] (f: (A) ⇒ B): List[B]


scala> list map (x=>x)
res105: List[Int] = List(1, 2, 3, 4, 5, 6, 7, 8, 9, 10)

scala> list mapConserve (x=>x)
<console>:12: error: inferred type arguments [Int] do not conform to method mapConserve's type parameter bounds [B >: Int <: AnyRef]
              list mapConserve (x=>x)
                   ^

mapConserve代码应满足（A）=＆gt;一个功能。如果不是，它仍应满足（A）=＆gt; B函数，因为类型A可以是子类型和自身的超类型。请赐教mapConserve的目的和错误。

Answer 1

实际上，mapConserve被定义为

def mapConserve[A <: AnyRef](xs: List[A])(f: A => A): List[A]
def mapConserve[B >: A <: AnyRef](f: A => B): List[B]

所以A应该是AnyRef的子类型。 Int is a subtype of AnyVal，这会带来错误。

scala> val l = List("foo", "bar", "baz")
l: List[java.lang.String] = List(foo, bar, baz)

scala> l.mapConserve(_.toUpperCase)
res4: List[java.lang.String] = List(FOO, BAR, BAZ)

scala> l.mapConserve(identity)
res5: List[java.lang.String] = List(foo, bar, baz)

更新

map与mapConserve之间的唯一区别，如scaladoc中所述：

通过将函数应用于此列表的所有元素来构建新列表。与xs map f类似，但如果函数f将所有元素映射到自身（由eq确定），则返回xs不变。

scala> val xs = List.fill(1000000)("foo")
xs: List[java.lang.String] = List(foo, foo,...)

scala> xs.map(identity) eq xs
res48: Boolean = false

scala> xs.mapConserve(identity) eq xs
res49: Boolean = true

xs mapConserve identity在我的简单基准测试中快了大约五倍。

scala列表映射vs mapConserve

1 个答案:

更新