首先要区分Scala函数与方法的区别,这在Scala中是两个不同概念,只有理解了这两个概念才能理解柯里化。
方法
scala> def add(x:Int, y: Int) = x + y
add: (x: Int, y: Int)Int
scala> add(1, 2)
res0: Int = 3
函数
scala> val add_f = (x: Int, y: Int) => x + y
add_f: (Int, Int) => Int = <function2>
#根据内容可以看出add_f是一个函数Function
scala> add_f(1, 2)
res1: Int = 3
方法与函数区别
scala> val add_f = (x: Int, y: Int) => x + y
add_f: (Int, Int) => Int = <function2>
scala> def add_f = (x: Int, y: Int) => x + y
add_f: (Int, Int) => Int
首先应该要知道=号右边的内容 (x: Int, y: Int) => x + y是一个函数体
方法只能用def接收,函数可以用def接收,也可以用val接收。
当函数用def来接收之后,不再显示为function,转换为方法
方法可以省略参数,函数不可以。函数可以作为方法的参数。
方法也可以转化为函数,方法名空格下划线就是
val fun = f _
//这两个都是方法
scala> def a = 100
a: Int
scala> def a() = 100
a: ()Int
scala> val a = () => 100
a: () => Int = <function0>
scala> val a = => 100
<console>:1: error: illegal start of simple expression
val a = => 100
// 当函数参数为空时报错
闭包
scala> def addBase(x:Int) = (y:Int) => x + y
addBase: (x: Int)Int => Int
(y:Int) => x + y是一个函数体
addBase可以理解为返回值为函数的方法
当给方法具体参数时,返回一个具体的函数,方法参数不同时,返回的函数也不同。例如
scala> val addOne = addBase(1)
addOne: Int => Int = <function1>
scala> addOne(3)
res2: Int = 4
scala> val addTwo = addBase(2)
addTwo: Int => Int = <function1>
scala> addTwo(3)
res3: Int = 5
这时就可以引入闭包的概念了。
在块中可以参照外部局部变量的方法,并说明块不只是简单的代码,而且把外部“环境”也包括了进来,像这样的块称为闭包。通常的局部变量在方法执行结束时就不存在了,但是如果被包括进了闭包,那么在闭包存在的期间,局部变量也会一直存在。
也就是说,函数体受外部环境所影响,一段封闭的代码块将外部环境包括进来,就是闭包。
柯里化
柯里化指的是将原来接受两个参数的方法变成新的接受一个参数的函数的过程。
其实上面闭包的代码就是柯里化的过程。以下是柯里化第二种写法。
scala> def add(x:Int)(y:Int) = x + y
add: (x: Int)(y: Int)Int
scala> add(2)(3)
res5: Int = 5
scala> val addOne = add(1) _
addOne: Int => Int = <function1>
scala> addOne(3)
res6: Int = 4
scala> val addTwo = add(2) _
addTwo: Int => Int = <function1>
scala> addTwo(3)
res7: Int = 5
由如上例子我们可以知道,柯里化对应的是方法。当方法柯里化后,可以只传入一个参数变成函数。