Jim已经在他的博客文章中详细介绍了这个问题,但为了参考,我在此发布简要概述。
首先,让我们看看Scala规范告诉我们什么。第三章(类型)告诉我们有关函数类型(3.2.9)和方法类型(3.3.1)。第四章(基本声明)讲述了值声明和定义(4.1)、变量声明和定义(4.2)和函数声明和定义(4.6)。第六章(表达式)讲述了匿名函数(6.23)和方法值(6.7)。奇怪的是,函数值只在3.2.9中提到过一次,其他地方都没有出现。
函数类型(大致上)是一个形如(T1, ..., Tn) => U的类型,它是标准库中的FunctionN
trait的简写。匿名函数和方法值都具有函数类型,函数类型可以用作值、变量和函数声明和定义的一部分。实际上,它可以成为方法类型的一部分。
方法类型是一种非值类型。这意味着没有值 - 没有对象、没有实例 - 具有方法类型。如上所述,方法值实际上具有函数类型。方法类型是一个def
声明 - 关于def
的所有内容,除了其主体。
值声明和定义以及变量声明和定义是val
和var
声明,包括类型和值 - 可以分别是函数类型和匿名函数或方法值。请注意,在JVM上,这些(方法值)是使用Java称为“方法”来实现的。
函数声明是一个def
声明,包括类型和主体。类型部分是方法类型,主体是一个表达式或块。这也是在JVM上使用Java所称的“方法”来实现的。
函数是一个对象,包含FunctionX
特质之一,例如Function0
、Function1
、Function2
等。它可能还包括PartialFunction
,实际上它扩展了Function1
。
让我们看看其中一个特质的类型签名:
trait Function2[-T1, -T2, +R] extends AnyRef
这个特质有一个抽象方法(也有一些具体实现的方法):
def apply(v1: T1, v2: T2): R
val o1 = f(List(1, 2, 3))
val o2 = m(List(1, 2, 3))
这些调用实际上是不同的,因为第一个只是一种语法糖。Scala将其扩展为:
val o1 = f.apply(List(1, 2, 3))
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 _
如果假设m
的类型为(List[Int])AnyRef
,Scala将会扩展that,并转化为以下形式(在Scala 2.7中):
val f = new AnyRef with Function1[List[Int], AnyRef] {
def apply(x$1: List[Int]) = this.m(x$1)
}
AbstractFunction1
类来减小类的大小。f
可以必须指定它接收的List
的类型(在示例中是List[Int]
),但m
可以对其进行参数化:def m[T](l: List[T]): String = l mkString ""
我认为这基本上涵盖了所有内容,但是如果还有任何问题需要回答,我很乐意补充。
val f = m
的方式为val f = new AnyRef with Function1[List[Int], AnyRef] {def apply(x$1: List[Int]) = this.m(x$1)}
时,你应该指出apply
方法内的this
并不是指向AnyRef
对象,而是指向在其方法中评估val f = m _
的对象(可以说是_outer_ this
),因为this
是闭包捕获的值之一(就像下面指出的return
一样)。 - Holger Peine方法和函数之间的一个重要实际区别是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
for (a <- List(1, 2, 3)) { return ... }
内部返回,会怎么样?这将被解糖为一个闭包。 - Ben Lingsreturn
从函数中返回一个值,并使用某种形式的escape
、break
或continue
来从方法中返回。 - Ryan Leach函数 可以通过一系列参数的调用来产生结果。一个函数包含参数列表、主体和返回类型。 属于类、特质或单例对象的函数被称为方法。在其他函数内部定义的函数称为本地函数。返回Unit类型结果的函数称为过程。 源代码中的匿名函数称为函数字面量。在运行时,函数字面量实例化为称为函数值的对象。
假设你有一个列表
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
请检查以下教程,该教程通过示例解释了传递其他差异,例如方法与函数之间的其他差异、将函数用作变量、创建返回函数的函数。
函数不支持参数默认值,而方法支持。将方法转换为函数会丢失参数默认值。(Scala 2.8.1)
这里有一篇很好的文章(链接),我大部分描述都是参考它的。 简单比较一下Scala中函数和方法的区别,供您参考:
函数: 它们基本上就是一个对象。更准确地说,函数是带有apply方法的对象;因此,它们比方法慢一点,因为会产生开销。它类似于静态方法,因为它们独立于要调用的对象。 下面是一个简单的函数示例:
val f1 = (x: Int) => x + x
f1(2) // 4
上面的代码行仅仅是将一个对象赋值给另一个对象,例如object1 = object2。实际上,我们例子中的object2是一个匿名函数,因此左侧获取了一个对象(Function)的类型。因此,现在f1是一个对象(Function)。这个匿名函数实际上是Function1[Int, Int]的一个实例,表示一个参数类型为Int,返回值类型为Int的函数。 调用不带参数的f1将给出匿名函数的签名(Int => Int = )
方法(Methods): 它们不是对象,而是分配给类的实例,即对象。与Java中的方法或C++中的成员函数完全相同(正如Raffi Khatchadourian在这个问题的评论中指出的一样)等等。 一个简单的方法示例如下:
def m1(x: Int) = x + x
m1(2) // 4
上面的那一行不是简单的值赋值,而是一个方法的定义。当你像第二行那样使用值2调用这个方法时,x将被替换为2并计算结果,你将得到4作为输出。如果只写m1,你会在这里出现错误,因为它是一个方法,需要输入值。通过使用 _,你可以将一个方法分配给一个函数,如下所示:
val f2 = m1 _ // Int => Int = <function1>
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
的变量。方法不是值。f
的类型。scala> val f = add1 _
f: Int => Int = <function1>
scala> f(3)
res0: Int = 4
< p > _
的效果是执行以下等效操作:我们构造一个 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
def
定义的方法和用=>
定义的函数文字是函数。这在《Programming in Scala, 4th edition》第8章的第143页中有定义。
- 函数值是可以传递的对象。函数文字和部分应用的函数都是函数值。
- 如果在代码中需要一个函数值,则可以省略部分应用的函数的下划线。例如:someNumber.foreach(println)
在四版的《Programming in Scala》中,人们仍然难以区分两个重要概念:函数和函数值,因为���有版本都没有给出清晰的解释。语言规范太过复杂。我发现上述规则简单而准确。def fmet[T](x: List[T]) = x.map(e => (e, e))
val ffun = [T] => (x: List[T]) => x.map(e => (e, e))
隐式参数(上下文 参数)
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
方法属于一个对象(通常是您定义它的class
、trait
或object
),而函数本身是一个值,因为在Scala中每个值都是一个对象,因此,函数是一个对象。
例如,给定下面的一个方法和一个函数:
def timesTwoMethod(x :Int): Int = x * 2
def timesTwoFunction = (x: Int) => x * 2
第二个def
是一个类型为Int => Int
的对象(Function1[Int, Int]
的语法糖)。
Scala将函数作为对象,以便它们可以作为一等实体使用。这样,您可以将函数作为参数传递给其他函数。
但是,Scala也可以通过称为Eta扩展的机制将方法视为函数。
例如,在List
上定义的高阶函数map
接收另一个函数f:A => B
作为其唯一参数。下面两行是等价的:
List(1, 2, 3).map(timesTwoMethod)
List(1, 2, 3).map(timesTwoFunction)
def
时,它会自动将该方法转换为等效的函数。