Scala占位符语法疑问：为何某段函数式代码无法编译？

先看你能正常编译的代码：

val speed: (Int, Int) => Float = _.toFloat / _

这里的两个下划线是Lambda表达式的参数占位符，编译器会根据目标类型(Int, Int) => Float，自动把第一个_对应第一个Int参数，第二个_对应第二个Int参数，本质等价于：

val speed: (Int, Int) => Float = (a, b) => a.toFloat / b

但到了这段代码：

val printSpace: String => Unit = print(_ + " ")

问题出在Scala的语法解析逻辑上：当你在方法调用的参数内部使用下划线时，它会被解析为局部的匿名函数占位符，而不是整个Lambda的参数。也就是说，编译器会把print(_ + " ")理解为：

print(x => x + " ")

而不是你期望的：

s => print(s + " ")

这就导致类型不匹配了：print方法接收的是一个函数类型（而非String），但你的目标类型是String => Unit——你需要的是一个接收String然后执行print操作的函数，而不是直接调用print并传入一个匿名函数。

当你写成s => print(s + " ")时，明确定义了Lambda的参数s，编译器能清晰识别这是一个接收String、执行print操作的函数，自然能匹配目标类型String => Unit。

简单总结：

• 多参数Lambda中，下划线可以直接对应各个参数，编译器能通过目标类型推断参数类型；
• 单参数Lambda如果把下划线写在方法调用的参数内部，会被解析为方法参数里的局部函数，而非外层Lambda的参数，导致类型不匹配。

内容的提问来源于stack exchange，提问作者Taras Z