Scala - lambda 表达式中的类型推断问题

Question

尝试在 scala 2.11.0 中编译以下函数

def dafuq(canvas: Array[Array[Boolean]]): Array[Array[Boolean]] = {
        for (r <- canvas.reverse) yield r.zipWithIndex.map((c: Boolean, i: Int) => c) 
}

产量

Solution.scala:6: error: type mismatch;
   found   : (Boolean, Int) => Boolean
   required: ((Boolean, Int)) => ?
        for (r <- canvas.reverse) yield r.zipWithIndex.map((c: Boolean, i: Int) => c) 
                                                                                ^

该功能是伪造的，但它说明了我遇到的一个问题。我对 Scala 很陌生，所以这可能是一个新手错误，但我找不到任何解决方案或解释这个问题。您知道导致上述行为的原因吗？

lambda 表达式也可以返回类型提示吗？

Answer 1

我也多次遇到这个编译错误，但这不是类型推断问题。您提供了一个带有 2 个参数的匿名函数，但编译器需要一个带有单个元组参数的函数。 2个解决方案：

def dafuq(canvas: Array[Array[Boolean]]): Array[Array[Boolean]] = {
        for (r <- canvas.reverse) yield r.zipWithIndex.map(ci => ci._1)
}

或

def dafuq(canvas: Array[Array[Boolean]]): Array[Array[Boolean]] = {
        for (r <- canvas.reverse) yield r.zipWithIndex.map { case (c, i) => c }
}

在第一个解决方案中，ci 被推断为一对(Boolean, Int)。在第二种解决方案中，我们使用模式匹配表达式。

lambda 表达式也可以返回类型提示吗？

我不知道，但您可以在任何表达式上添加类型注释。例如：case (c, i) => c: Boolean。