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

到目前为止我理解这一点，sqared是一个函数，而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
   ^

为什么我不能在平方上调用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

到目前为止我理解这一点，sqared是一个函数，而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

两者都有相同的类型。区别在于def d的函数与val或var s不在同一名称空间中，引用一个的代码与引用另一个的代码的解析方式不同。

具体而言，对val的引用是可以评估的表达式。对def d函数的引用不是表达式，您不能应用仅适用于值的.等运算符。

函数与函数指针

2 个答案: