Question

对于作业，我必须写一个函数

zipWith[A,B,C](f:Function2[A,B,C], l1:List[A], l2:List[B]) : List[C]

它接受两个列表和一个函数并返回另一个列表。例如：

zipWith((x: Int, y: Int) => x + y, List(1, 2, 3), List(4, 5, 6))
    → List(5, 7, 9)

所以我去了它并压缩了l1和l2并尝试映射结果列表：

(l1 zip l2) map ((x:A, y:B) => f(x,y))

给出“类型不匹配：找到：（A，B）=＆gt; C，必需：（（A，B））=＆gt;？”

我研究了一下，找到了两个解决方案，但我不明白为什么这个有效：

(l1, l2).zipped map ((x:A, y:B)) => f(x,y))

我检查了REPL：

l1 zip l2 => List[(A, B)]

而

(l1, l2).zipped => scala.runtime.Tuple2Zipped[A,List[A],B,List[B]]

在我看来，（（A，B））看起来不像（A，B）？

有人可以解释一下吗？

另一种解决方案，

(l1 zip l2) map { case (x, y) => f(x, y) }

涉及一种隐藏式的模式匹配（或者我理解），我不应该将其用于任务。

Answer 1

List.zip返回一个元组列表，因此，当你.map时，它需要一个函数，它接受一个Tuple2类型的参数，而不是你想要的两个单独的参数它。如果您不能使用模式匹配，则可以明确地解构元组：l1 zip l2 map { ab => f(ab._1, ab._2) }。

或者，如您所知，您可以使用(l1, l2).zipped。这会返回一个特殊类型Tuple2Zipped，而不是像其他情况一样只返回一个集合。这个特殊类型有一个成员方法map，它接受一个期望两个参数的函数，这正是你需要的。这就是它运作的原因。