首先要区分Scala函数与方法的区别,这在Scala中是两个不同概念,只有理解了这两个概念才能理解柯里化。
方法
函数
首先应该要知道=号右边的内容 (x: Int, y: Int) => x + y是一个函数体
方法只能用def接收,函数可以用def接收,也可以用val接收。
当函数用def来接收之后,不再显示为function,转换为方法
方法可以省略参数,函数不可以。函数可以作为方法的参数。
看这里: val a = => 100 // 当函数参数为空时报错
理解闭包
(y:Int) => x + y 是一个函数体只是左右省略了花括号!
add可以理解为返回值为函数的方法
当给方法具体参数时,返回一个具体的函数,方法参数不同时,返回的函数也不同。例如
看下面:
再看:
这时就可以引入闭包的概念了。
在块中可以参照外部局部变量的方法,并说明块不只是简单的代码,而且把外部“环境”也包括了进来,像这样的块称为闭包。通常的局部变量在方法执行结束时就不存在了,但是如果被包括进了闭包,那么在闭包存在的期间,局部变量也会一直存在。
也就是说,函数体受外部环境所影响,一段封闭的代码块将外部环境(函数外部的上下文环境)包括进来,就是闭包。
最后提到柯里化
柯里化指的是将原来接受N个参数的方法变成新的接受一个参数的函数的过程。
其实上面闭包的代码就是柯里化的过程。以下是柯里化第二种写法。
柯里化调用试试,继续执行下面
继续执行下面
扩展上面的柯里化过程
(个人理解柯里化和复合函数有点类似):
百度百科定义:在计算机科学中,柯里化(Currying)是把接受多个参数的函数变换成接受一个单一参数(最初函数的第一个参数)的函数,并且返回接受余下的参数且返回结果的新函数的技术。这个技术由 Christopher Strachey 以逻辑学家 Haskell Curry 命名的,尽管它是 Moses Schnfinkel 和 Gottlob Frege 发明的。
从数学的角度讲,这是一个对函数消元求解的过程: