Scala下划线函数语法为何无法进行类型推断？

这是因为Scala对于下划线参数占位符的类型推断逻辑和显式Lambda表达式的推断逻辑存在差异：

核心原因：类型推断的方向不同 #

• 对于显式Lambda表达式n => if n > 3 then "foo" else "bar"：
  List[Int]的map方法明确期望一个Int => String类型的函数参数，编译器会直接把参数n的类型绑定为Int，后续的n > 3和分支表达式都能基于这个已知类型正常解析，最终推断整个Lambda的类型为Int => String，完全符合map的要求。

• 对于下划线占位符的写法if _ > 3 then "foo" else "bar"：
  下划线的作用是将整个表达式转换为匿名函数，但编译器的类型推断是从外到内进行的：它需要先确认这个表达式能否转换成map期望的Int => String类型，但if表达式的条件部分_ > 3依赖_的类型，而_的类型又需要从map的预期类型推导——这里形成了推断循环，编译器无法确定_应该是Int（毕竟>运算符支持多种数值类型），因此报错无法推断_$1的类型。

验证与解决方法 #

如果强制指定下划线的类型，编译器就能正常推断：

List(1, 2, 3, 4, 5, 6)
    .map(if (_: Int) > 3 then "foo" else "bar")

这段代码可以编译，因为我们明确告诉编译器_的类型是Int，打破了推断循环。

另外，下划线占位符更适合简单的表达式（如_ + 1），这类表达式的类型依赖关系更直接，编译器能轻松从预期函数类型推断下划线的类型。对于包含分支、嵌套逻辑的复杂表达式，显式使用Lambda表达式会更清晰，也能避免类型推断问题。

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