被 FoldLeft 错误困惑（在 Eclipse 和 REPL 中）

其背景非常简单。我的假设基于 Odersky 的书“Programming in Scala, 2nd Edition”，第 8.5 节描述了“占位符语法”。

我有一个 List[List[Boolean]] （即矩形位图），我试图在其中计算值“true”的总出现次数。这是定义执行良好的数据的 REPL 行：

val rowsByColumns =
    List(   List(false, true, false)
          , List(true, true, true)
          , List(false, true, false)
        )

接下来，我尝试使用以下行来计算“true”的出现次数。我没有执行，而是收到一个错误：

val marks = (for(row <- rowsByColumns)
    yield {row.foldLeft[Int](0)(_ + (if (_) 1 else 0))}).sum

<console>:8: error: wrong number of parameters; expected = 2
       val marks = (for(row <- rowsByColumns) yield {row.foldLeft[Int](0)(_ + (i
f (_) 1 else 0))}).sum
                                                                        ^

我不明白这个错误，因为我有两个下划线代表函数的参数。因此，我通过编写执行得很好的代码来使该函数更加明确：

val marks = (for(row <- rowsByColumns)
      yield {row.foldLeft[Int](0)((sum, marked) => sum + (if (marked) 1 else 0))}
    ).sum

我的问题是：为什么我会收到不太明确的情况的错误，但是当我通过减少“简化”来映射函数时，它会正确执行？

感谢您就此问题向我提供的任何见解。

Scala 的占位符语法对匿名函数的限制可能非常令人困惑（至少对我来说）。一个经验法则是下划线绑定到最近的括号，但这是一个近似值 - 请参阅第 6.23 节Scala 规范详细信息：

一种表达e属于句法范畴Expr binds下划线 部分u，如果满足以下两个条件： (1)e适当地 包含u，并且（2）没有其他句法表达 类别Expr它正确地包含在e以及它本身 正确包含u.

在这种情况下，编译器不会将第二个下划线视为第二个参数。这可能看起来很奇怪，因为_ + _被正确地视为具有两个参数，并且if (_) x else y相当于z => if (z) x else y (where z是一个新的标识符），但是嵌套两者不起作用。

编译器确实如此could理论上讲，两个下划线应该是您的同一个匿名函数的参数foldLeft，但不是，例如，在下面，第二个下划线确实需要单独绑定：

rowsByColumns.map(_.map(!_))

不过，这需要编译器付出很多额外的聪明才智，Scala 语言设计者认为这不值得——只需要为一些相当简单的情况提供占位符语法，而无需嵌套表达式。

幸运的是，在这种情况下你可以写rowsByColumns.flatten.count(identity)反而。flatten这里连接子列表以给出单个List[Boolean]。然后我们想知道该列表中有多少个值true. count采用谓词并告诉您集合中有多少值满足该谓词。例如，以下是计算 1 到 10（含）之间偶数的一种方法：

val isEven: Int => Boolean = _ % 2 == 0    
(1 to 10) count isEven

不过，在您的情况下，我们已经有了布尔值，因此谓词不需要做任何工作 - 它可以只是恒等函数x => x。正如 dhg 在评论中指出的那样，Scala 的Predef object将此作为名为的方法提供identity，我在这里使用的。你可以很容易地写rowsByColumns.flatten.count(x => x)不过，如果你发现这一点更清楚的话。