函数参数的模式匹配

我有一个元组向量

val l = for {i <- 1 to 5} yield (i,i*2)
Vector((1,2), (2,4), (3,6), (4,8), (5,10))

我想用以下方式总结一下：

l.reduce((x,y) => (x._1+y._1, x._2+y._2))
(15,30)

但使用模式匹配。

如果函数只获取一个参数，我知道该怎么做，即：l.map({case(a,b)=>a+b})，但我无法让它使用两个参数。这就是我试图做的：

l.reduce({(case(a,b),case(c,d))=>(a+c,b+d)})

但这行不通。

所以我的问题是，如何解压作为函数参数的 2 个元组？

只需显式指定类型即可帮助部分函数机制：

l.reduce[(Int, Int)]{ case ((a,b), (c, d)) => (a + b, c + d)}

Without [(Int, Int)]scala 无法推断部分函数的正确类型

附：如果您感兴趣为什么会看到此错误String无论您实际使用什么类型（它是Int在你的情况下）：

found   : Any , 
required: String

这是因为字符串中隐含的“+”Predef。这不是这个隐式的唯一问题 - 你可以看看SI-194 https://issues.scala-lang.org/browse/SI-194.

即使没有那个：

l.reduce{ case ((a,b), (c, d)) => (a, d)}

The argument types of an anonymous function must be fully known. (SLS 8.5)
Expected type was: (?, ?) => ?

scala 无法推断类型，因为它无法推断部分函数的类型 - 可能是 Int 的任何超类型：(A1, A1) => A1预期，其中[A1 >: A]