Scala函数组合定义匿名函数编译失败原因咨询

错误原因解析 #

你的报错源于Scala对下划线_的解析规则：下划线作为匿名函数的参数占位符时，会被绑定到最近的函数调用参数位置，而非整个外层表达式的参数。

看你的错误代码：

def double(f:Int => Int): Int => Int = f(f(_))

编译器会把f(_)优先解析成独立的匿名函数：x => f(x)（类型为Int => Int）。此时外层的f就会尝试接收这个Int => Int类型的参数，但f的参数要求是Int，自然出现类型不匹配的错误——这就是报错信息里"found: Int => Int, required: Int"的原因。

正确实现的逻辑 #

1. 显式lambda表达式x => f(f(x)) #

这里明确声明了参数x，先把x传给内层f得到Int结果，再将这个结果传给外层f，整个表达式的类型是Int => Int，完全符合double的返回值要求，所以编译通过。

2. def apply(f:Int => Int): Int => Int = f(_) #

这里的f(_)被解析成x => f(x)，类型正好是Int => Int，和函数的返回类型一致，因此可以正常编译。

下划线的核心使用规则 #

• 下划线_是单个参数的匿名函数占位符，但它的作用范围仅限最近的函数调用参数列表，不能跨多层函数调用传递参数。
• 如果需要在多层函数调用中传递同一个参数，必须显式使用lambda表达式（比如x => ...）来明确参数的传递路径，或者调整写法让下划线直接处于最外层的参数位置。

内容的提问来源于stack exchange，提问作者이희원