Scala：zipped 会产生什么，为什么它可以成对映射？

Question

在关于zipWith 的earlier question 中，@Martin Odersky 建议不要像

 foo zipWith(_ + _) bar

（其中 foo 和 bar 是 Seq's）以下更好（并且实际上在 Scala 中有效）。

(foo, bar).zipped map (_ + _)

我的问题是map 怎么知道它的论点（从表面上看似乎是一对）应该分成两个元素？

以下内容实际上在工作表中运行。

val list1 = List(1, 2, 3, 4)                    //> list1  : List[Int] = List(1, 2, 3, 4)
val list2 = List(5, 6, 7, 8)                    //> list2  : List[Int] = List(5, 6, 7, 8)
val zippedResult = (list1, list2).zipped        //> list3  : scala.runtime.Tuple2Zipped[Int,List[Int],Int,List[Int]] = scala.run
                                              //| time.Tuple2Zipped@f4bf78da
zippedResult.mkString(", ")                     //> res4: String = (1,5), (2,6), (3,7), (4,8)
zippedResult map (_ + _)                        //> res5: List[Int] = List(6, 8, 10, 12)

我看到zippedResult 实际上有 4 个类型参数，而不仅仅是一对列表。

val list3 = List((1, 5), (2, 6), (3, 7), (4, 8))
                                              //> list3a  : List[(Int, Int)] = List((1,5), (2,6), (3,7), (4,8))
list3 == zippedResult                           //> res6: Boolean = false

我不会写

list3 map(_ +_ )

那么什么是Tuple2Zipped 类型，它可以为map 函数提供两个参数？ zipped 是创建它实例的唯一方法吗？

Answer 1

它是runtime.Tuple2Zipped。您可以像这样手动创建一个实例：

val zipped = new Tuple2Zipped(Seq(1, 2), Seq(3, 4))

这里是source of map method。

方法map 声明如下（简化）：

def map[B](f: (El1, El2) => B): Seq[B]

Tuple2Zipped 不是任何 scala 集合类型的后代，因此其 map 方法与常规 scala 集合的 map 方法无关。