Scala中的柯里化

首先要区分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，转换为方法

方法可以省略参数，函数不可以。函数可以作为方法的参数。

//这两个都是方法 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