为什么我会收到“扩展函数缺少参数”的信息？在一种情况下而不是另一种情况下？

Question

这种情况有效：

Seq(fromDir, toDir) find (!_.isDirectory) foreach (println(_))

而这不起作用：

Seq(fromDir, toDir) find (!_.isDirectory) foreach (throw new Exception(_.toString))

编译以这个错误结束：

error: missing parameter type for expanded function ((x$4) => x$4.toString)

现在如果我这样写它会再次编译：

Seq(fromDir, toDir) find (!_.isDirectory) foreach (s => throw new Exception(s.toString))

我确信有一个合理的解释；）

Answer 1

相关问题<中已经解决了这个问题< /a>.下划线向外延伸到最接近的结束 Expr ：顶级表达式或括号中的表达式。

(_.toString) 是括号中的表达式。因此，在错误情况下传递给 Exception 的参数在扩展后是完整的匿名函数 (x$1) => x$1.toString 类型为 A <: Any =>; String，而 Exception 需要一个 String。

在 println 情况下，_ 本身不属于语法类别 Expr，而是 (println (_)) 是，所以你得到了预期的 (x$0) =>; println(x$0).

Answer 2

区别在于 _ 是代表整个参数，还是表达式的一部分。根据具体情况，它属于以下两个类别之一：

部分应用函数

Seq(fromDir, toDir) find (!_.isDirectory) foreach (println(_))

转换为

Seq(fromDir, toDir) find (!_.isDirectory) foreach ((x$1) => println(x$1))

匿名函数参数

Seq(fromDir, toDir) find (!_.isDirectory) foreach (throw new Exception(_.toString))

转换为

Seq(fromDir, toDir) find (!_.isDirectory) foreach (throw new Exception((x$1) => x$1.toString))