Scala的 - 与类型推断麻烦lambda表达式

Question

试图编译下面的函数在阶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。