管理下划线以定义匿名函数的规则是什么？

Question

我_用作占位符来创建匿名函数,问题是我无法预测Scala将如何转换我的代码.更确切地说,它错误地确定了我想要的"大"匿名函数的大小.

 List(1,2,3) foreach println(_:Int)   //error !
 List(1,2,3) foreach (println(_:Int)) //work
 List(1,2,3) foreach(println(_:Int))  //work

使用-Xprint:typer我可以看到Scala将第一个转换为"一个大的匿名函数":

x$1 => List(1,2,3) foreach(println(x$1:Int))

工作的第2个3号是正确的转变成我想要的.

... foreach (x$1 => println(x$1:Int)) 

为什么这个？规则是什么？

Answer 1

确定下划线范围的简单规则:

1. 如果下划线是方法的参数,那么范围将在该方法之外,否则相应的规则如下;
2. 如果下划线位于由()或{}分隔的表达式内,则将使用包含下划线的最里面的这样的分隔符;
3. 在所有其他条件相同的情况下,将使用最大的表达式.

因此,根据规则#1,println((x: Int) => x)范围将放在外面(包括)println.

通过规则#2,后两个示例将具有由括号分隔的函数,因此(x => println(x: Int)).

根据规则#3,第一个例子将是整个表达式,因为没有分隔括号.