scala - 函数与函数指针

Question

有人可以向我解释以下内容:

scala> def squared(x: Int) = x * x
squared: (x: Int)Int
scala> val sq : (Int) => Int = squared
sq: Int => Int = <function1>
scala>  sq.getClass
res111: Class[_ <: Int => Int] = class $anonfun$1

到目前为止我明白了，squared是一个函数，而sq是一个函数指针。

但是我这样做:

scala> squared.getClass
<console>:13: error: missing arguments for method squared;
follow this method with `_' if you want to treat it as a partially applied function
   squared.getClass
   ^

为什么我无法在 squared 上调用 getClass ？毕竟，函数不是第一类对象吗？为什么我需要这样做才能让它工作？

scala> squared(7).getClass
res113: Class[Int] = int

我也得到了相同的结果

scala> sq(5).getClass
res115: Class[Int] = int

想一想，为什么呢

scala>squared(5)

和

scala> sq(5)

产生相同的结果，即使一个是函数，另一个是函数指针，而不需要使用不同的语法？ 类似于 *sq(5) 的东西可能更清楚，不是吗？

Answer 1

指针的概念在这里并不真正相关，或者更普遍地在 Scala(或 JVM)中。 squared 之间的区别和sq是squared是一种方法，并且 sq是一个函数。

Scala(主要)是一种设计为编译为 JVM 字节码的语言。 JVM 没有第一类函数，但它有方法，这些方法要么与类的实例(实例方法)关联，要么仅与类本身(静态方法)关联。从这个意义上来说，方法与 JVM 的对象有着本质上的不同——它们不能作为参数传递给其他方法，等等。

由于 Scala 是一种函数式语言，并且函数式语言更普遍地建立在高阶函数和一类函数的思想之上，因此 Scala 语言设计者需要能够以可在 JVM 上运行的方式对函数进行编码。这是通过 Function1 class 完成的，当你写这样的东西时:

val sq: (Int) => Int = x => x * x

您正在使用 Scala 的语法糖来创建 Function1 的实例。类(class)。这些东西是编码为 JVM 对象的函数，因此它们可以被传递并被视为语言中的一流东西。

不过，Scala 并没有放弃方法的想法。由于部分与 Scala 的函数式 OOP 混合性和性能问题相关的原因，大多数 Scala 程序都广泛使用 def定义，它定义方法，而不是 Function1 意义上的“函数” 。 Scala 提供了一个特殊的转换过程(称为 eta 扩展)，通过该过程，在许多情况下可以将方法视为函数(包括此处 sq 定义的右侧)。

如果这一切看起来令人困惑，请相信我，确实如此。不过，过一段时间你就会习惯它(只要尽快把指针的想法从你的脑海中赶走)。