Scala中方法和函数的区别

Question

我读过 Scala Functions（另一个 Scala 之旅的一部分）。他在那篇文章中说：

方法和函数不是一回事

但他没有解释任何事情。他想说什么？

Answer 1

his blog post 中几乎涵盖了 Jim 的内容，但我在此发布简报以供参考。

首先，让我们看看 Scala 规范告诉我们什么。第 3 章（类型）告诉我们函数类型（3.2.9）和方法类型（3.3.1）。第 4 章（基本声明）谈到值声明和定义（4.1）、变量声明和定义（4.2）和函数声明和定义（ 4.6)。第 6 章（表达式）谈到了匿名函数（6.23）和方法值（6.7）。奇怪的是，函数值在 3.2.9 上只提到过一次，其他地方都没有。

函数类型（大致）是 (T1, ..., Tn) => U 形式的类型，它是特征 @ 的简写标准库中的 987654323@。 匿名函数和方法值具有函数类型，函数类型可以用作值、变量和函数声明和定义的一部分。事实上，它可以是方法类型的一部分。

方法类型是非值类型。这意味着有 no 值 - 没有对象，没有实例 - 具有方法类型。如上所述，一个方法值实际上有一个函数类型。方法类型是 def 声明 - 关于 def 的所有内容，除了它的主体。

值声明和定义和变量声明和定义是val和var声明，包括类型和值 - 其中可以分别是函数类型和匿名函数或方法值。请注意，在 JVM 上，这些（方法值）是通过 Java 所谓的“方法”实现的。

函数声明是def声明，包括type和body。类型部分是方法类型，主体是表达式或块。这也通过 Java 所谓的“方法”在 JVM 上实现。

最后，一个匿名函数是一个函数类型的实例（即特征FunctionN的一个实例）和一个方法值 是一样的！区别在于方法值是从方法创建的，或者通过后缀下划线（m _ 是对应于“函数声明”（def）m 的方法值），或者通过名为 的进程eta-expansion，就像从方法到函数的自动转换。

这就是规范所说的，所以让我把它放在前面：我们不使用那个术语！这会导致所谓的“函数声明”之间的混淆太多，这是程序的一部分（第 4 章——基本声明）和 “匿名函数”，这是一个表达式，以及 “函数类型” ，也就是一种类型——一种特征。

以下由经验丰富的 Scala 程序员使用的术语对规范中的术语进行了一项更改：我们不说 函数声明，而是说 方法 。甚至方法声明。此外，我们注意到值声明和变量声明也是实用的方法。

因此，鉴于上述术语的变化，这里是对区别​​的实际解释。

函数是包含FunctionX特征之一的对象，例如Function0、Function1、Function2等。它也可能包括PartialFunction ，实际上扩展了Function1。

让我们看看这些特征之一的类型签名：

trait Function2[-T1, -T2, +R] extends AnyRef

这个 trait 有一个抽象方法（它也有一些具体方法）：

def apply(v1: T1, v2: T2): R

这告诉了我们所有关于它的知识。 函数有一个apply方法，它接收T1、T2、...类型的N个参数TN，并返回 R 类型的内容。它接收的参数是逆变的，结果是协变的。

这种差异意味着Function1[Seq[T], String] 是Function1[List[T], AnyRef] 的子类型。作为子类型意味着它可以代替它。可以很容易地看出，如果我要调用 f(List(1, 2, 3)) 并期望返回 AnyRef，则上述两种类型中的任何一种都可以工作。

现在，方法和函数的相似性是什么？好吧，如果f 是一个函数，而m 是作用域的本地方法，那么两者都可以这样调用：

val o1 = f(List(1, 2, 3))
val o2 = m(List(1, 2, 3))

这些调用实际上是不同的，因为第一个只是语法糖。 Scala 将其扩展为：

val o1 = f.apply(List(1, 2, 3))

当然，这是对对象f 的方法调用。函数还具有其他语法糖的优势：函数文字（实际上是其中两个）和(T1, T2) => R 类型签名。例如：

val f = (l: List[Int]) => l mkString ""
val g: (AnyVal) => String = {
  case i: Int => "Int"
  case d: Double => "Double"
  case o => "Other"
}

方法和函数的另一个相似之处是前者可以很容易地转换为后者：

val f = m _

Scala 将扩展那个，假设m 类型是(List[Int])AnyRef 成（Scala 2.7）：

val f = new AnyRef with Function1[List[Int], AnyRef] {
  def apply(x$1: List[Int]) = this.m(x$1)
}

在 Scala 2.8 上，它实际上使用 AbstractFunction1 类来减少类大小。

请注意，不能以相反的方式转换——从函数到方法。

然而，方法有一个很大的优势（嗯，两个——它们可以稍微快一点）：它们可以接收类型参数。例如，虽然上面的f 必须指定它接收的List 的类型（示例中为List[Int]），但m 可以对其进行参数化：

def m[T](l: List[T]): String = l mkString ""

我认为这几乎涵盖了所有内容，但我很乐意通过回答可能存在的任何问题来补充这一点。

Answer 2

方法和函数之间的一个很大的实际区别是return 的含义。 return 只从方法返回。例如：

scala> val f = () => { return "test" }
<console>:4: error: return outside method definition
       val f = () => { return "test" }
                       ^

从方法中定义的函数返回执行非本地返回：

scala> def f: String = {                 
     |    val g = () => { return "test" }
     | g()                               
     | "not this"
     | }
f: String

scala> f
res4: String = test

而从本地方法返回仅从该方法返回。

scala> def f2: String = {         
     | def g(): String = { return "test" }
     | g()
     | "is this"
     | }
f2: String

scala> f2
res5: String = is this

Answer 3

函数 可以使用参数列表调用函数以生成 结果。函数具有参数列表、主体和结果类型。 作为类、特征或单例对象成员的函数是 称为方法。在其他函数中定义的函数被调用 局部函数。结果类型为 Unit 的函数称为过程。 源代码中的匿名函数称为函数字面量。 在运行时，函数字面量被实例化为调用的对象 函数值。

Programming in Scala Second Edition. Martin Odersky - Lex Spoon - Bill Venners

Answer 4

假设你有一个列表

scala> val x =List.range(10,20)
x: List[Int] = List(10, 11, 12, 13, 14, 15, 16, 17, 18, 19)

定义一个方法

scala> def m1(i:Int)=i+2
m1: (i: Int)Int

定义一个函数

scala> (i:Int)=>i+2
res0: Int => Int = <function1>

scala> x.map((x)=>x+2)
res2: List[Int] = List(12, 13, 14, 15, 16, 17, 18, 19, 20, 21)

方法接受参数

scala> m1(2)
res3: Int = 4

用 val 定义函数

scala> val p =(i:Int)=>i+2
p: Int => Int = <function1>

函数的参数是可选的

 scala> p(2)
    res4: Int = 4

scala> p
res5: Int => Int = <function1>

方法的参数是强制性的

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

检查以下Tutorial，它解释了如何通过其他示例传递其他差异，例如使用方法与函数的其他差异示例、使用函数作为变量、创建返回函数的函数

Answer 5

函数不支持参数默认值。方法可以。从方法转换为函数会丢失参数默认值。 （斯卡拉 2.8.1）

Answer 6

有一篇很好的文章here，我的大部分描述都来自该文章。 关于我的理解，只是对函数和方法的简短比较。希望对您有所帮助：

功能： 它们基本上是一个对象。更准确地说，函数是具有 apply 方法的对象。因此，由于它们的开销，它们比方法慢一点。它类似于静态方法，因为它们独立于要调用的对象。 一个简单的函数示例如下：

val f1 = (x: Int) => x + x
f1(2)  // 4

上面的行只是将一个对象分配给另一个对象，例如 object1 = object2。实际上，我们示例中的 object2 是一个匿名函数，因此左侧获取对象的类型。因此，现在 f1 是一个对象（函数）。匿名函数实际上是 Function1[Int, Int] 的一个实例，表示一个函数有 1 个 Int 类型的参数和 Int 类型的返回值。 不带参数调用 f1 会给我们匿名函数的签名 (Int => Int = )

方法： 它们不是对象，而是分配给类的实例，即对象。与 java 中的方法或 c++ 中的成员函数完全相同（正如Raffi Khatchadourian 在对this question 的评论中指出的那样）等等。 一个简单的方法示例如下：

def m1(x: Int) = x + x
m1(2)  // 4

上面这行不是简单的赋值，而是一个方法的定义。当您像第二行一样使用值 2 调用此方法时，x 将替换为 2 并且将计算结果并得到 4 作为输出。如果只是简单地写 m1 在这里你会得到一个错误，因为它是方法并且需要输入值。通过使用 _，您可以将方法分配给如下函数：

val f2 = m1 _  // Int => Int = <function1>

Answer 7

这是一个很棒的 post Rob Norris 解释了不同之处，这是一个 TL;DR

Scala 中的方法不是值，但函数是。你可以构造一个函数，通过 η-expansion 委托给一个方法（由尾随的下划线触发）。

具有以下定义：

method 是用 def 定义的东西，value 是你可以分配给 val

简而言之（摘自博客）：

当我们定义一个方法时，我们发现我们不能将它分配给val。

scala> def add1(n: Int): Int = n + 1
add1: (n: Int)Int

scala> val f = add1
<console>:8: error: missing arguments for method add1;
follow this method with `_' if you want to treat it as a partially applied function
       val f = add1

还要注意add1的类型，看起来不正常；你不能声明(n: Int)Int 类型的变量。方法不是值。

但是，通过添加 η 扩展后缀运算符（η 发音为“eta”），我们可以将方法转换为函数值。注意f 的类型。

scala> val f = add1 _
f: Int => Int = <function1>

scala> f(3)
res0: Int = 4

_ 的作用相当于执行以下操作：我们构造一个委托给我们的方法的 Function1 实例。

scala> val g = new Function1[Int, Int] { def apply(n: Int): Int = add1(n) }
g: Int => Int = <function1>

scala> g(3)
res18: Int = 4

Answer 8

实际上，Scala程序员只需要知道以下三个规则就可以正确使用函数和方法：

• def 定义的方法和=> 定义的函数字面量都是函数。它在《Scala 编程》第 4 版的第 8 章第 143 页进行了定义。
• 函数值是可以作为任何值传递的对象。函数字面量和部分应用的函数是函数值。
• 如果代码中的某个点需要函数值，您可以省略部分应用函数的下划线。例如：someNumber.foreach(println)

在Scala编程四版之后，区分函数和函数值这两个重要概念仍然是一个问题，因为所有版本都没有给出明确的解释。语言规范太复杂了。我发现上面的规则简单而准确。

Answer 9

在 Scala 2.13 中，与函数不同，方法可以接受/返回

• 类型参数（多态方法）
• 隐式参数
• 依赖类型

但是，Polymorphic function types #4672 在 dotty (Scala 3) 中解除了这些限制，例如，dotty 版本 0.23.0-RC1 启用了 following syntax

类型参数

def fmet[T](x: List[T]) = x.map(e => (e, e))
val ffun = [T] => (x: List[T]) => x.map(e => (e, e))

隐式参数（context 参数）

def gmet[T](implicit num: Numeric[T]): T = num.zero
val gfun: [T] => Numeric[T] ?=> T = [T] => (using num: Numeric[T]) => num.zero

依赖类型

class A { class B }
def hmet(a: A): a.B = new a.B
val hfun: (a: A) => a.B = hmet

更多示例，请参阅tests/run/polymorphic-functions.scala

Answer 10

方法对对象进行操作，但函数不操作。

Scala 和 C++ 都有 Fuction，但是在 JAVA 中，你必须用静态方法来模仿它们。