函数与函数指针

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 类的实例。这些东西是编码为 JVM 对象的函数，因此它们可以被传递并被视为语言中的第一类东西。

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

如果这一切看起来令人困惑，相信我，确实如此。不过，您会在一段时间后习惯它（尽快摆脱指针的想法）。

Answer 2

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

不正确。 Scala既没有显式指针也没有函数指针

scala> (squared _).getClass
res4: Class[_ <: Int => Int] = class $anonfun$1

scala> sq.getClass
res5: Class[_ <: Int => Int] = class $anonfun$1

scala> :type squared _
Int => Int

scala> :type sq
Int => Int

两者具有相同的类型。不同之处在于 defd 的函数与 vals 或 vars 不在同一个命名空间中，并且引用一个的代码与引用另一个的代码的解析方式不同。

具体来说，对val 的引用是一个可以计算的表达式。对 defd 函数的引用不是表达式，您不能应用像 . 这样仅适用于值的运算符。