内联应用部分应用函数的问题

Question

作为 Scala 的新手，我在 sbt 控制台上玩弄部分应用的函数语法。我遇到了一个非常奇怪的问题，我不理解 Scala 的行为。

这个例子是人为的，在现实中不太可能遇到。就是说，就是这样。假设我定义了以下函数：

scala> def f(x: Int, y: Int) = "%d %d".format(x, y)

现在如果我输入

scala> f(1, _:Int)(2)
res: Int => Char = <function1>

结果是一个Int => Char 函数，这很不寻常。换句话说，Scala 在应用参数（即 2）时（暂时）将 f(1, _:Int) 视为字符串（相对于其实际类型：Int => String）。

如果使用括号，我期望发生的事情发生：

scala> (f(1, _:Int))(2)
res: String = 1 2

但是，这似乎不是操作顺序问题，因为我找不到添加括号以实现意外行为的方法（即，结果为 Int => Char 类型）。

有什么想法吗？

Answer 1

首先关于结果类型：

scala> f(1, _:Int)(2)
res: Int => Char = <function1>

看看这个：

scala> val str = "hello"
str: String = hello

scala> str(2)
res12: Char = l

我认为这很清楚。

对函数本身不，因为它也很容易。当您将其提升到带有下划线的函数时，您不仅提升了f，而且还提升了对字符串的调用(2)（第一个结果），这就是您得到的原因：

res: Int => Char = <function1>

已添加

更明确的版本。您的函数f 的类型为(Int, Int) => String，当您编写f(1, _: Int) 时，您将其部分应用于参数一并返回Int => String 类型的函数，其中Int 是第二个参数。然后你的参数(2) 调用来自函数Int => String 的结果字符串上的apply 方法，它返回一个Char，从这里你得到Int => Char 类型的函数，其中Int 是你的第二个参数f 函数和 Char 是结果字符串中的一个字符

在第二种情况下，你有：

scala> (f(1, _:Int))(2)
res: String = 1 2

通过括号，您将其拆分为多个事物，第一个是函数Int => String 和(2) 调用此函数，您将参数2 传递给此函数Int => String：

val ff = f(1, _: Int)
val res = ff(2)